[Pellet-users] Doubt about inferences..

[Fernando Wagner]

Hello Evren..

Thanks for the answers.. I´m using Jena and i´m not interessed to use
SPARQL(not yet)... i wanna make the program only using Pellet command
line...

I saw the examples in examples directory and RulesExample.java is so good
for me and solution of my TASK :)

But you have Said: "For example, put the (John uncle Mary) triple in a file
and use the Pellet command-line program to check for entailments"

My questions are: What kind of File? You have an example for this case?



2008/6/11 Evren Sirin <evren at clarkparsia.com>:

> 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/
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080611/1ab081c9/attachment-0001.htm