Knowledge-level analysis of belief base operations
Artificial Intelligence
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Issues of Decidability for Description Logics in the Framework of Resolution
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
A classification of ontology modification
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Understanding ontology evolution: A change detection approach
Web Semantics: Science, Services and Agents on the World Wide Web
Toward expressive syndication on the web
Proceedings of the 16th international conference on World Wide Web
(Semantic web) evolution through change logs: problems and solutions
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Ontology change: Classification and survey
The Knowledge Engineering Review
Syndication on the Web using a description logic approach
Web Semantics: Science, Services and Agents on the World Wide Web
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
On Generalizing the AGM Postulates
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
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
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Model-based revision operators for terminologies in description logics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Ontology and Schema Evolution in Data Integration: Review and Assessment
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Evidential reasoning for the treatment of incoherent terminologies
Proceedings of the 2010 ACM Symposium on Applied Computing
A framework for handling revisions in distributed ontologies
Proceedings of the 2010 ACM Symposium on Applied Computing
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Bridging ontology evolution and belief change
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Description logic reasoning with syntactic updates
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Minimal change: Relevance and recovery revisited
Artificial Intelligence
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Hi-index | 0.00 |
It is generally acknowledged that any Knowledge Base (KB) should be able to adapt itself to new information received. This problem has been extensively studied in the field of belief change, the dominating approach being the AGM theory. This theory set the standard for determining the rationality of a given belief change mechanism but was placed in a certain context which makes it inapplicable to logics used in the Semantic Web, such as Description Logics (DLs) and OWL. We believe the Semantic Web community would benefit from the application of the AGM theory to such logics. This paper is a preliminary study towards the feasibility of this application. Our approach raises interesting theoretical challenges and has an important practical impact too, given the central role that DLs and OWL play in the Semantic Web.