A Unified Logical Framework for Rules (and Queries) with Ontologies.

Enrico Franconi Sergio Tessaris

Published in: Rule Languages for Interoperability (2005)

Keyphrases

logical framework
query optimisation
reasoning tasks
inference rules
semantic query
belief revision
query processing
query language
linear logic
owl ontologies
semantic web
epistemic logic
normative systems
learning algorithm
bayesian networks
attribute values