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

It thinks that R1 P2 R2

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Sun, 13 Mar 2005 00:57:31 +0800
To: semantic-web@w3.org
Message-id: <001501c52724$94bf7b50$0401a8c0@wongkjo9u38gzb>

Consider the following statements...

R1 P1 R2
R1 rdf:type C1
R2 rdf:type C2

P2 rdfs:subPropertyOf P1
P2 rdfs:domain C1
P2 rdfs:range C2

My engine thinks that

R1 P2 R2

As it's not a provable inference, the engine may need a scoring system to 
convince itself the last statement is really true. What do you think about 
this kind of "inference" ?


Jeremy 
Received on Saturday, 12 March 2005 16:58:23 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:52 UTC