Re: A Problem With The Semantics of DAML+OIL Restrictions

Dan Connally:
> Hmm... I consider onProperty and toClass to be
> UniqueProperties, i.e. cardinality 1.
>

If this is the case then what should I infer from my set of triples below,
that the person(x,y) <=> pet(x,y) and Person<=>Animal?

Aaron Michal:
> in other words the "parent" property of a "person" must be another
"person".
> If this is correct then
> the onProperty, toClass, hasValue properties should also apply to the
class
> person (not instances but the class itself) and it should be legal to then
> assert:

> (onProperty Person parent)
> (toClass Person person)
> (onProperty Person pet)
> (toClass Person Animal)