Theoretical Foundations
- First Order Logic (First Order Predicate Calculus)
is the basis for most Knowledge Representation
- DAML+OIL was heavily influenced by work in Description Logics,
a subset of First Order Logic limited to constructs with tractable
(polynomial time) complexity for key algorithms
- see
http://dl.kr.org
for additional information on Description Logics
- Ian Horrocks provided a good
overview
at a recent workshop
- if you don't find a given feature in DAML+OIL,
it's likely because it can't be supported in DL
- the semantics of DAML+OIL (and later RDF and OWL) have been expressed in 2 forms:
- the formal semantics are expected to result in better specifications and implementations