In Proceedings of GMDS 2004 (2004)
|Abstract||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|
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 Formal Ontology in Information Systems.
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 downloads12 ( #101,180 of 722,935 )
Recent downloads (6 months)1 ( #61,087 of 722,935 )
How can I increase my downloads?