Rules and Queries with Ontologies: a Unifying Logical Framework.

Sergio Tessaris Enrico Franconi

Published in: Description Logics (2005)

Keyphrases

logical framework
query optimisation
inference rules
semantic query
query processing
belief revision
query language
semantic web
normative systems
knowledge base
epistemic logic
reasoning tasks
knowledge representation
data mining
data sources
linear logic
data model