Towards Reusable Explanation Services in Protege

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Description Logics

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Efficient Axiom Pinpointing in EL using SAT Technology

  2016cited by this paper
• BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies

  2016cited by this paper
• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

  2015cited by this paper
• The protégé project: a look back and a look forward

  2015cited by this paper
• Efficient Axiom Pinpointing with EL2MCS

  2015cited by this paper
• Advancing ELK: Not Only Performance Matters

  2015cited by this paper
• Goal-Directed Tracing of Inferences in EL Ontologies

  2014cited by this paper
• From Polynomial Procedures to Efficient Reasoning with EL Ontologies

  2013cited by this paper
• Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics

  2011cited by this paper
• Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

  2009cited by this paper
• Pushing the EL Envelope Further

  2008cited by this paper
• Laconic and Precise Justifications in OWL

  2008cited by this paper
• Explanation of OWL Entailments in Protege 4

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

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

  2007cited by this paper
• Debugging and Repair of OWL Ontologies

  2006cited by this paper
• Pushing the EL Envelope

  2005cited by this paper

• The Shape of EL Proofs: A Tale of Three Calculi

  2025cites this paper
• Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

  2025cites this paper
• The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

  2025cites this paper
• Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language

  2024cites this paper
• Explaining Reasoning Results for OWL Ontologies with Evee

  2024cites this paper
• Supporting Companion Planting with the CoPla Ontology

  2024cites this paper
• Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

  2023cites this paper
• Why Not? Explaining Missing Entailments with Evee (Technical Report)

  2023cites this paper
• Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging

  2023cites this paper
• On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne

  2022cites this paper
• Connection-minimal Abduction in EL via Translation to FOL - Technical Report

  2022cites this paper
• Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version

  2022cites this paper
• Explaining Description Logic Entailments in Practice with Evee and Evonne

  2022cites this paper
• Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

  2022cites this paper
• In the Head of the Beholder: Comparing Different Proof Representations

  2022cites this paper
• Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

  2022cites this paper
• Abduction in EL via Translation to FOL

  2021cites this paper
• Two Ways of Explaining Negative Entailments in Description Logics Using Abduction (Extended Version)

  2021cites this paper
• Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

  2021cites this paper
• In the Hand of the Beholder: Comparing Interactive Proof Visualizations

  2021cites this paper
• Concise Justifications Versus Detailed Proofs for Description Logic Entailments

  2021cites this paper
• Introducing Connection Minimal Abduction for EL Ontologies (cid:63)

  2021cites this paper
• On the Complexity of Finding Good Proofs for Description Logic Entailments

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

  2020cites this paper
• Finding Proofs for Description Logic Entailments in Practice

  2020cites this paper
• In the Eye of the Beholder: Which Proofs are Best?

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

  2020cites this paper
• Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

  2020influential citation
• Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair

  2020cites this paper
• DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies

  2018cites this paper
• Explaining Reasoning Results for OWL Ontologies with Evee

  year unknowncites this paper
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization

  year unknowncites this paper