Formal Semantics of OWL-S with Rewrite Logic.
Ning HuangXiaojuan WangCamilo RochaPublished in: J. Softw. Eng. Appl. (2009)
Keyphrases
- formal semantics
- formal language
- epistemic logic
- operational semantics
- logical reasoning
- logical language
- modeling language
- logic programming
- modal logic
- theorem prover
- modelling language
- databases
- owl dl ontology
- automated reasoning
- first order logic
- database
- ontology languages
- computational properties
- logical framework
- open source