Abstract
The translation of inheritance nets to default logic has been discussed by Etherington (missing data), etc. Ontologies and inheritance nets are similar in some aspects and based on methods of translating inheritance nets to default logic, a translation of ontologies to default logic with a priority order on defaults is given. Hence, properties of an ontology and the revision of ontologies can be studied in terms of default logic. Ontologies are assumed to be trees under the subsumption relation between concepts and have deduction rules to infer what are not explicitly stated. The statements in ontologies are translated to facts of default theories of the ontologies and the default inheritance of properties are represented by normal defaults with a priority order on them due to the intuition that subclasses overriding superclasses. For an ontology with a tree structure, it is consistent if and only if the default theory of the ontology has a unique extension.
Chapter PDF
Similar content being viewed by others
References
ValentinaTamma, A. and Trevor, J. Supportinglnheritance Mechanisms in Ontology Representation. In Proc. of the 12th International Conference on Knowledge Engineering and Knowledge Management, pages 140–155, 2000.
Guarino, N. and Welty, C. Ontological Analysis of Taxonomic Relationship. In Proc. of International Conference on Conceptual Modelling, pages 210–224, 2000.
Besnard, P. An introduction to default logic, Springer-Verlag, Berlin, 1989.
Gruber, T. A Translation Approach to Portable Ontology Specifications. In Knowledge Acquisition, 5(2): 199–220, 1993.
Genesereth, M. R., Nillson, N. Logical Foundations of Artificial Intelligence, Morgan Kauffman, 1987.
Reiter, R. A Logic for Default Reasoning. In Artificial Intelligence, 13:81–132, 1980.
Antoniou, G. Priorities in Default Logic Revisited. In Proc. of 4th Congress of the Italian Association for Artificial Intelligence, Springer, pages 152–162, 1995.
Touretzky, D. S. The Mathematics of Inheritance Systems, Morgan Kaufmann, Pitman, London, 1986.
Etherington, D. Reiter, R. On Inheritance Hierarchies with Exception. In Proc. of AAAI-83, William Kaufman, Los Altos, CA, pages 104–108, 1983.
Touretzky, D. Implicit Ordering of Defaults in Inheritance systems. In Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, CA, pages 106–109, 1987.
Ingrid, N. Translating Inheritance Nets to Default Logic, http://www.ubka.uni-karlsruhe.de/cgi-bin/psgunzip/ira/1994/25/25.pdf, 1994.
Bochman, A. A foundational theory of belief and belief change. In Artificial Intelligence, 108(1–2):309–352, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Sun, Y., Sui, Y. (2005). Translating Ontologies to Default Logic. In: Li, D., Wang, B. (eds) Artificial Intelligence Applications and Innovations. AIAI 2005. IFIP — The International Federation for Information Processing, vol 187. Springer, Boston, MA. https://doi.org/10.1007/0-387-29295-0_15
Download citation
DOI: https://doi.org/10.1007/0-387-29295-0_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-28318-0
Online ISBN: 978-0-387-29295-3
eBook Packages: Computer ScienceComputer Science (R0)