public JenaOWLReasoningService() { super(ReasonerRegistry.getOWLReasoner()); }
public JenaOWLReasoningService() { super(ReasonerRegistry.getOWLReasoner()); }
void applyReasoning(Reasoning r) { switch(r) { case rdfs: this.jenaModel = ModelFactory.createRDFSModel(this.jenaModel); break; case owl: this.jenaModel = ModelFactory.createInfModel(ReasonerRegistry.getOWLReasoner(), this.jenaModel); break; default: break; } }
System.out.println("Trying to load " + schemaowl.toString()); Model schema1 = FileManager.get().loadModel(schemaowl.toString()); Reasoner reasoner = ReasonerRegistry.getOWLReasoner(); Reasoner reasonerAll = ReasonerRegistry.getOWLReasoner();
public static void testData(String dataF, String schemaF) { Model schema = FileManager.get().loadModel(schemaF); Reasoner reasoner = ReasonerRegistry.getOWLReasoner(); reasoner.bindSchema(schema); Model data = FileManager.get().loadModel(dataF); InfModel model = ModelFactory.createInfModel(reasoner, data); ValidityReport rep = model.validate(); getValidityOutput(rep); Resource res = model.getResource("http://www.semanticweb.org/ontologies/2013/8/untitled-ontology-45#Image1"); System.out.println("Image types:"); printStatements(model, res, RDF.type, null); }