David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
In Proceedings of GMDS 2004 (2004)
Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
|Keywords||Description Logic single inheritance|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Daniel L. Rubin (2012). Finding the Meaning in Images: Annotation and Image Markup. Philosophy, Psychiatry, and Psychology 18 (4):311-318.
Anand Kumar & Barry Smith (2003). The Unified Medical Language System and the Gene Ontology: Some Critical Reflections. In KI 2003: Advances in Artificial Intelligence.
Barry Smith (2008). Ontology (Science). In Luciano Floridi (ed.), Formal Ontology in Information Systems. Blackwell 153--166.
Barry Smith & Pierre Grenon (2004). The Cornucopia of Formal-Ontological Relations. Dialectica 58 (3):279–296.
Aaron Sloman, Simplicity and Ontologies The Trade-Off Between Simplicity of Theories and Sophistication of Ontologies.
Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. [REVIEW] Logica Universalis 4 (2):255-333.
Barry Smith (2004). Beyond Concepts: Ontology as Reality Representation. In Formal Ontology in Information Systems (FOIS).
Pepijn R. S. Visser & Trevor J. M. Bench-Capon (1998). A Comparison of Four Ontologies for the Design of Legal Knowledge Systems. Artificial Intelligence and Law 6 (1):27-57.
Barbara Heller & Heinrich Herre (2004). Ontological Categories in GOL. Axiomathes 14 (1-3):57-76.
Added to index2009-01-28
Total downloads91 ( #38,583 of 1,781,042 )
Recent downloads (6 months)16 ( #46,645 of 1,781,042 )
How can I increase my downloads?