Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Haya Majid Qureshi Wolfgang Faber

Published in: Theory Pract. Log. Program. (2024)

Keyphrases

meta reasoning
query language
expressive power
ontology languages
semantic web
deductive databases
genetic algorithm
data model
knowledge representation
logic programming
query evaluation
control knowledge
case based planning
semantic web standards