Soundness proof of Z semantics of OWL using institutions.
Dorel LucanuYuan-Fang LiJin Song DongPublished in: WWW (Special interest tracks and posters) (2005)
Keyphrases
- open world
- owl ontologies
- proof theory
- complete axiomatization
- formal semantics
- owl dl
- logic programming
- theorem prover
- proof theoretic
- higher order logic
- knowledge representation
- theorem proving
- knowledge base
- ontology languages
- knowledge representation language
- rule language
- precise definition
- conceptual model
- semantic information
- default reasoning
- linear logic
- conceptual graphs
- logical rules
- web ontology language
- ontology reasoning
- ontological reasoning