On instance-level update and erasure in description logic ontologies (original) (raw)
Related papers
On the update of description logic ontologies at the instance level
2006
On the approximation of instance level update and erasure in description logics
2007
Toward Updates in Description Logics
Updating description logics using the AGM theory
Base revision in description logics-preliminary results
Proc. of IWOD, 2007
Updating inconsistent Description Logic knowledge bases
ECAI, 2012
Repairing Description Logic Ontologies by Weakening Axioms
ArXiv, 2018
Towards a non monotonic description logics model
2006
On the use of belief revision to merge description logic terminologies
2006
First steps towards revising ontologies
Proceedings of the …, 2006
R.: First steps towards revising ontologies
2006
Inconsistency-tolerant Semantics for Description Logic Ontologies (extended abstract)⋆
The Description Logic Handbook
2007
Ontology Evolution and Instance Maintaining
Relaxation-based revision operators in description logics
arXiv (Cornell University), 2015
Change Representation For OWL 2 Ontologies
International Semantic Web Conference, 2008
Ontology Evolution: How an Ontology Can Change, and How to Manage Inconsistency
Methods, Models, Simulations And Approaches Towards A General Theory Of Change, 2012
A framework for handling inconsistency in changing ontologies
2005
Model-Based Contractions for Description Logics
2008
Reasoning and change management in modular ontologies
Data & Knowledge Engineering, 2007
Inconsistent ontology handling by translating description logics into defeasible logic programming
2007
Applications of description logics: State of the art and research challenges
2005
Inconsistency-tolerant semantics for description logics
Web Reasoning and …, 2010
Concept-based semantic difference in expressive description logics
International Workshop on Description Logics, DL, 2012
Concept adjustment for description logics
Proceedings of the seventh international conference on Knowledge capture - K-CAP '13, 2013
Description logic reasoning with syntactic updates
On the Move to Meaningful …, 2006
Description Logics for Modelling Dynamic Information
2002
Description logics for modeling dynamic information
2006
An ABox Revision Algorithm for the Description Logic EL_bot
2014
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics
A Non-Monotonic Description Logics Model for Merging Terminologies
INTELIGENCIA ARTIFICIAL, 2007