JOURNAL ARTICLE
Large-scale Ontological Reasoning via Datalog
Year: 2020 Journal: arXiv (Cornell University) Publisher: Cornell University
Abstract
Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-$\mathcal{SHIQ}$ knowledge bases and its implementation in DLV2 enanched by a new version of the Magic Sets algorithm.
Keywords:
Datalog Computer science Description logic Task (project management) Web Ontology Language Artificial intelligence Programming language Theoretical computer science Semantic Web
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Natural Language Processing Techniques
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Well-founded semantics for extended datalog and ontological reasoning
André HernichClemens KupkeThomas LukasiewiczGeorg Gottlob
Year: 2013 Pages: 225-236
JOURNAL ARTICLE
Debugging Large-scale Datalog
David ZhaoPavle SubotićBernhard Scholz
Journal: ACM Transactions on Programming Languages and Systems Year: 2020 Vol: 42 (2)Pages: 1-35
BOOK-CHAPTER
Ontological Reasoning over Shy and Warded Datalog+/– for Streaming-Based Architectures
Teodoro BaldazziLuigi BellomariniMarco FavoritoEmanuel Sallinger
Lecture notes in computer science Year: 2023 Pages: 169-185
BOOK-CHAPTER
Augmenting Datalog$$^{\frac{+}{}}$$ with Customizable Metalogic Features for Powerful Ontological Reasoning
Stefania CostantiniAndrea Formisano
Lecture notes in computer science Year: 2019 Pages: 30-45