Finding All Justifications of OWL DL Entailments

No abstract is available for this paper.

• Publication year

  2007

• Venue

  ISWC/ASWC

• Publication date

  2007-11-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-76298-0_20
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Debugging Incoherent Terminologies

  2007influential reference
• Swoop: A Web Ontology Editing Browser

  2006cited by this paper
• Repairing Unsatisfiable Concepts in OWL Ontologies

  2006cited by this paper
• Pellet System Description

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

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

  2003influential reference
• Reducing OWL Entailment to Description Logic Satisfability

  2003cited by this paper
• Creating Semantic Web Contents with Protégé-2000

  2001cited by this paper
• FaCT and iFaCT

  1999cited by this paper
• Embedding defaults into terminological knowledge representation formalisms

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

  1986cited by this paper

• Formalizing Repairs for Wikidata Constraint Violations: A Taxonomy and Empirical Analysis

  2025cites this paper
• How to tractably compute a productive repair for possibilistic partially ordered DL-LiteR ontologies?

  2025cites this paper
• An Abduction-Based Method for Explaining Non-Entailments of Semantic Matching

  2025influential citation
• On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)

  2025cites this paper
• Can You Tell the Difference? Contrastive Explanations for ABox Entailments

  2025influential citation
• A Logic Programming Approach to Repairing SHACL Constraint Violations

  2025cites this paper
• Planning with OWL-DL Ontologies (Extended Version)

  2024influential citation
• Planning with OWL-DL Ontologies

  2024influential citation
• Eliminating ontology contradictions based on the Myerson value

  2024cites this paper
• Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version

  2024cites this paper
• Semiring Provenance in Expressive Description Logics

  2023cites this paper
• Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract)

  2023cites this paper
• Explaining $\mathcal{ELH}$ Concept Descriptions through Counterfactual Reasoning

  2023cites this paper
• Focus Set Semantic Differences

  2023cites this paper
• Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

  2023cites this paper
• Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract)

  2023cites this paper
• Repairing Ontologies via Kernel Pseudo-Contraction

  2022cites this paper
• Query Answer Explanations under Existential Rules

  2022cites this paper
• A Framework for Reasoning About Uncertainty in Ontologies

  2022cites this paper
• Repairing EL Ontologies Using Weakening and Completing

  2022cites this paper
• Semantic Relevance

  2022cites this paper
• SAT-Based Axiom Pinpointing Revisited

  2022cites this paper
• Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes

  2022cites this paper
• WSSA: Weakly Supervised Semantic-based approach for Sentiment Analysis

  2022cites this paper
• One step at a time: An efficient approach to query-based ontology debugging

  2022cites this paper
• Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes

  2022cites this paper
• Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)

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

  2022cites this paper
• Kernel Contraction and the Order of Relevance

  2022cites this paper
• Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox

  2021cites this paper
• Enhancing RFID system configuration through semantic modelling

  2021cites this paper
• Enhancing Probabilistic Model Checking with Ontologies

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

  2021cites this paper
• Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance

  2021cites this paper
• Union and Intersection of all Justifications (Extended Abstract)

  2021cites this paper
• Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes

  2021cites this paper
• Pseudo-contraction operations for description logics

  2021cites this paper
• Preferred Explanations for Ontology-Mediated Queries under Existential Rules

  2021cites this paper
• Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

  2020cites this paper
• On a Notion of Relevance

  2020cites this paper
• Explanations for Negative Query Answers under Existential Rules

  2020cites this paper
• Ontologies and Data Management: A Brief Survey

  2020cites this paper
• Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

  2020cites this paper
• Machine Reasoning Explainability

  2020cites this paper
• Supporting Skill-based Flexible Manufacturing with Symbolic AI Methods

  2020influential citation
• Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract)

  2020influential citation
• SeXAI: Introducing Concepts into Black Boxes for Explainable Artificial Intelligence

  2020cites this paper
• Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies

  2020cites this paper
• Reasoning in Description Logic Ontologies for Privacy Management

  2020cites this paper
• Explainable AI meets persuasiveness: Translating reasoning results into behavioral change advice

  2020cites this paper
• SeXAI: A Semantic Explainable Artificial Intelligence Framework

  2020cites this paper
• Extracting a justification for OWL ontologies by critical axioms

  2020influential citation
• Provenance for the Description Logic ELHr

  2020cites this paper
• Pseudo-contractions as Gentle Repairs

  2019cites this paper
• Explanations for Query Answers under Existential Rules

  2019cites this paper
• Multi-source multiple change on belief bases

  2019cites this paper
• Exploring duality on ontology debugging

  2019influential citation
• Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?

  2019cites this paper
• On beyond Gruber: "Ontologies" in today's biomedical information systems and the limits of OWL

  2019cites this paper
• A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

  2019cites this paper
• Enriching Ontology-based Data Access with Provenance (Extended Version)

  2019cites this paper
• Validation of Growing Knowledge Graphs by Abductive Text Evidences

  2019cites this paper
• Debugging classical ontologies using defeasible reasoning tools ( extended abstract )

  2019cites this paper
• A Preventive Approach for Consistent OWL 2 DL Ontology Versions

  2019cites this paper
• Knowledge Discovery for Avionics Maintenance : An Unsupervised Concept Learning Approach. (Découverte de connaissances pour la maintenance avionique : une approche d'apprentissage de concepts non supervisée)

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

  2019cites this paper
• Handling Disagreement in Ontologies-Based Reasoning via Argumentation

  2019cites this paper
• On expansion and contraction of DL-Lite knowledge bases

  2019cites this paper
• Learning How to Correct a Knowledge Base from the Edit History

  2019influential citation
• Ontology Alignment Repair Through 0-1 Programming

  2019cites this paper
• Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique)

  2018cites this paper
• Contextualized Programs for Ontology-Mediated Probabilistic System Analysis

  2018cites this paper
• Enumerating Justifications using Resolution

  2018influential citation
• Knowledge Discovery for Avionics Maintenance Support

  2018cites this paper
• Computing Minimal Subsumption Modules of Ontologies

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

  2018influential citation
• Explanation of Action Plans Through Ontologies

  2018cites this paper
• Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics

  2018influential citation
• How to Repair Inconsistency in OWL 2 DL Ontology Versions?

  2018cites this paper
• Large-Scale Ontology Matching

  2018cites this paper
• Provenance in Ontology-based Data Access

  2018cites this paper
• Consequence-Based Axiom Pinpointing

  2018cites this paper
• Detecting hidden errors in an ontology using contextual knowledge

  2018influential citation
• OntoDebug: Interactive Ontology Debugging Plug-in for Protégé

  2018cites this paper
• Constructive Justification Extraction for OWL Ontologies

  2018cites this paper
• Parallel Model-Based Diagnosis

  2018cites this paper
• On Active Learning Strategies for Sequential Diagnosis

  2018cites this paper
• Repairing Description Logic Ontologies by Weakening Axioms

  2018cites this paper
• Making Repairs in Description Logics More Gentle (Extended Abstract)

  2018cites this paper
• Efficient management and storage of a multiversion OWL 2 DL domain ontology

  2018cites this paper
• An Automata View to Goal-Directed Methods

  2017cites this paper
• Towards Reusable Explanation Services in Protege

  2017cites this paper
• Ontology-based specification, identification and analysis of perioperative risks

  2017cites this paper
• On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search

  2017cites this paper
• Fast ABox Consistency Checking Using Incomplete Reasoning and Caching

  2017cites this paper
• Debugging EL+ Ontologies through Horn MUS Enumeration

  2017cites this paper
• Lean Kernels in Description Logics

  2017cites this paper
• The ICLP 2014 Doctoral Consortium

  2017cites this paper
• Handling conflicts in uncertain ontologies using deductive argumentation

  2017cites this paper
• On the Satisfiability of Quasi-Classical Description Logics

  2017cites this paper