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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Rudolph, S, Krötzsch, M, Hitzler, P
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	2012

Những quyển sách tương tự

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Bằng: Sebastian Rudolph, et al.
Được phát hành: (2012-02-01)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Bằng: Rudolph, S, et al.
Được phát hành: (2008)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
Bằng: Hustadt, U, et al.
Được phát hành: (2007)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

On the Semantic Relationship between Datalog and Description Logics.
Bằng: Krötzsch, M, et al.
Được phát hành: (2010)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Bằng: Cristina Feier, et al.
Được phát hành: (2019-05-01)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Disjunctive Datalog
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Complexities of Horn Description Logics.
Bằng: Krötzsch, M, et al.
Được phát hành: (2013)

Adding Disjunction to Datalog
Bằng: Eiter, T, et al.
Được phát hành: (1994)

Complexity Boundaries for Horn Description Logics.
Bằng: Krötzsch, M, et al.
Được phát hành: (2007)

Cheap Boolean Role Constructors for Description Logics.
Bằng: Rudolph, S, et al.
Được phát hành: (2008)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Bằng: Cuenca Grau, B, et al.
Được phát hành: (2016)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Bằng: Bate, A, et al.
Được phát hành: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
Bằng: Bate, A, et al.
Được phát hành: (2018)

Efficient OWL Reasoning with Logic Programs - Evaluations.
Bằng: Rudolph, S, et al.
Được phát hành: (2007)

Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
Bằng: Cucala, D, et al.
Được phát hành: (2017)

Complexity and expressive power of disjunction and negation in limit datalog
Bằng: Kaminski, M, et al.
Được phát hành: (2020)

Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals
Bằng: Cucala, D, et al.
Được phát hành: (2018)

Approximate OWL-Reasoning with Screech.
Bằng: Tserendorj, T, et al.
Được phát hành: (2008)

How to reason with OWL in a logic programming system.
Bằng: Krötzsch, M, et al.
Được phát hành: (2006)

Nominal Schemas for Integrating Rules and Description Logics.
Bằng: Krötzsch, M, et al.
Được phát hành: (2011)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
Bằng: Eiter, T, et al.
Được phát hành: (1994)

Optimised storage for datalog reasoning
Bằng: Zhang, X, et al.
Được phát hành: (2024)

Stream reasoning with DatalogMTL
Bằng: Walega, P, et al.
Được phát hành: (2023)

Stream reasoning in temporal datalog
Bằng: Ronca, A, et al.
Được phát hành: (2018)

Reasoning techniques in DatalogMTL
Bằng: Wałega, PA, et al.
Được phát hành: (2022)

Enhancing datalog reasoning with hypertree decompositions
Bằng: Zhang, X, et al.
Được phát hành: (2023)

Description logics
Bằng: Krötzsch, M, et al.
Được phát hành: (2013)

Causal Models of Disjunctive Logic Programs
Bằng: Dix, J, et al.
Được phát hành: (1994)

An alternative rule of disjunction in modal logic
Bằng: Williamson, T
Được phát hành: (1992)

The impact of disjunction on reasoning under existential rules
Bằng: Morak, M
Được phát hành: (2014)

Ontology module extraction via datalog reasoning
Bằng: Romero, AA, et al.
Được phát hành: (2015)

Practical reasoning and rule mining with DatalogMTL
Bằng: Wang, D
Được phát hành: (2024)

Streaming partitioning of RDF graphs for datalog reasoning
Bằng: Ajileye, T, et al.
Được phát hành: (2021)

Hypertableau Reasoning for Description Logics
Bằng: Motik, B, et al.
Được phát hành: (2014)

Scalable reasoning for description logics
Bằng: Shearer, R
Được phát hành: (2011)