W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2004

Re: Axiomatic Semantics of OWL

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 19 Oct 2004 11:31:14 -0400 (EDT)
Message-Id: <20041019.113114.13446213.pfps@research.bell-labs.com>
To: waldinger@ai.sri.com
Cc: waldinger@kestrel.edu, www-rdf-logic@w3.org

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 GMT

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