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

书目详细资料
Main Authors:	Krötzsch, M, Rudolph, S, Hitzler, P
格式:	Journal article
语言:	English
出版:	AAAI Press 2007

相似书籍

Complexities of Horn Description Logics.
由: Krötzsch, M, et al.
出版: (2013)

Cheap Boolean Role Constructors for Description Logics.
由: Rudolph, S, et al.
出版: (2008)

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

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

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

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

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

Efficient OWL Reasoning with Logic Programs - Evaluations.
由: Rudolph, S, et al.
出版: (2007)

Description logics
由: Krötzsch, M, et al.
出版: (2013)

Computing horn rewritings of description logics ontologies
由: Kaminski, M, et al.
出版: (2015)

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

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

ELP: Tractable Rules for OWL 2.
由: Krötzsch, M, et al.
出版: (2008)

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

A Description Logic Primer
由: Krötzsch, M, et al.
出版: (2012)

Approximate OWL-Reasoning with Screech.
由: Tserendorj, T, et al.
出版: (2008)

Querying Formal Contexts with Answer Set Programs.
由: Hitzler, P, et al.
出版: (2006)

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

Morphisms in Context.
由: Krötzsch, M, et al.
出版: (2005)

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

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

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

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

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

Description Logic Programs: Combining Logic Programs with Description Logic
由: Grosof, Benjamin, et al.
出版: (2004)

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

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

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

Mathematical aspects of logic programming semantics /
由: Hitzler, Pascal 409791, et al.
出版: (c201)

Conjunctive queries for EL with role composition
由: Krötzsch, M, et al.
出版: (2007)

Flag and check: data access with monadically defined queries.
由: Rudolph, S, et al.
出版: (2013)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
由: Krötzsch, M, et al.
出版: (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, et al.
出版: (2008)

Tableaux for free logics with descriptions
由: Indrzejczak, A, et al.
出版: (2021)

Combining Description Logics, Description Graphs, and Rules.
由: Motik, B
出版: (2010)

On the horns of dilemma
由: O. Yu. Kiseleva, et al.
出版: (2018-08-01)

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