Fri Nov 14 2003

OWL

OWL tiny ++
  transitive, symmetric, inversseof
  sameas, different from
  ifp, fp

       - tricky bit is equality (transitive, symmetric)

advantages
no  class definitions
no restrictions


OWL lite
    min and max cardinality
    same/all values from [tricky bit again, equality]


owl DL
  classes by enumeration - oneOf
  disjoint classes
  plug in reasoners++
  ... lots more ...


OWL Full+
  "allowed to mess with the furniture"


---

extensions to owl (looking at the owl issues list for postponed)

 - cannot do cousins
 - cross properties