public void reset() { _kb = new KnowledgeBaseImpl(); } }
public void reset() { _kb = new KnowledgeBaseImpl(); } }
@Test public void bottomDataDomain() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.hasDomain(BOTTOM_DATA_PROPERTY, BOTTOM)); }
@Test public void bottomObjectIrreflexive() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isIrreflexiveProperty(BOTTOM_OBJECT_PROPERTY)); }
@Test public void topDataFunctional() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertFalse(kb.isFunctionalProperty(TOP_DATA_PROPERTY)); }
@Test public void topObjectIrreflexive() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertFalse(kb.isIrreflexiveProperty(TOP_OBJECT_PROPERTY)); }
@Test public void topObjectReflexive() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isReflexiveProperty(TOP_OBJECT_PROPERTY)); }
@Test public void topObjectSymm() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isSymmetricProperty(TOP_OBJECT_PROPERTY)); }
@Test public void bottomDataRange() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.hasRange(BOTTOM_DATA_PROPERTY, BOTTOM_LIT)); }
@Test public void bottomObjectSymm() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isSymmetricProperty(BOTTOM_OBJECT_PROPERTY)); }
@Test public void topObjectInvFunc() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertFalse(kb.isInverseFunctionalProperty(TOP_OBJECT_PROPERTY)); }
@Test public void topObjectTransitive() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isTransitiveProperty(TOP_OBJECT_PROPERTY)); }
@Test public void bottomObjectFunc() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); assertTrue(kb.isFunctionalProperty(BOTTOM_OBJECT_PROPERTY)); assertTrue(kb.getFunctionalProperties().contains(BOTTOM_OBJECT_PROPERTY)); }
@Test public void topDataSuper() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl p = term("p"); kb.addDatatypeProperty(p); assertTrue(kb.isSubPropertyOf(p, TOP_DATA_PROPERTY)); }
@Test public void testTopBottom() { _kb = new KnowledgeBaseImpl(); _kb.addSubClass(ATermUtils.TOP, ATermUtils.BOTTOM); assertFalse(_kb.isConsistent()); final Set<ATermAppl> explanation = _kb.getExplanationSet(); assertIteratorValues(explanation.iterator(), new Object[] { ATermUtils.makeSub(ATermUtils.TOP, ATermUtils.BOTTOM), }); }
@Test public void testCyclicTBox1() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl C = term("C"); kb.addEquivalentClass(C, not(C)); assertFalse(kb.isConsistent()); }
@Test public void testBottomSub() { // See also: http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/7 final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl c = term("c"); kb.addClass(c); kb.addSubClass(ATermUtils.BOTTOM, c); kb.classify(); assertTrue(kb.isSubClassOf(ATermUtils.BOTTOM, c)); }
@Test public void testDisjointSelf() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl A = term("A"); final ATermAppl p = term("p"); kb.addClass(A); kb.addObjectProperty(p); kb.addDisjointClasses(Arrays.asList(A, self(p))); kb.classify(); assertTrue(kb.isSatisfiable(A)); }
@Test public void testIsClass4() { final KnowledgeBase kb = new KnowledgeBaseImpl(); final ATermAppl l = ATermUtils.makeTermAppl("l"); final ATermAppl v = ATermUtils.makeValue(ATermUtils.makeLiteral(l)); final ATermAppl n = ATermUtils.makeNot(v); assertFalse(kb.isClass(n)); }
@Test public void bottomObjectInverseManual() { final KnowledgeBaseImpl kb = new KnowledgeBaseImpl(); final ATermAppl c = term("_C_"); final ATermAppl notC = not(c); final ATermAppl r = BOTTOM_OBJECT_PROPERTY; final ATermAppl test = and(c, or(some(r, all(r, notC)), some(r, all(r, notC)))); assertFalse(kb.isSatisfiable(test)); }