- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 26 Sep 2002 21:46:48 -0500
- 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 UTC