Re: Axiomatic Semantics of OWL from Peter F. Patel-Schneider on 2004-10-19 (www-rdf-logic@w3.org from October 2004)

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

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 11:54:53 UTC