Re: Axiomatic Semantics of OWL

Oops, I meant to say

 	owl:Nothing rdf:type _:a .
 	_:a owl:onProperty rdfs:subClassOf .
 	_:a owl:maxCardinality "2"^^xsd:integer .

This, in effect, asserts that there are only two classes, as owl:Nothing is
a subclass of every class.


peter



From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Subject: Re: Axiomatic Semantics of OWL
Date: Tue, 19 Oct 2004 08:01:41 -0400 (EDT)

> 
> If you are interested in seeing how SNARK does on hard problems, try
> it on the translation of
> 
> 	owl:Nothing rdfs:subClassOf _:a .
> 	_:a owl:onproperty rdfs:subClassOf .
> 	_:a owl:maxCardinality "2"^^xsd:integer .
> 
> This forms a contradiction in OWL Full.
> 
> For harder problems, try increasing the maxCardinality.
> 
> 
> peter

Received on Tuesday, 19 October 2004 15:24:24 UTC