Re: Peter's example

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 .