Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
暂无分享,去创建一个
[1] Sebastian Rudolph,et al. Walking the Complexity Lines for Generalized Guarded Existential Rules , 2011, IJCAI.
[2] Magdalena Ortiz,et al. Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates , 2016, IJCAI.
[3] Markus Krötzsch. Efficient Rule-Based Inferencing for OWL EL , 2011, IJCAI.
[4] Thomas Eiter,et al. Query Rewriting for Horn-SHIQ Plus Rules , 2012, AAAI.
[5] Sebastian Rudolph,et al. Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog , 2012, Log. Methods Comput. Sci..
[6] Ian Horrocks,et al. Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.
[7] Michaël Thomazo,et al. Sound, complete and minimal UCQ-rewriting for existential rules , 2013, Semantic Web.
[8] Sebastian Rudolph,et al. Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 , 2010, KR.
[9] Chasing Sets : How to Use Existential Rules for Expressive Reasoning IJCAI Submission , 2019 .
[10] Boris Motik,et al. Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..
[11] Patrick Koopmann,et al. From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment , 2019, Description Logics.
[12] Yavor Nenov,et al. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems , 2014, AAAI.
[13] Luigi Bellomarini,et al. The Vadalog System: Datalog-based Reasoning for Knowledge Graphs , 2018, Proc. VLDB Endow..
[14] Yevgeny Kazakov,et al. From Polynomial Procedures to Efficient Reasoning with EL Ontologies , 2013 .
[15] Jacopo Urbani,et al. Efficient Model Construction for Horn Logic with VLog - System Description , 2018, IJCAR.
[16] Markus Krötzsch,et al. The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) , 2019, Description Logics.
[17] Boris Motik,et al. Reasoning in Description Logics by a Reduction to Disjunctive Datalog , 2007, Journal of Automated Reasoning.