Fast ABox Consistency Checking Using Incomplete Reasoning and Caching

No abstract is available for this paper.

• Publication year

  2017

• Venue

  RuleML+RR

• Publication date

  2017-07-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-61252-2_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fast Approximate A-Box Consistency Checking Using Machine Learning

  2016cited by this paper
• Schema-Based Debugging of Federated Data Sources

  2016cited by this paper
• Serving DBpedia with DOLCE - More than Just Adding a Cherry on Top

  2015cited by this paper
• DBpedia - A large-scale, multilingual knowledge base extracted from Wikipedia

  2015cited by this paper
• A Review of Relational Machine Learning for Knowledge Graphs

  2015cited by this paper
• Konclude: System description

  2014cited by this paper
• Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions

  2012cited by this paper
• Graph Kernels for RDF Data

  2012cited by this paper
• The HermiT OWL Reasoner

  2012influential reference
• Query Rewriting for Inconsistent DL-Lite Ontologies

  2011influential reference
• Explaining Inconsistencies in OWL Ontologies

  2009cited by this paper
• GoodRelations: An Ontology for Describing Products and Services Offers on the Web

  2008cited by this paper
• Linking Data to Ontologies

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

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

  2007cited by this paper
• Inconsistencies, Negations and Changes in Ontologies

  2006cited by this paper
• Understanding the Semantic Web through Descriptions and Situations

  2003cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper

• Dealing with Inconsistency for Reasoning over Knowledge Graphs: A Survey

  2025cites this paper
• Detecting and Fixing Inconsistency of Large Knowledge Graphs

  2024cites this paper
• Neural symbolic reasoning with knowledge graphs: Knowledge extraction, relational reasoning, and inconsistency checking

  2021cites this paper
• Deep learning for noise-tolerant RDFS reasoning

  2019cites this paper
• Reasoning and querying web-scale open data based on DL-LiteA in a divide-and-conquer way

  2019cites this paper
• More Is Better: Sequential Combinations of Knowledge Graph Embedding Approaches

  2018cites this paper
• OWL-enabled Assembly Planning for Robotic Agents

  2018cites this paper
• Towards Scalable Ontological Reasoning using Machine Learning

  2017influential citation