Cali, A.: Ontology querying : datalog strikes back (2017)
0.00
8.63584E-4 = product of:
0.003454336 = sum of:
0.003454336 = product of:
0.010363008 = sum of:
0.010363008 = weight(_text_:a in 3928) [ClassicSimilarity], result of:
0.010363008 = score(doc=3928,freq=12.0), product of:
0.055348642 = queryWeight, product of:
1.153047 = idf(docFreq=37942, maxDocs=44218)
0.04800207 = 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.33333334 = coord(1/3)
0.25 = coord(1/4)
- 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