[Pellet-users] Resp.: Doubt about inferences..

[Michael Smith]

On Thu, 2008-06-12 at 17:25 -0300, Fernando Wagner wrote:

> I´ve already using PelletOptions.USE_CONTINUOUS_RULES = true but the i still have to wait much time... have another option to use?

No.

> I´m not still understand this(said from Evren): 
> 
> "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). "
> 
> What kind of file?? Can you make an example??

Evren was referring to using Pellet from the command line interface
(org.mindswap.pellet.Pellet).  When using Pellet through this interface
users often provide input in RDF/XML files.

[1], [2] and [3] provide OWL ontologies serialized in RDF/XML.

-- 
Mike S

[1] http://owl.cs.manchester.ac.uk/repository/browser
[2] http://protegewiki.stanford.edu/index.php/Protege_Ontology_Library#OWL_ontologies
[3] http://code.google.com/p/owl1-1/wiki/ExampleOntologies