- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Fri, 04 Jan 2002 13:49:45 -0500
- To: jos.deroo.jd@belgium.agfa.com
- Cc: www-webont-wg@w3.org
OK, now here is the midterm exam. :-) -2/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:hasValue rdfs:Class . rdf:Property a _:1 . -1/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:hasValue rdfs:Class . _:2 owl:complementOf _:1 . rdf:type a _:2 . 1/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:hasValue _:1 . _:1 a _:1 . 2/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:hasValue _:1 . _:2 complementOf _:1 . _:2 a _:2 . 3/ Does <an empty set of premises> imply _:1 a owl:Restriction . _:1 owl:onProperty rdf:type . _:1 owl:maxCardinalityQ 0 . _:1 owl:hasClassQ _:2 . _:2 oneOf _:3 . _:3 owl:first _:1 . _:3 owl:rest owl:nil . _:1 a _:1 .
Received on Friday, 4 January 2002 13:49:56 UTC