Towards Formal Semantics for ODRL.

Markus Holzer Stefan Katzenbeisser Christian Schallhart

Published in: ODRL Workshop (2004)

Keyphrases

formal semantics
er model
logical language
operational semantics
modeling language
first order logic
logical reasoning
formal language
modelling language
theorem prover
ontology languages
database
data management
query evaluation
database management systems
epistemic logic
databases