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

No abstract is available for this paper.

• Publication year

  2004

• Venue

  European Conference on Artificial Intelligence

• Publication date

  2004-08-22

• 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.

• Terminological Cycles in a Description Logic with Existential Restrictions

  2009cited by this paper
• Reasoning in ELH w.r.t. General Concept Inclusion Axioms

  2004influential reference
• Medical Informatics

  2003cited by this paper
• Complexity of Reasoning

  2003cited by this paper
• The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics

  2003cited by this paper
• Subsumption of concepts in $DL$ ${\cal FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete

  2003cited by this paper
• Introduction to Description Logics

  2001cited by this paper
• An Overview of Tableau Algorithms for Description Logics

  2001cited by this paper
• An Overview of Tableau Algorithms for Description

  2001cited by this paper
• Unification of Concept Terms in Description Logics

  2001cited by this paper
• RACER System Description

  2001cited by this paper
• Normal forms for description logic expressions of clinical concepts in SNOMED RT

  2001cited by this paper
• Practical Reasoning for Expressive Description Logics

  1999cited by this paper
• Using an Expressive Description Logic: FaCT or Fiction?

  1998cited by this paper
• The GRAIL concept modelling language for medical terminology

  1997cited by this paper
• Tarskian set constraints

  1996cited by this paper
• A Description Logic Based Schema for the Classification of Medical Data

  1996cited by this paper
• Goals for concept representation in the GALEN project.

  1993influential reference
• Decidable Reasoning in Terminological Knowledge Representation Systems

  1993cited by this paper
• The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics

  1993cited by this paper
• Principles of Semantic Networks - Explorations in the Representation of Knowledge

  1991cited by this paper
• Terminological Cycles: Semantics and Computational Properties

  1991cited by this paper
• Terminological Reasoning is Inherently Intractable

  1990cited by this paper

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

  2025cites this paper
• The Shape of EL Proofs: A Tale of Three Calculi

  2025cites this paper
• Involving cognitive science in model transformation for description logics

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

  2022cites this paper
• Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

  2022cites this paper
• Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

  2022cites this paper
• Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation

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

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

  2021cites this paper
• Enhancing Probabilistic Model Checking with Ontologies

  2021cites this paper
• Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer reasoner

  2021cites this paper
• An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics

  2021cites this paper
• Pay-as-you-go consequence-based reasoning for the description logic SROIQ

  2021cites this paper
• Quantitative Variants of Language Equations and their Applications to Description Logics

  2020cites this paper
• Knowledge Discovery, Knowledge Engineering and Knowledge Management: 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

  2020cites this paper
• Concept Contraction in the Description Logic EL

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

  2020cites this paper
• Towards Model Transformation in Description Logics - Investigating the Case of Transductions

  2020cites this paper
• Large-scale Ontological Reasoning via Datalog

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

  2020cites this paper
• Concept-By-Example in EL Knowledge Bases

  2019influential citation
• A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction

  2019cites this paper
• The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics

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

  2019cites this paper
• Is Tra table Reasoning in Extensions of the Des ription Logi EL Useful in Pra ti e ?

  2019cites this paper
• 15 Years of Consequence-Based Reasoning

  2019influential citation
• Privacy-Preserving Ontology Publishing for EL Instance Stores

  2019cites this paper
• Privacy-Preserving Ontology Publishing for EL Instance Stores (Extended Version)

  2019cites this paper
• Fast Query Answering over Existential Rules

  2019cites this paper
• Classical Algorithms for Reasoning and Explanation in Description Logics

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

  2018cites this paper
• Enhancing Existential Rules by Closed-World Variables

  2018influential citation
• Reasoning on Anonymity in Datalog+/- ∗

  2018cites this paper
• The Bayesian Description Logic BALC

  2018cites this paper
• Towards Privacy-Preserving Ontology Publishing

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

  2018cites this paper
• Reasoning over Ontologies with DLV

  2018cites this paper
• Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata

  2018cites this paper
• The Data Complexity of Answering Instance Queries in FL0

  2018cites this paper
• Reasoning within Fuzzy OWL 2 EL revisited

  2018influential citation
• Making Repairs in Description Logics More Gentle (Extended Abstract)

  2018cites this paper
• GRUEL: An EL Reasoner Using General Purpose Computing on a Graphical Processing Unit

  2017cites this paper
• Decidability and complexity of threshold description logics induced by concept similarity measures

  2017cites this paper
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information

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

  2017cites this paper
• The complexity of fuzzy EL under the Łukasiewicz T-norm

  2017cites this paper
• Including Quantification in Defeasible Reasoning for the Description Logic EL⊥

  2017cites this paper
• Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0

  2017cites this paper
• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic

  2016cites this paper
• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

  2016cites this paper
• The Bayesian Ontology Language BEL

  2016influential citation
• Capturing temporal aspects of bio-health ontologies

  2016cites this paper
• Adding Threshold Concepts to the Description Logic EL

  2016cites this paper
• The Bayesian Ontology Language

  2016influential citation
• Games for query inseparability of description logic knowledge bases

  2016cites this paper
• Datalog+- Ontology Consolidation

  2016cites this paper
• Extending the Description Logic τEL(deg) with Acyclic TBoxes

  2016cites this paper
• Optimisation of tableau-based reasoning systems for expressive description logics

  2016influential citation
• A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning

  2016cites this paper
• The Bayesian Ontology Language $$\mathcal {BEL}$$BEL

  2016cites this paper
• Towards richer rule languages with PTime data complexity for the Semantic Web

  2015cites this paper
• Adding Threshold Concepts to the Description Logic EL

  2015cites this paper
• Foundations for the Logical Difference of EL-TBoxes

  2015cites this paper
• Towards richer rule languages with polynomial data complexity for the Semantic Web

  2015cites this paper
• The Logical Difference for EL: From Terminologies Towards TBoxes

  2015influential citation
• Dismatching and Local Disunification in EL (Extended Abstract)

  2015cites this paper
• Query Answering in Bayesian Description Logics

  2015cites this paper
• Probabilistic Query Answering in the Bayesian Description Logic BEL

  2015cites this paper
• The Bayesian Ontology Reasoner is BORN!

  2015cites this paper
• Proceedings of the Automated Reasoning Workshop 2015 Bridging the Gap between Theory and Practice

  2015cites this paper
• Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match

  2015cites this paper
• Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes

  2015cites this paper
• Computing Healthcare Quality Indicators Automatically : Secondary Use of Patient Data and Semantic Interoperability

  2014cites this paper
• Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics

  2014cites this paper
• Temporalised description logics for monitoring partially observable events

  2014cites this paper
• Many-valued Horn Logic is Hard

  2014cites this paper
• (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL

  2014cites this paper
• Tight Complexity Bounds for Reasoning in the Description Logic BEL

  2014cites this paper
• Reasoning in the Description Logic BEL Using Bayesian Networks

  2014cites this paper
• Recent Advances in Unification for the EL Family

  2014cites this paper
• Learning terminological knowledge with high confidence from erroneous data

  2014cites this paper
• Matching with Respect to General Concept Inclusions in the Description Logic EL

  2014cites this paper
• A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse

  2014cites this paper
• The Incredible ELK

  2014cites this paper
• The Bayesian Description Logic ${\mathcal{BEL}}$

  2014cites this paper
• Brave and Cautious Reasoning in EL

  2014cites this paper
• Towards Parallel Repair Using Decompositions

  2014cites this paper
• An Introduction to Description Logics and Query Rewriting

  2014cites this paper
• Towards Parallel Repair: An Ontology Decomposition-based Approach

  2014cites this paper
• Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$

  2014cites this paper
• Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$

  2014cites this paper
• Kernel Contraction in EL

  2014cites this paper
• Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014

  2014cites this paper
• Hybrid Unification in the Description Logic EL

  2013cites this paper
• Introductions to Description Logics - A Guided Tour

  2013cites this paper
• The ELepHant Reasoner System Description

  2013cites this paper
• HornDL: An Expressive Horn Description Logic with PTime Data Complexity

  2013cites this paper
• Unification in the Description Logic

  2013influential citation
• Generalized Satisability for the Description LogicALC

  2013cites this paper
• The Justificatory Structure of OWL Ontologies

  2013cites this paper