Complexity Boundaries for Horn Description Logics.

Complexity Boundaries for Horn Description Logics.

Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whe...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Krötzsch, M, Rudolph, S, Hitzler, P
Natura:	Journal article
Lingua:	English
Pubblicazione:	AAAI Press 2007

Documenti analoghi

Complexities of Horn Description Logics.
di: Krötzsch, M, et al.
Pubblicazione: (2013)

Cheap Boolean Role Constructors for Description Logics.
di: Rudolph, S, et al.
Pubblicazione: (2008)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
di: Rudolph, S, et al.
Pubblicazione: (2008)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
di: Rudolph, S, et al.
Pubblicazione: (2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
di: Sebastian Rudolph, et al.
Pubblicazione: (2012-02-01)

Nominal Schemas for Integrating Rules and Description Logics.
di: Krötzsch, M, et al.
Pubblicazione: (2011)

On the Semantic Relationship between Datalog and Description Logics.
di: Krötzsch, M, et al.
Pubblicazione: (2010)

Efficient OWL Reasoning with Logic Programs - Evaluations.
di: Rudolph, S, et al.
Pubblicazione: (2007)

Description logics
di: Krötzsch, M, et al.
Pubblicazione: (2013)

Computing horn rewritings of description logics ontologies
di: Kaminski, M, et al.
Pubblicazione: (2015)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
di: Rudolph, S, et al.
Pubblicazione: (2007)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
di: Krötzsch, M, et al.
Pubblicazione: (2007)

ELP: Tractable Rules for OWL 2.
di: Krötzsch, M, et al.
Pubblicazione: (2008)

How to reason with OWL in a logic programming system.
di: Krötzsch, M, et al.
Pubblicazione: (2006)

A Description Logic Primer
di: Krötzsch, M, et al.
Pubblicazione: (2012)

Approximate OWL-Reasoning with Screech.
di: Tserendorj, T, et al.
Pubblicazione: (2008)

Querying Formal Contexts with Answer Set Programs.
di: Hitzler, P, et al.
Pubblicazione: (2006)

Acyclicity Conditions and their Application to Query Answering in Description Logics
di: Grau, B, et al.
Pubblicazione: (2012)

Morphisms in Context.
di: Krötzsch, M, et al.
Pubblicazione: (2005)

A Categorical View on Algebraic Lattices in Formal Concept Analysis.
di: Hitzler, P, et al.
Pubblicazione: (2006)

A Categorical View on Algebraic Lattices in Formal Concept Analysis
di: Hitzler, P, et al.
Pubblicazione: (2004)

The Data Complexity of Description Logic Ontologies
di: Carsten Lutz, et al.
Pubblicazione: (2017-11-01)

What is ontology merging? - A category-theoretical perspective using pushouts
di: Hitzler, P, et al.
Pubblicazione: (2005)

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
di: Krötzsch, M, et al.
Pubblicazione: (2011)

Description Logic Programs: Combining Logic Programs with Description Logic
di: Grosof, Benjamin, et al.
Pubblicazione: (2004)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
di: Nikitina, N, et al.
Pubblicazione: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
di: Stefanoni, G, et al.
Pubblicazione: (2014)

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
di: Ekaterina Komendantskaya Dr, et al.
Pubblicazione: (2018-09-01)

Mathematical aspects of logic programming semantics /
di: Hitzler, Pascal 409791, et al.
Pubblicazione: (c201)

Conjunctive queries for EL with role composition
di: Krötzsch, M, et al.
Pubblicazione: (2007)

Flag and check: data access with monadically defined queries.
di: Rudolph, S, et al.
Pubblicazione: (2013)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
di: Krötzsch, M, et al.
Pubblicazione: (2011)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
di: Motik, B
Pubblicazione: (2012)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
di: Kazakov, Y
Pubblicazione: (2010)

Description logic rules /
di: 518544 Krt̲zsch, Markus
Pubblicazione: (c201)

Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
di: Haase, C, et al.
Pubblicazione: (2008)

Tableaux for free logics with descriptions
di: Indrzejczak, A, et al.
Pubblicazione: (2021)

Combining Description Logics, Description Graphs, and Rules.
di: Motik, B
Pubblicazione: (2010)

On the horns of dilemma
di: O. Yu. Kiseleva, et al.
Pubblicazione: (2018-08-01)

Logic Graphs for ALC, SHIF and SHOIN Description Logics
di: Nguyen Ngoc Than, et al.
Pubblicazione: (2020-09-01)