Standard OIL extends OIL-Lite with the possibility to define
instances of classes and roles. These definitions are of the form
(**instance-of**
) and (**related**
), where (possibly subscripted) is a class expression, is a
slot name and and are individual names. An axiom
(**instance-of**
) is equivalent to
(**instance-of** (
). These
axioms are simply treated as ``syntactic sugar'' for axioms of the
form

Ian Horrocks 2000-09-10