Graph-based approaches to debugging and revision of terminologies in DL-Lite

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Knowledge-Based Systems

• Publication date

  2016-05-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/J.KNOSYS.2016.01.039
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A programmatic introduction to Neo4j

  2018cited by this paper
• Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice

  2015cited by this paper
• Instance-Driven Ontology Evolution in DL-Lite

  2015cited by this paper
• Query rewriting under query refinements

  2014cited by this paper
• A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies

  2014cited by this paper
• Measuring effectiveness of ontology debugging systems

  2014cited by this paper
• Contraction and Revision over DL-Lite TBoxes

  2014cited by this paper
• Graph-Based Ontology Classification in OWL 2 QL

  2013cited by this paper
• Bipolar fuzzy graphs with applications

  2013cited by this paper
• Ontology-supported case-based reasoning approach for intelligent m-Government emergency response services

  2013cited by this paper
• A New Operator for ABox Revision in DL-Lite

  2012cited by this paper
• Interactive ontology revision

  2012cited by this paper
• Ontology Evolution Under Semantic Constraints

  2012cited by this paper
• Updating inconsistent Description Logic knowledge bases

  2012cited by this paper
• An Algorithm for Calculating Minimal Unsatisfiability-Preserving Subsets of Ontology in DL-Lite

  2011cited by this paper
• An Efficient Approach to Debugging Ontologies Based on Patterns

  2011cited by this paper
• A New Approach to Knowledge Base Revision in DL-Lite

  2010cited by this paper
• The DL-Lite Family and Relations

  2009cited by this paper
• Model-based Revision Operators for Terminologies in Description Logics

  2009cited by this paper
• Trust-based Revision for Expressive Web Syndication

  2009cited by this paper
• A Kernel Revision Operator for Terminologies

  2008cited by this paper
• A Survey of Revision Approaches in Description Logics

  2008cited by this paper
• Automata-Based Axiom Pinpointing

  2008cited by this paper
• Measuring Incoherence in Description Logic-Based Ontologies

  2007cited by this paper
• Dynamic evolutions based on ontologies

  2007cited by this paper
• Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

  2007cited by this paper
• Debugging Incoherent Terminologies

  2007cited by this paper
• Pinpointing in the Description Logic EL

  2007cited by this paper
• Finding All Justifications of OWL DL Entailments

  2007cited by this paper
• Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL

  2007cited by this paper
• Finding Maximally Satisfiable Terminologies for the Description Logic ALC

  2006cited by this paper
• Debugging OWL ontologies

  2005cited by this paper
• A General Diagnosis Method for Ontologies

  2005cited by this paper
• Debugging unsatisfiable classes in OWL ontologies

  2005cited by this paper
• Diagnosing Terminologies

  2005cited by this paper
• QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems

  2004cited by this paper
• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

  2003cited by this paper
• A Theory of Diagnosis from First Principles

  1986cited by this paper
• On the logic of theory change: Partial meet contraction and revision functions

  1985cited by this paper

• Ontology Revision based on Pre-trained Language Models

  2023influential citation
• Cosine-Based Embedding for Completing Lightweight Schematic Knowledge in DL-Litecore

  2022cites this paper
• Effective method for detecting error causes from incoherent biological ontologies.

  2022cites this paper
• Benchmark construction and experimental evaluations for incoherent ontologies

  2022cites this paper
• Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts

  2021cites this paper
• Knowledge Big Graph Fusing Ontology with Property Graph: A Case Study of Financial Ownership Network

  2021cites this paper
• Memory-limited model-based diagnosis

  2020cites this paper
• Memory-Limited Model-Based Diagnosis

  2020influential citation
• Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision

  2020cites this paper
• DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis

  2020cites this paper
• Cosine-Based Embedding for Completing Schematic Knowledge

  2019cites this paper
• Resolving Logical Contradictions in Description Logic Ontologies Based on Integer Linear Programming

  2019cites this paper
• Completing and Debugging Ontologies: State-of-the-art and Challenges in Repairing Ontologies

  2019cites this paper
• Ontology Alignment Repair Through 0-1 Programming

  2019cites this paper
• A graph-based approach for resolving incoherent ontology mappings

  2018influential citation
• A dependency-graph based approach for finding justification in OWL 2 EL

  2018cites this paper
• A Graph-Based Method for Interactive Mapping Revision

  2018cites this paper
• Recommender system with grey wolf optimizer and FCM

  2018cites this paper
• An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments

  2017cites this paper
• Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths

  2017cites this paper
• Discriminative predicate path mining for fact checking in knowledge graphs

  2015cites this paper