Formal Semantics
- DAML+OIL has a formal semantics expressed in 2 forms:
- model-theoretic
- a set-theoretic representation
- axiomatic
- this is expressed in KIF,
and can be directly processed by some reasoners
- the formal semantics is expected to result in
- a better specification
- more consistent and reliable implementations