@Override public void visit(final OWLIrreflexiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } addSimpleProperty(axiom.getProperty()); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addIrreflexiveProperty(p); }
@Override public void visit(final OWLIrreflexiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } addSimpleProperty(axiom.getProperty()); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addIrreflexiveProperty(p); }
@Override public void visit(final OWLIrreflexiveObjectPropertyAxiom axiom) { if (!_addAxioms) { _reloadRequired = true; return; } addSimpleProperty(axiom.getProperty()); axiom.getProperty().accept(this); final ATermAppl p = _term; _kb.addIrreflexiveProperty(p); }
@Test public void testIrreflexive() { objectProperties(_p, _q); _kb.addIrreflexiveProperty(_p); assertTrue(_kb.isConsistent()); assertTrue(_kb.isIrreflexiveProperty(_p)); }
@Test public void irreflexiveSH() { // test #433 objectProperties(_p); _kb.addIrreflexiveProperty(inv(_p)); assertTrue(_kb.isConsistent()); assertTrue(_kb.isIrreflexiveProperty(_p)); }
@Test public void testIrreflexive() { _kb.addObjectProperty(mbox); _kb.addIrreflexiveProperty(mbox); _kb.addIndividual(robert); _kb.addPropertyValue(mbox, robert, robert); assertFalse(_kb.isConsistent()); final Set<ATermAppl> explanation = _kb.getExplanationSet(); assertIteratorValues(explanation.iterator(), new Object[] { ATermUtils.makeIrreflexive(mbox), ATermUtils.makePropAtom(mbox, robert, robert), }); }
@Test public void irreflexivePropertyCausingDifferentFrom() { // test #433 individuals(_a, _b); objectProperties(_p); _kb.addIrreflexiveProperty(_p); _kb.addPropertyValue(_p, _a, _b); assertTrue(_kb.isConsistent()); assertTrue(_kb.isDifferentFrom(_a, _b)); } }
@Test public void testNotIrreflexive() { objectProperties(_p, _q); _kb.addIrreflexiveProperty(_p); _kb.addSubProperty(_p, _q); assertTrue(_kb.isConsistent()); assertTrue(_kb.isIrreflexiveProperty(_p)); assertFalse(_kb.isIrreflexiveProperty(_q)); }
@Test public void minCardinalityOnIrreflexive() { // related to #400 classes(_A); objectProperties(_p); individuals(_a); _kb.addIrreflexiveProperty(_p); _kb.addSubClass(_A, min(_p, 1, TOP)); _kb.addEquivalentClass(_A, oneOf(_a)); _kb.addEquivalentClass(TOP, _A); assertFalse(_kb.isConsistent()); }
if (defineObjectProperty(st)) _kb.addIrreflexiveProperty(st); addSimpleProperty(st, IRREFLEXIVE);
if (defineObjectProperty(st)) _kb.addIrreflexiveProperty(st); addSimpleProperty(st, IRREFLEXIVE);
if (defineObjectProperty(st)) _kb.addIrreflexiveProperty(st); addSimpleProperty(st, IRREFLEXIVE);