@Override public Reasoner bindSchema(final Graph graph) throws ReasonerException { return new PelletReasoner(graph, _reasonerCapabilities); }
@Override public Reasoner bindSchema(final Graph graph) throws ReasonerException { return new PelletReasoner(graph, _reasonerCapabilities); }
@Override public Reasoner bindSchema(final Graph graph) throws ReasonerException { return new PelletReasoner(graph, _reasonerCapabilities); }
public Reasoner bindFixedSchema(final Graph graph) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(graph, _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
public Reasoner bindFixedSchema(final Graph graph) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(graph, _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
public Reasoner bindFixedSchema(final Graph graph) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(graph, _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
public PelletReasoner create() { return new PelletReasoner(getCapabilities()); }
public PelletReasoner create() { return new PelletReasoner(getCapabilities()); }
public PelletReasoner create() { return new PelletReasoner(getCapabilities()); }
public Reasoner bindFixedSchema(final Model model) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(model.getGraph(), _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
@Override public PelletReasoner create(final Resource configuration) { return new PelletReasoner(null != configuration ? configuration.getModel() : getCapabilities()); }
public Reasoner bindFixedSchema(final Model model) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(model.getGraph(), _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
@Override public PelletReasoner create(final Resource configuration) { return new PelletReasoner(null != configuration ? configuration.getModel() : getCapabilities()); }
@Override public PelletReasoner create(final Resource configuration) { return new PelletReasoner(null != configuration ? configuration.getModel() : getCapabilities()); }
public Reasoner bindFixedSchema(final Model model) throws ReasonerException { final PelletReasoner reasoner = new PelletReasoner(model.getGraph(), _reasonerCapabilities); reasoner.setFixedSchema(true); return reasoner; }
@Test public void testPropertyRestrictionsInSuperclasses() { final String ns = "urn:test:"; final OntModelSpec spec = new OntModelSpec(OntModelSpec.OWL_DL_MEM); spec.setReasoner(new PelletReasoner()); final OntModel model = ModelFactory.createOntologyModel(spec, null); final OntClass X = model.createClass(ns + "X"); final ObjectProperty hasX = model.createObjectProperty(ns + "hasX"); final OntClass AllX = model.createAllValuesFromRestriction(null, hasX, X); final OntClass Y = model.createIntersectionClass(ns + "Y", model.createList(new RDFNode[] { X, AllX })); assertTrue("AllX is not a superclass of Y", Y.hasSuperClass(AllX)); }
@Test public void testHasValueReasoning() { final String ns = "urn:test:"; final OntModelSpec spec = new OntModelSpec(OntModelSpec.OWL_DL_MEM); spec.setReasoner(new PelletReasoner()); final OntModel model = ModelFactory.createOntologyModel(spec, null); final OntClass HomeOwner = model.createClass(ns + "HomeOwner"); final Individual bob = model.createIndividual(ns + "bob", HomeOwner); final ObjectProperty hasNeighbor = model.createObjectProperty(ns + "hasNeighbor"); final OntClass NeighborOfBob = model.createClass(ns + "NeighborOfBob"); NeighborOfBob.addEquivalentClass(model.createHasValueRestriction(null, hasNeighbor, bob)); final Individual susan = model.createIndividual(ns + "susan", HomeOwner); susan.setPropertyValue(hasNeighbor, bob); // model.write(System.out, "RDF/XML-ABBREV"); assertTrue("susan is not a NeighborOfBob", susan.hasRDFType(NeighborOfBob)); }
@Test public void testSameAs2() { final OntModelSpec ontModelSpec = new OntModelSpec(OntModelSpec.OWL_DL_MEM_RULE_INF); ontModelSpec.setReasoner(new PelletReasoner()); final OntModel model = ModelFactory.createOntologyModel(ontModelSpec); final Individual i1 = model.createIndividual("http://test#i1", OWL.Thing); final Individual i2 = model.createIndividual("http://test#i2", OWL.Thing); final Property prop = model.createProperty("http://test#prop"); i1.addProperty(prop, "test"); i1.addSameAs(i2); // confirm that sameAs was created assertTrue(i1.isSameAs(i2)); // confirm that symmetric sameAs inferred assertTrue(i2.isSameAs(i1)); // confirm that the property is there assertTrue(i1.hasProperty(prop, "test")); // confirm that the property is there when querying with a predicate assertIteratorContains(i1.listProperties(), model.createStatement(i1, prop, "test")); // confirm that the property is copied over when querying with a // predicate assertTrue(i2.hasProperty(prop, "test")); // confirm that the property is copied over when querying with a // predicate assertIteratorContains(i2.listProperties(), model.createStatement(i2, prop, "test")); }
@Test public void testSameAs3() { final OntModelSpec ontModelSpec = new OntModelSpec(OntModelSpec.OWL_DL_MEM_RULE_INF); ontModelSpec.setReasoner(new PelletReasoner()); final OntModel model = ModelFactory.createOntologyModel(ontModelSpec); final Individual i1 = model.createIndividual("http://test#i1", OWL.Thing); final Individual i2 = model.createIndividual("http://test#i2", OWL.Thing); final OntClass c = model.createEnumeratedClass("http://test#C", model.createList(new RDFNode[] { i1, i2 })); final Individual i3 = model.createIndividual("http://test#i3", c); assertTrue(!i1.isSameAs(i2)); assertTrue(!i1.isSameAs(i3)); assertIteratorValues(i1.listSameAs(), new Resource[] { i1 }); assertTrue(!i2.isSameAs(i1)); assertTrue(!i2.isSameAs(i3)); assertIteratorValues(i2.listSameAs(), new Resource[] { i2 }); assertTrue(!i3.isSameAs(i1)); assertTrue(!i3.isSameAs(i2)); assertIteratorValues(i3.listSameAs(), new Resource[] { i3 }); }