Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Information flow: the logic of distributed systems
Information flow: the logic of distributed systems
Clustering Algorithms
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
The Description Logic Handbook: Theory, Implementation and Applications
The Description Logic Handbook: Theory, Implementation and Applications
Ontology change: Classification and survey
The Knowledge Engineering Review
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
| Hi-index | 0.00 |
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.