W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

OWL question

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 26 Sep 2002 21:46:48 -0500
Message-Id: <p05111b6eb9b975b0053a@[65.217.30.172]>
To: pfps@research.bell-labs.com, Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: www-webont-wg@w3.org

Guys, should the following entailment be valid? (Intuitively, I mean; 
Im looking for guidance here.)

AAA rdf:type owl:Restriction .
AAA owl:sameClassAs owl:Nothing .

?entails?

AAA owl:cardinality <xsd:integer: 0>

More generally, are there any valid OWL entailments with a conclusion 
of the form

AAA <restriction-property> BBB .

but the antecedent does not mention a restriction property? I ask 
because the only-if semantic conditions on restrictions seem to 
suggest not, which seems odd.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
Received on Thursday, 26 September 2002 22:46:34 GMT

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