Graph-based approaches to debugging and revision of terminologies in DL-Lite
- 1 May 2016
- journal article
- Published by Elsevier BV in Knowledge-Based Systems
- Vol. 100, 1-12
- https://doi.org/10.1016/j.knosys.2016.01.039
Abstract
No abstract availableFunding Information
- National Science Foundation of China (61272378)
- Jiangxi Educational Committee (GJJ12643)
- National High Technology Research Program of China (863 Program) (2015AA015406)
This publication has 14 references indexed in Scilit:
- Query rewriting under query refinementsKnowledge-Based Systems, 2014
- Ontology-supported case-based reasoning approach for intelligent m-Government emergency response servicesDecision Support Systems, 2013
- Bipolar fuzzy graphs with applicationsKnowledge-Based Systems, 2013
- The DL-Lite Family and RelationsJournal of Artificial Intelligence Research, 2009
- Trust-based Revision for Expressive Web SyndicationJournal of Logic and Computation, 2008
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite FamilyJournal of Automated Reasoning, 2007
- Debugging Incoherent TerminologiesJournal of Automated Reasoning, 2007
- Dynamic evolutions based on ontologiesKnowledge-Based Systems, 2007
- Debugging unsatisfiable classes in OWL ontologiesJournal of Web Semantics, 2005
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985