[Pellet-users] Doubt about inferences..

[Evren Sirin]

On 6/9/08 11:42 AM, Fernando Wagner wrote:
> 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)
>
>

Sure, there are many different ways to do that. For example, put the 
(John uncle Mary) triple in a file and use the Pellet command-line 
program to check for entailments (by passing the file in 
-conclusionsFile option, try -help option to learn more about the 
options). You can use a SPARQL ASK query and run it through Pellet 
(though command line does not support ASK queries so you need to do that 
programmatically). You can also do this using Pellet through Jena or 
OWLAPI libraries. See the examples directory showing example programs 
using those libraries.

> In case afirmative, Pellet consider SWRL Rules(if ontology have some 
> rules in SWRL) ? 

Yes, it will.

> (I suppose that ABox class is the way.. or not?)

If you are asking about the ABox class in the source code then it is not 
really related. It is a rather low level class that you shouldn't use. 
KnowledgeBase class provides functions to query the ontology but that is 
not very user-friendly either so I would suggest to stick with OWLAPI or 
Jena.

Cheers,
Evren
>
> thanks...
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/