W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2002

Re: Peter's example

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
Message-Id: <20020104134945A.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:47 GMT