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