Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

We propose a novel, type-elimination-based method for standard reasoning in the description logic SHIQbs extended by DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OB...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Rudolph, S, Krötzsch, M, Hitzler, P
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2012

Míreanna comhchosúla

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
de réir: Sebastian Rudolph, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2008)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
de réir: Hustadt, U, et al.
Foilsithe / Cruthaithe: (2007)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

On the Semantic Relationship between Datalog and Description Logics.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2010)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
de réir: Cristina Feier, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Disjunctive Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Complexities of Horn Description Logics.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2013)

Adding Disjunction to Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

Complexity Boundaries for Horn Description Logics.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2007)

Cheap Boolean Role Constructors for Description Logics.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2008)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Consequence-based reasoning for description logics with disjunctions and number restrictions
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
de réir: Bate, A, et al.
Foilsithe / Cruthaithe: (2018)

Efficient OWL Reasoning with Logic Programs - Evaluations.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2007)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
de réir: Cucala, D, et al.
Foilsithe / Cruthaithe: (2017)

Complexity and expressive power of disjunction and negation in limit datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2020)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
de réir: Cucala, D, et al.
Foilsithe / Cruthaithe: (2018)

Approximate OWL-Reasoning with Screech.
de réir: Tserendorj, T, et al.
Foilsithe / Cruthaithe: (2008)

How to reason with OWL in a logic programming system.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2006)

Nominal Schemas for Integrating Rules and Description Logics.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2011)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

Optimised storage for datalog reasoning
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2024)

Stream reasoning with DatalogMTL
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2023)

Stream reasoning in temporal datalog
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2018)

Reasoning techniques in DatalogMTL
de réir: Wałega, PA, et al.
Foilsithe / Cruthaithe: (2022)

Enhancing datalog reasoning with hypertree decompositions
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2023)

Description logics
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2013)

Causal Models of Disjunctive Logic Programs
de réir: Dix, J, et al.
Foilsithe / Cruthaithe: (1994)

An alternative rule of disjunction in modal logic
de réir: Williamson, T
Foilsithe / Cruthaithe: (1992)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)

Ontology module extraction via datalog reasoning
de réir: Romero, AA, et al.
Foilsithe / Cruthaithe: (2015)

Practical reasoning and rule mining with DatalogMTL
de réir: Wang, D
Foilsithe / Cruthaithe: (2024)

Streaming partitioning of RDF graphs for datalog reasoning
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2021)

Hypertableau Reasoning for Description Logics
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Scalable reasoning for description logics
de réir: Shearer, R
Foilsithe / Cruthaithe: (2011)