David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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)|
|Through your library||Configure|
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.
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.
Barry Smith (2004). Beyond Concepts: Ontology as Reality Representation. In Formal Ontology in Information Systems (FOIS).
Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. [REVIEW] Logica Universalis 4 (2):255-333.
Aaron Sloman, Simplicity and Ontologies The Trade-Off Between Simplicity of Theories and Sophistication of Ontologies.
Barry Smith & Pierre Grenon (2004). The Cornucopia of Formal-Ontological Relations. Dialectica 58 (3):279–296.
Barry Smith (2008). Ontology (Science). In Luciano Floridi (ed.), Formal Ontology in Information Systems. Blackwell. 153--166.
Anand Kumar & Barry Smith (2003). The Unified Medical Language System and the Gene Ontology: Some Critical Reflections. In KI 2003: Advances in Artificial Intelligence.
Barbara Heller & Heinrich Herre (2004). Ontological Categories in GOL. Axiomathes 14 (1-3):57-76.
Added to index2009-01-28
Total downloads17 ( #82,059 of 1,089,155 )
Recent downloads (6 months)5 ( #20,087 of 1,089,155 )
How can I increase my downloads?