Optimizing Horn- $$\mathcal {SHIQ}$$ Reasoning for OBDA
- 17 October 2019
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion EntailmentProceedings of the AAAI Conference on Artificial Intelligence, 2019
- Fast Query Answering over Existential RulesACM Transactions on Computational Logic, 2019
- Query inseparability for ontologiesArtificial Intelligence, 2019
- Ontology-Based Data Access to SleggeLecture Notes in Computer Science, 2017
- Query and Predicate Emptiness in Ontology-Based Data AccessJournal of Artificial Intelligence Research, 2016
- Games for query inseparability of description logic knowledge basesArtificial Intelligence, 2016
- Efficient SPARQL-to-SQL with R2RML mappingsJournal of Web Semantics, 2015
- Ontology-Mediated Query Answering with Data-Tractable Description LogicsPublished by Springer Science and Business Media LLC ,2015
- An Exact Fast Algorithm for Minimum Hitting SetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite FamilyJournal of Automated Reasoning, 2007