It thinks that R1 P2 R2

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" ?


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