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 08:01:41 -0400 (EDT)
Message-Id: <20041019.080141.20046806.pfps@research.bell-labs.com>
To: waldinger@ai.sri.com
Cc: waldinger@kestrel.edu, www-rdf-logic@w3.org

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.

Received on Tuesday, 19 October 2004 11:54:53 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:43 UTC