[Pellet-users] Doubt about inferences..

[Fernando Wagner]

Hello Friends..

Given an object property (OntProperty) and 2 instances(Individuals), have
any way to show  if the instances link themselves through the object
property?
For Example:
If I put:

John    IS UNCLE     Mary

Pellet will answer something like that:

Yes      (or No if sentence is False)


In case afirmative, Pellet consider SWRL Rules(if ontology have some rules
in SWRL) ? (I suppose that ABox class is the way.. or not?)

thanks...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080609/cef79eaa/attachment.htm