- From: Aaron Michal <amichal@intellidimension.com>
- Date: Mon, 2 Jul 2001 18:58:47 -0400
- To: "Dan Connolly" <connolly@w3.org>, "www-rdf-logic" <www-rdf-logic@w3.org>
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)
Received on Monday, 2 July 2001 18:55:15 UTC