[Pellet-users] Unknown term type: value

[Fernando Bobillo]

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