about last question

The swrl example:

hasParent(?x1, ?x2)  กฤ  hasBrother(?x2, ?x3)  =>  hasUncle(?x1, ?x3)

can I only use OWL to assert these?

 

Thanks in advance!

 

Best regards,

Zhu Bin

Received on Monday, 8 December 2003 02:59:22 UTC