protected boolean defineIndividual(final ATermAppl c) { _kb.addIndividual(c); return true; }
protected boolean defineIndividual(final ATermAppl c) { _kb.addIndividual(c); return true; }
protected boolean defineIndividual(final ATermAppl c) { _kb.addIndividual(c); return true; }
protected void individuals(final ATermAppl... inds) { for (final ATermAppl ind : inds) _kb.addIndividual(ind); }
@Override public void visit(final OWLAnonymousIndividual ind) { _term = ATermUtils.makeBnode(ind.toStringID()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visit(final OWLAnonymousIndividual ind) { _term = ATermUtils.makeBnode(ind.toStringID()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (!ATermUtils.isLiteral(nominal)) _kb.addIndividual(nominal); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (!ATermUtils.isLiteral(nominal)) _kb.addIndividual(nominal); }
@Override public void visit(final OWLAnonymousIndividual ind) { _term = ATermUtils.makeBnode(ind.toStringID()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visit(final OWLNamedIndividual ind) { _term = ATermUtils.makeTermAppl(ind.getIRI().toString()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visit(final OWLNamedIndividual ind) { _term = ATermUtils.makeTermAppl(ind.getIRI().toString()); if (_addAxioms) _kb.addIndividual(_term); }
@Override public void visit(final OWLNamedIndividual ind) { _term = ATermUtils.makeTermAppl(ind.getIRI().toString()); if (_addAxioms) _kb.addIndividual(_term); }
@Test public void testSameDifferent() { _kb.addIndividual(robert); _kb.addIndividual(bob); _kb.addSame(robert, bob); _kb.addDifferent(robert, bob); assertFalse(_kb.isConsistent()); final Set<ATermAppl> explanation = _kb.getExplanationSet(); assertTrue(explanation.contains(ATermUtils.makeSameAs(robert, bob))); assertTrue(explanation.contains(ATermUtils.makeDifferent(robert, bob))); assertTrue(explanation.size() == 2); }
@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 getAnnotationsCopy() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl s = ATermUtils.makeTermAppl("s"); final ATermAppl p = ATermUtils.makeTermAppl("p"); final ATermAppl o = ATermUtils.makeTermAppl("o"); kb.addIndividual(s); kb.addAnnotationProperty(p); assertTrue(kb.addAnnotation(s, p, o)); assertEquals(Collections.singleton(o), kb.getAnnotations(s, p)); assertEquals(Collections.singleton(o), kb.copy().getAnnotations(s, p)); }
/** * Test explanations for bad datatypes. Not implemented, known to fail. */ @Test public void testDatatypeStatement() { _kb.addDatatypeProperty(ssn); _kb.addIndividual(robert); final ATermAppl ssn1 = ATermUtils.makeTypedLiteral("bob", XSD.nonNegativeInteger.toString()); _kb.addPropertyValue(ssn, robert, ssn1); assertFalse(_kb.isConsistent()); final Set<ATermAppl> explanation = _kb.getExplanationSet(); assertTrue(explanation.contains(ATermUtils.makePropAtom(ssn, robert, ssn1))); }
@Test public void testRuleIndividuals() { final ATermAppl c = term("C"), d = term("D"), i = term("i"); _kb.addClass(c); _kb.addClass(d); _kb.addIndividual(i); _kb.addType(i, c); _kb.addRule(new Rule(Arrays.asList(new RuleAtom[] { new ClassAtom(d, new AtomIConstant(i)) }), Arrays.asList(new RuleAtom[] { new ClassAtom(c, new AtomIConstant(i)) }))); _kb.realize(); assertTrue(_kb.getTypes(i).contains(Collections.singleton(d))); }
@Test /** * Tests if the value of a given annotation property is propagated to its superproperty */ public void testSubAnnotationPropertyOfAxiom1() { kb.addIndividual(i); kb.addAnnotationProperty(p1); kb.addAnnotationProperty(p2); kb.addSubProperty(p1, p2); kb.addAnnotation(i, p1, o1); assertEquals(kb.getPropertyValues(p1), kb.getPropertyValues(p2)); }
@Test public void testReflexive2() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl a = term("a"); final ATermAppl c = term("c"); final ATermAppl r = term("r"); kb.addIndividual(a); kb.addClass(c); kb.addSubClass(c, all(r, BOTTOM)); kb.addSubClass(c, oneOf(a)); kb.addObjectProperty(r); kb.addReflexiveProperty(r); assertSatisfiable(kb, c, false); }
@Test public void addAnnotation1() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl s = ATermUtils.makeTermAppl("i"); final ATermAppl p = ATermUtils.makeTermAppl("p"); final ATermAppl o = ATermUtils.makePlainLiteral("o"); kb.addIndividual(s); kb.addAnnotationProperty(p); assertTrue(kb.addAnnotation(s, p, o)); assertTrue(kb.isIndividual(s)); assertTrue(kb.isAnnotationProperty(p)); assertFalse(kb.isIndividual(o)); }