W3C home > Mailing lists > Public > semantic-web@w3.org > April 2005

Can individual be inferred?

From: Jeremy Wong 黃泓量 <50263336@student.cityu.edu.hk>
Date: Sun, 03 Apr 2005 12:56:21 +0800
To: semantic-web@w3.org
Message-id: <002201c53809$7b2376b0$0401a8c0@wongkjo9u38gzb> 
Consider the proposed rule for OWL..

{
?P rdfs:domain ?C ;
   rdf:type owl:ObjectProperty .
?C rdf:type owl:Class .
?I ?P ?A .
}
=>
{
?I rdf:type owl:Thing .
}
..

I am not sure if OWL has such kind of entailment.


Jeremy
Received on Sunday, 3 April 2005 05:38:53 GMT

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