Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements
Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
Reasoning with individuals in concept languages
Data & Knowledge Engineering
Cardinality restrictions on concepts
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
WWW '05 Proceedings of the 14th international conference on World Wide Web
A stratified first order logic approach for access control: Research Articles
International Journal of Intelligent Systems - Uncertain Reasoning (Part 2)
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Consistent evolution of OWL ontologies
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Ontology change: Classification and survey
The Knowledge Engineering Review
Semantic Web, Ontologies and Databases
A Survey of Revision Approaches in Description Logics
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Ontology Based Object Categorization for Robots
PAKM '08 Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management
Dealing with Inconsistencies in DL-Lite Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Dynamic reasoning for description logic terminologies
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
Ontology evolution is an important problem in the Semantic Web research. Recently, Alchourrón, Gärdenfors and Markinson's (AGM) theory on belief change has been applied to deal with this problem. However, most of current work only focuses on the feasibility of the application of AGM postulates on contraction to description logics (DLs), a family of ontology languages. So the explicit construction of a revision operator is ignored. In this paper, we first generalize the AGM postulates on revision to DLs. We then define two revision operators in DLs. One is the weakening-based revision operator which is defined by weakening of statements in a DL knowledge base and the other is its refinement. We show that both operators capture some notions of minimal change and satisfy the generalized AGM postulates for revision.