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

Полное описание

Библиографические подробности
Главные авторы:	Krötzsch, M, Rudolph, S, Hitzler, P
Формат:	Journal article
Язык:	English
Опубликовано:	AAAI Press 2007

Схожие документы

Complexities of Horn Description Logics.
по: Krötzsch, M, и др.
Опубликовано: (2013)

Cheap Boolean Role Constructors for Description Logics.
по: Rudolph, S, и др.
Опубликовано: (2008)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
по: Rudolph, S, и др.
Опубликовано: (2008)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
по: Rudolph, S, и др.
Опубликовано: (2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
по: Sebastian Rudolph, и др.
Опубликовано: (2012-02-01)

Nominal Schemas for Integrating Rules and Description Logics.
по: Krötzsch, M, и др.
Опубликовано: (2011)

On the Semantic Relationship between Datalog and Description Logics.
по: Krötzsch, M, и др.
Опубликовано: (2010)

Efficient OWL Reasoning with Logic Programs - Evaluations.
по: Rudolph, S, и др.
Опубликовано: (2007)

Description logics
по: Krötzsch, M, и др.
Опубликовано: (2013)

Computing horn rewritings of description logics ontologies
по: Kaminski, M, и др.
Опубликовано: (2015)

Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web.
по: Rudolph, S, и др.
Опубликовано: (2007)

Conjunctive Queries for a Tractable Fragment of OWL 1.1.
по: Krötzsch, M, и др.
Опубликовано: (2007)

ELP: Tractable Rules for OWL 2.
по: Krötzsch, M, и др.
Опубликовано: (2008)

How to reason with OWL in a logic programming system.
по: Krötzsch, M, и др.
Опубликовано: (2006)

A Description Logic Primer
по: Krötzsch, M, и др.
Опубликовано: (2012)

Approximate OWL-Reasoning with Screech.
по: Tserendorj, T, и др.
Опубликовано: (2008)

Querying Formal Contexts with Answer Set Programs.
по: Hitzler, P, и др.
Опубликовано: (2006)

Acyclicity Conditions and their Application to Query Answering in Description Logics
по: Grau, B, и др.
Опубликовано: (2012)

Morphisms in Context.
по: Krötzsch, M, и др.
Опубликовано: (2005)

A Categorical View on Algebraic Lattices in Formal Concept Analysis.
по: Hitzler, P, и др.
Опубликовано: (2006)

A Categorical View on Algebraic Lattices in Formal Concept Analysis
по: Hitzler, P, и др.
Опубликовано: (2004)

The Data Complexity of Description Logic Ontologies
по: Carsten Lutz, и др.
Опубликовано: (2017-11-01)

What is ontology merging? - A category-theoretical perspective using pushouts
по: Hitzler, P, и др.
Опубликовано: (2005)

A better uncle for OWL: nominal schemas for integrating rules and ontologies.
по: Krötzsch, M, и др.
Опубликовано: (2011)

Description Logic Programs: Combining Logic Programs with Description Logic
по: Grosof, Benjamin, и др.
Опубликовано: (2004)

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
по: Nikitina, N, и др.
Опубликовано: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
по: Stefanoni, G, и др.
Опубликовано: (2014)

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
по: Ekaterina Komendantskaya Dr, и др.
Опубликовано: (2018-09-01)

Mathematical aspects of logic programming semantics /
по: Hitzler, Pascal 409791, и др.
Опубликовано: (c201)

Conjunctive queries for EL with role composition
по: Krötzsch, M, и др.
Опубликовано: (2007)

Flag and check: data access with monadically defined queries.
по: Rudolph, S, и др.
Опубликовано: (2013)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
по: Krötzsch, M, и др.
Опубликовано: (2011)

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
по: Motik, B
Опубликовано: (2012)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
по: Kazakov, Y
Опубликовано: (2010)

Description logic rules /
по: 518544 Krt̲zsch, Markus
Опубликовано: (c201)

Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
по: Haase, C, и др.
Опубликовано: (2008)

Tableaux for free logics with descriptions
по: Indrzejczak, A, и др.
Опубликовано: (2021)

Combining Description Logics, Description Graphs, and Rules.
по: Motik, B
Опубликовано: (2010)

On the horns of dilemma
по: O. Yu. Kiseleva, и др.
Опубликовано: (2018-08-01)

Logic Graphs for ALC, SHIF and SHOIN Description Logics
по: Nguyen Ngoc Than, и др.
Опубликовано: (2020-09-01)