[Pellet-users] Unknown term type: value

[Evren Sirin]

Thank you very much for the detailed bug report. You were right about 
the bug and this problem has been fixed in our SVN.

Cheers,
Evren

On 5/14/07 11:52 AM, Fernando Bobillo wrote:
> Dear list,
>
> I am using (the last version of) Pellet through Jena DIG interface in 
> order to reason with the Wine ontology 
> (http://www.w3.org/TR/2003/CR-owl-guide-20030818/wine.rdf). I got the 
> following error:
>
>     Unknown term type: 
> value(http://www.w3.org/TR/2003/CR-owl-guide-20030818/wine#White)
>
>   
> The problem is that the method 
> org.mindswap.pellet.utils.ATermUtils.simplify considers some terms to be 
> simplified ("and", "all", "min", "not"), but does not consider "value", 
> which seems to be a bug.
>
> I am using the "DigExample" from Jena documentation with Wine Ontology:
>
>
>     Model cModel = ModelFactory.createDefaultModel();
>     Resource conf = cModel.createResource();
>     conf.addProperty( ReasonerVocabulary.EXT_REASONER_URL, 
> cModel.createResource("http://localhost:8080"));
>
>     // create the reasoner factory and the reasoner
>     DIGReasonerFactory drf = (DIGReasonerFactory) 
> ReasonerRegistry.theRegistry().getFactory(DIGReasonerFactory.URI);
>     DIGReasoner reasoner = (DIGReasoner) drf.create(conf);
>
>     // now make a model
>     OntModelSpec spec = new OntModelSpec(OntModelSpec.OWL_DL_MEM);
>     spec.setReasoner(reasoner);
>     OntModel m = ModelFactory.createOntologyModel(spec, null);
>         
>     // load an input document
>     m.read(""http://www.w3.org/TR/2003/CR-owl-guide-20030818/wine.rdf");
>         
>     // list the inconsistent classes
>     StmtIterator i = m.listStatements( null, OWL.equivalentClass, 
> OWL.Nothing );
>     while (i.hasNext()) {
>         System.out.println( "Class " + i.nextStatement().getSubject() + 
> " is unsatisfiable" );
>     }
>    
>
>     Regards,
>     
>     Fernando Bobillo
>     University of Granada
>
> _______________________________________________
> 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/
>