Sorry, about my last mail, hit the send key inadvertently. Here is the problem:
Hi, I am struggling to understand the usage of this idiom: reasoner = reasoner.bindSchema(schema); InfModel infModel = ModelFactory.createInfModel( reasoner, data ); when using separate models for tbox ( schema ) and abox ( data ). I am posting the data and the code, sorry if this is a bit long, but I think it is required to understand the question. This is schema.owl: @prefix : <http://localhost/boc#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix xml: <http://www.w3.org/XML/1998/namespace> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @base <http://localhost/boc> . <http://localhost/boc> rdf:type owl:Ontology . ################################################################# # # Classes # ################################################################# ### http://localhost/boc#Mother :Mother rdf:type owl:Class ; rdfs:subClassOf :Woman . ### http://localhost/boc#Woman :Woman rdf:type owl:Class . ### Generated by the OWL API (version 3.4.4.owlapi-parent-3.4.4-3-g757b63c) http://owlapi.sourceforge.net and this is data.owl: @prefix : <http://localhost/boc#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix xml: <http://www.w3.org/XML/1998/namespace> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @base <http://localhost/boc> . <http://localhost/boc> rdf:type owl:Ontology . ################################################################# # # Classes # ################################################################# ### http://localhost/boc#Mother :Mother rdf:type owl:Class . ################################################################# # # Individuals # ################################################################# ### http://localhost/boc#Mary :Mary rdf:type :Mother , owl:NamedIndividual . ### Generated by the OWL API (version 3.4.4.owlapi-parent-3.4.4-3-g757b63c) http://owlapi.sourceforge.net >From these models, a reasoner can infer that the Individual Mary is a Woman. When I use the bindSchema method on the reasoner ( as explained on the Jena website ), the program runs and the model is validated, but there is no inference ( ie. Mary is not listed as a Woman ): String base = "http://localhost/boc";; com.hp.hpl.jena.reasoner.Reasoner reasoner = org.mindswap.pellet.jena.PelletReasonerFactory.theInstance().create(); OntModel data = ModelFactory.createOntologyModel( OntModelSpec.OWL_DL_MEM); InputStream is = FileManager.get().open("data.owl"); data.read( is, base, "TURTLE" ); OntModel schema = ModelFactory.createOntologyModel( OntModelSpec.OWL_DL_MEM ); is = FileManager.get().open("schema.owl"); schema.read( is, base, "TURTLE" ); // this is the thing that does not trigger inference as expected reasoner = reasoner.bindSchema(schema); InfModel infModel = ModelFactory.createInfModel( reasoner, data ); ValidityReport report = infModel.validate(); assert ( report.isClean() ); System.out.println("All Mary related statements :"); Resource mary = infModel.createResource(base+"#Mary"); printStatements(infModel, mary, null, null); } public void printStatements(InfModel m, Resource s, Property p, Resource o) { for (StmtIterator i = m.listStatements(s,p,o); i.hasNext(); ) { Statement stmt = i.nextStatement(); System.out.println(" - " + PrintUtil.print(stmt)); } } This prints: Realizing: 33% complete in 00:00 Realizing: 66% complete in 00:00 Realizing: 100% complete in 00:00 Realizing finished in 00:00 - (http://localhost/boc#Mary rdf:type owl:Thing) - (http://localhost/boc#Mary rdf:type http://localhost/boc#Mother) - (http://localhost/boc#Mary owl:sameAs http://localhost/boc#Mary) - (http://localhost/boc#Mary rdf:type owl:NamedIndividual) => - (http://localhost/boc#Mary rdf:type http://localhost/boc#Woman ) is missing What am I missing ? Thanks for your time. mycircuit On 27 June 2013 10:12, mycircuit <mycirc...@sunrise.ch> wrote: > Hi, I am struggling to understand the usage of this idiom: > > reasoner = reasoner.bindSchema(schema); > InfModel infModel = ModelFactory.createInfModel( reasoner, data ); > >
