Rules and Queries with Ontologies: A Unified Logical Framework.
Enrico FranconiSergio TessarisPublished in: PPSWR (2004)
Keyphrases
- logical framework
- query optimisation
- inference rules
- query language
- semantic query
- belief revision
- query processing
- reasoning tasks
- linear logic
- semantic web
- epistemic logic
- attribute values
- knowledge representation
- owl ontologies
- data sources
- normative systems
- partial order
- probabilistic model
- artificial intelligence