A Classification of Ontology Modification

Recent research in ontologies and descriptions logics has focused on compromising between expressiveness and reasoning ability, with many other issues being neglected One major issue that has been neglected is how one should go about in modifying ontologies as inconsistency arises The central concern of this problem is therefore to determine the most rational way of modifying ontologies, such that no extra knowledge would be retained in or retracted from the knowledge base The purpose of this paper is to outline the complexities in this and to present some insights into the problem of ontology modification Description logic (DL) is used in this paper as the underlying logic for the representation of ontology, and ontology modification is performed based on this logic.

[1]  Stefano Spaccapietra,et al.  Journal on Data Semantics I , 2003, Lecture Notes in Computer Science.

[2]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[3]  Robert F. Ling,et al.  Classification and Clustering. , 1979 .

[4]  David W. Miller.  POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE , 1974, The British Journal for the Philosophy of Science.

[5]  York Sure-Vetter,et al.  Evaluation of Ontology-based Tools (EON 2003) : Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools, held at the 2nd International Semantic Web Conference ISWC 2003, 20th October 2003 (Workshop day), Sundial Resort, Sanibel Island, Florida, USA , 2003 .

[6]  Petia Radeva,et al.  Artificial Intelligence Research and Development , 2005 .

[7]  John A. Hartigan,et al.  Clustering Algorithms , 1975 .

[8]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[9]  Sébastien Konieczny,et al.  Merging with Integrity Constraints , 1999, ESCQARU.

[10]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[11]  Ian Horrocks,et al.  Description Logics for the Semantic Web , 2002, Künstliche Intell..

[12]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[13]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[14]  Yannis Kalfoglou,et al.  Using Information-Flow Theory to Enable Semantic Interoperability , 2003 .

[15]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[16]  J. Barwise,et al.  THE RIGHTS AND WRONGS OF NATURAL REGULARITY , 1994 .

[17]  N. Goodman.  A Query on Confirmation , 1946 .

[18]  Yannis Kalfoglou,et al.  On Semantic Interoperability and the Flow of Information , 2003 .

[19]  J. Hartigan.  Distribution Problems in Clustering , 1977 .

[20]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[21]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .