Pinpointing in the Description Logic EL

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Description Logics

• Publication date

  2007-09-10

• Fields of study

  Mathematics, Computer Science, Engineering, Geology

• Identifiers
  DOI 10.1007/978-3-540-74565-5_7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Axiom Pinpointing in General Tableaux

  2007cited by this paper
• Description logic

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

  2006cited by this paper
• CEL - A Polynomial-Time Reasoner for Life Science Ontologies

  2006cited by this paper
• On Finding All Minimally Unsatisfiable Subformulas

  2005cited by this paper
• Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization

  2005cited by this paper
• Pushing the EL Envelope

  2005influential reference
• Debugging OWL ontologies

  2005cited by this paper
• Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice

  2005influential reference
• Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?

  2004influential reference
• The description logic handbook: theory

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

  2003cited by this paper
• Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications

  2003cited by this paper
• From SHIQ and RDF to OWL: the making of a Web Ontology Language

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

  2003cited by this paper
• Generating all maximal models of a Boolean expression

  2000cited by this paper
• Gene Ontology: tool for the unification of biology

  2000cited by this paper
• Practical Aspects of Declarative Languages

  1999cited by this paper
• An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF

  1998cited by this paper
• Experience building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions

  1997cited by this paper
• SNOMED RT: a reference terminology for health care

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

  1995cited by this paper
• Identifying the Minimal Transversals of a Hypergraph and Related Problems

  1995cited by this paper
• Attributive Concept Descriptions with Complements

  1991cited by this paper
• Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems

  1990cited by this paper
• On Generating All Maximal Independent Sets

  1988cited by this paper
• Automated reasoning

  1987cited by this paper
• Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae

  1984cited by this paper
• The NP-Completeness Column: An Ongoing Guide

  1982cited by this paper
• Johnson: computers and intractability: a guide to the theory of np- completeness (freeman

  1979cited by this paper

• Can You Tell the Difference? Contrastive Explanations for ABox Entailments

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

  2024cites this paper
• ASP-based Axiom Pinpointing for Description Logics

  2023influential citation
• Computing ABox Justifications for Query Answers via Datalog Rewriting

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

  2023cites this paper
• Semiring Provenance in Expressive Description Logics

  2023cites this paper
• A web application for reasoning on probabilistic description logics knowledge bases

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

  2023cites this paper
• PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies

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

  2023cites this paper
• Model Transformation in Description Logics Motivation and Approach

  2023cites this paper
• Almost Certain Termination for ALC Weakening

  2022cites this paper
• Optimal Fixed-Premise Repairs of EL TBoxes (Extended Abstract)

  2022cites this paper
• Pinpointing Axioms in Ontologies via ASP

  2022cites this paper
• Optimal Fixed-Premise Repairs of EL TBoxes (Extended Version)

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

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

  2022cites this paper
• User-aware Explications of Ontology Consequences: Levelling Technicality

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

  2022cites this paper
• SAT-Based Axiom Pinpointing Revisited

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

  2022cites this paper
• Explaining Non-Entailment by Model Transformation for the Description Logic EL

  2022cites this paper
• Relevant Parts of Counter Models as Explanations for EL Non-Subsumptions (Extended Abstract)

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

  2021cites this paper
• Enhancing Probabilistic Model Checking with Ontologies

  2021cites this paper
• Signature-Based ABox Abduction in ALC is Hard

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

  2021cites this paper
• FLACK: Counterexample-Guided Fault Localization for Alloy Models

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

  2021cites this paper
• Counter Model Transformation for Explaining Non-Subsumption in EL

  2021cites this paper
• Optimizing a tableau reasoner and its implementation in Prolog

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

  2021cites this paper
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)

  2021cites this paper
• Error-Tolerance and Error Management in Lightweight Description Logics

  2020cites this paper
• Provenance for the Description Logic ELHr

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

  2020cites this paper
• Model-based Merging of Open-Domain Ontologies

  2020cites this paper
• Axiom Pinpointing

  2020cites this paper
• Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting

  2020cites this paper
• On a Notion of Relevance

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

  2020influential citation
• On the Complexity of Finding Good Proofs for Description Logic Entailments

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

  2020cites this paper
• Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract)

  2020cites this paper
• Towards Even More Irresistible Axiom Weakening

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

  2020cites this paper
• A Framework for Reasoning on Probabilistic Description Logics

  2020cites this paper
• Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+

  2020cites this paper
• A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond

  2019cites this paper
• Blending under deconstruction

  2019cites this paper
• Finding Justifications by Approximating Core for Large-scale Ontologies

  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
• Explaining Axiom Pinpointing

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

  2019cites this paper
• Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

  2019cites this paper
• A dependency-graph based approach for finding justification in OWL 2 EL

  2018influential citation
• Methods for Ontology Alignment Change

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

  2018cites this paper
• Consequence-Based Axiom Pinpointing

  2018cites this paper
• Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics

  2018cites this paper
• Enumerating Justifications using Resolution

  2018cites this paper
• Computing Minimal Projection Modules for Conjunctive Queries

  2018cites this paper
• The Bayesian Description Logic BALC

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

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

  2018cites this paper
• N ov 2 01 7 Repairing Ontologies via AxiomWeakening

  2018cites this paper
• A Modular Inference System for Probabilistic Description Logics

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

  2018cites this paper
• Computing Minimal Subsumption Modules of Ontologies

  2018cites this paper
• Inconsistency-Tolerant Instance Checking in Tractable Description Logics

  2017cites this paper
• Understanding the complexity of axiom pinpointing in lightweight description logics

  2017influential citation
• Repairing Ontologies via Axiom Weakening

  2017cites this paper
• Local Change in Ontologies with Atomic Decomposition

  2017influential citation
• An Automata View to Goal-Directed Methods

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

  2017cites this paper
• A Study of Kernel Contraction in EL

  2017influential citation
• Zooming in on Ontologies: Minimal Modules and Best Excerpts

  2017cites this paper
• Towards Reusable Explanation Services in Protege

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

  2017cites this paper
• An Algorithmic Study of Kernel Contraction in EL

  2017influential citation
• An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments

  2017cites this paper
• Kernel Contraction and Consolidation of Alignment under Ontology Change

  2016cites this paper
• The Bayesian Ontology Language

  2016influential citation
• Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases

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

  2016cites this paper
• Efficient Reasoning for Inconsistent Horn Formulae

  2016influential citation
• The Bayesian Ontology Language $$\mathcal {BEL}$$BEL

  2016influential citation
• Inconsistency Handling in Ontology-Mediated Query Answering

  2016cites this paper
• Graph-based approaches to debugging and revision of terminologies in DL-Lite

  2016cites this paper
• On Computing Minimal EL-Subsumption Modules

  2016cites this paper
• The role of unsatisfiable Boolean constraints in lightweight description logics

  2016influential citation
• Techniques for optimized reasoning in description logic knowledge bases

  2016cites this paper
• The Bayesian Ontology Language BEL

  2016influential citation
• Formalizing and Studying Dialectical Explanations in Inconsistent Knowledge Bases. (Formalisation et Etude des Explications Dialectiques dans les Bases de Connaissances Incohérentes)

  2016cites this paper
• Probabilistic Description Logics under the distribution semantics

  2015cites this paper
• Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases

  2015cites this paper
• Ontology Repair Through Partial Meet Contraction

  2015cites this paper
• Reasoning with Annotated Description Logic Ontologies an

  2015cites this paper
• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

  2015cites this paper
• Towards Efficient Axiom Pinpointing of EL+ Ontologies

  2015cites this paper