boolean consistent = pelletJenaGraph.isConsistent(); long e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)"); consistent = pelletJenaGraph.isConsistent(); e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)"); consistent = pelletJenaGraph.isConsistent(); e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)");
boolean consistent = pelletJenaGraph.isConsistent(); long e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)"); consistent = pelletJenaGraph.isConsistent(); e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)"); consistent = pelletJenaGraph.isConsistent(); e = System.currentTimeMillis(); System.out.println("Consistent? " + consistent + " (" + (e - s) + "ms)");
public void assertInconsistent() { assertFalse(((PelletInfGraph) _reasoner.getGraph()).isConsistent()); } }
public void assertConsistent() { assertTrue(((PelletInfGraph) _reasoner.getGraph()).isConsistent()); }
private static boolean checkEntailment(final PelletInfGraph pellet, final Triple pattern, final boolean withExplanation) { final boolean doExplanation = pellet.getKB().doExplanation(); pellet.getKB().setDoExplanation(withExplanation); boolean entailed = false; if (pattern.equals(INCONCISTENCY_TRIPLE)) entailed = !pellet.isConsistent(); else entailed = pellet.containsTriple(pattern); pellet.getKB().setDoExplanation(doExplanation); return entailed; }
private static boolean checkEntailment(final PelletInfGraph pellet, final Triple pattern, final boolean withExplanation) { final boolean doExplanation = pellet.getKB().doExplanation(); pellet.getKB().setDoExplanation(withExplanation); boolean entailed = false; if (pattern.equals(INCONCISTENCY_TRIPLE)) entailed = !pellet.isConsistent(); else entailed = pellet.containsTriple(pattern); pellet.getKB().setDoExplanation(doExplanation); return entailed; }
private static boolean checkEntailment(final PelletInfGraph pellet, final Triple pattern, final boolean withExplanation) { final boolean doExplanation = pellet.getKB().doExplanation(); pellet.getKB().setDoExplanation(withExplanation); boolean entailed = false; if (pattern.equals(INCONCISTENCY_TRIPLE)) entailed = !pellet.isConsistent(); else entailed = pellet.containsTriple(pattern); pellet.getKB().setDoExplanation(doExplanation); return entailed; }
@Ignore("Inverse functional datatype property support conflicts with changes in r2442 and 2443") @Test public void testInfiniteChainDP() { final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); model.read(_base + "infiniteChainDP.owl"); assertFalse(((PelletInfGraph) model.getGraph()).isConsistent()); final String ns = "http://www.example.org/test#"; final Property prop = model.getBaseModel().getProperty(ns + "ssn"); prop.removeAll(RDFS.range); model.rebind(); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); }
@Test public void testDataPropCard1() { final String ns = "urn:test:"; final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); final DatatypeProperty prop = model.createDatatypeProperty(ns + "prop"); final OntClass C = model.createClass(ns + "C"); C.addSuperClass(model.createCardinalityRestriction(null, prop, 2)); final Individual x = model.createIndividual(ns + "x", C); x.addProperty(prop, "literal"); model.prepare(); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); }
@Test public void testTopBottomPropertyAssertion() { final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC, null); final Resource a = model.createResource("a", OWL.Thing); final Resource b = model.createResource("b", OWL.Thing); final Literal lit = model.createLiteral("l"); final Statement[] stats = new Statement[] { model.createStatement(a, OWL2.topObjectProperty, b), model.createStatement(a, OWL2.topDataProperty, lit), model.createStatement(a, OWL2.bottomObjectProperty, b), model.createStatement(a, OWL2.bottomDataProperty, lit) }; for (int i = 0; i < stats.length; i++) { model.add(stats[i]); model.prepare(); assertEquals(i < 2, ((PelletInfGraph) model.getGraph()).isConsistent()); model.remove(stats[i]); } }
@Test public void testInfiniteChain() { final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); model.setStrictMode(false); model.read(_base + "infiniteChain.owl"); model.prepare(); assertFalse(((PelletInfGraph) model.getGraph()).getKB().isConsistent()); final String ns = "http://www.example.org/test#"; final Property prop = model.getBaseModel().getProperty(ns + "ssn"); prop.removeAll(RDFS.range); model.rebind(); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); }
@Test public void testBuiltinDatatypesWithCardinalityRestriction() { final String ns = "urn:test:"; final DatatypeReasoner dtReasoner = new DatatypeReasonerImpl(); for (final ATermAppl uri : dtReasoner.listDataRanges()) { final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); final DatatypeProperty prop = model.createDatatypeProperty(ns + "prop"); final Resource datatype = model.createResource(uri.getName()); prop.addRange(datatype); final OntClass C = model.createClass(ns + "C"); final int cardinality = datatype.equals(XSD.xboolean) ? 2 : 10; C.addSuperClass(model.createCardinalityRestriction(null, prop, cardinality)); model.createIndividual(ns + "x", C); model.prepare(); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); } }
assertFalse(((PelletInfGraph) model.getGraph()).isConsistent()); assertTrue(OpenlletOptions.USE_THREADED_KERNEL || graph.getKB().getTimers().getTimer(ABox.IS_INC_CONSISTENT).get().getCount() > 0); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); assertTrue(OpenlletOptions.USE_THREADED_KERNEL || graph.getKB().getTimers().getTimer(ABox.IS_INC_CONSISTENT).get().getCount() == 0); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); assertTrue(OpenlletOptions.USE_THREADED_KERNEL || graph.getKB().getTimers().getTimer(ABox.IS_INC_CONSISTENT).get().getCount() == 0);