DAML-OIL-WebOnt-OWL
properties of properties (verbs)
Uniqueness, Unambigious,
Transitive
Inverse
Cardinality, etc
-> Smarter query procesing
Tim Berners-Lee
13 of 18