Cali, A.: Ontology querying : datalog strikes back (2017)
0.00
0.002035109 = product of:
0.004070218 = sum of:
0.004070218 = product of:
0.008140436 = sum of:
0.008140436 = weight(_text_:a in 3928) [ClassicSimilarity], result of:
0.008140436 = score(doc=3928,freq=12.0), product of:
0.043477926 = queryWeight, product of:
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.037706986 = queryNorm
0.18723148 = fieldWeight in 3928, product of:
3.4641016 = tf(freq=12.0), with freq of:
12.0 = termFreq=12.0
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.046875 = fieldNorm(doc=3928)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Abstract
- In this tutorial we address the problem of ontology querying, that is, the problem of answering queries against a theory constituted by facts (the data) and inference rules (the ontology). A varied landscape of ontology languages exists in the scientific literature, with several degrees of complexity of query processing. We argue that Datalog±, a family of languages derived from Datalog, is a powerful tool for ontology querying. To illustrate the impact of this comeback of Datalog, we present the basic paradigms behind the main Datalog± as well as some recent extensions. We also present some efficient query processing techniques for some cases.
- Type
- a