A logical toolbox for ontological reasoning.

Andrea Calì Georg Gottlob Thomas Lukasiewicz Andreas Pieris

Published in: SIGMOD Rec. (2011)

Keyphrases

ontological reasoning
domain knowledge
computational properties
ontology matching
logic programming
database
classification accuracy
artificial intelligence
case study
query language
expressive power