@Override public boolean isSatisfiable(final OWLClassExpression description) { if (description.isAnonymous() || !isClassified()) return _reasoner.isSatisfiable(description); return !getUnsatisfiableClasses().contains((OWLClass) description); }
@Override public boolean isSatisfiable(final OWLClassExpression description) { if (description.isAnonymous() || !isClassified()) return _reasoner.isSatisfiable(description); return !getUnsatisfiableClasses().contains((OWLClass) description); }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
private boolean isSatisfiable(final OpenlletReasoner pellet, final OWLClassExpression unsatClass, final boolean doExplanation) { pellet.getKB().setDoExplanation(doExplanation); final boolean sat = unsatClass.isOWLThing() ? pellet.isConsistent() : pellet.isSatisfiable(unsatClass); pellet.getKB().setDoExplanation(false); return sat; }
@Test /** * Test for the enhancement required in #252 */ public void testBooleanDatatypeConstructors() { final OWLDatatype nni = XSD.NON_NEGATIVE_INTEGER; final OWLDatatype npi = XSD.NON_POSITIVE_INTEGER; final OWLDatatype ni = XSD.NEGATIVE_INTEGER; final OWLDatatype pi = XSD.POSITIVE_INTEGER; final OWLDatatype f = XSD.FLOAT; final OWLDatatype i = XSD.INTEGER; createReasoner(OWL.declaration(nni), OWL.declaration(npi), OWL.declaration(ni), OWL.declaration(pi), OWL.declaration(f), OWL.declaration(_dq), OWL.range(_dp, OWL.dataAnd(pi, ni))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, pi))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataNot(pi)))); assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(pi, ni)))); assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(f, OWL.dataOr(pi, ni))))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(npi, ni)))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(nni, pi)))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataOr(nni, npi)))); assertTrue(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(nni, npi)))); assertFalse(_reasoner.isSatisfiable(OWL.some(_dq, OWL.dataAnd(pi, OWL.restrict(i, OWL.maxExclusive(0)))))); assertFalse(_reasoner.isSatisfiable(OWL.some(_dp, XSD.ANY_TYPE))); }