@Test public void testFunctionalSomeTermNoGovTerm() throws ENodeMergeException, ParseException, EReasonerException, EInconsistencyException { final IIndividualABoxNode<String, String, String, String> node = _abox.createIndividualNode(); _abox.getAssertedRBox().addRole("r", RoleType.OBJECT_PROPERTY); _abox.getAssertedRBox().setRoleProperty("r", RoleProperty.FUNCTIONAL); node.addClassTerm(_parser.parse("(some r A)")); assertFalse(_abox.getDependencyMap().hasGoverningTerm(node, _parser.parse("(some r A)"))); _reasoner.getReasonerOptions().setSemanticBranching(false); final Collection<? extends IReasonerResult<String, String, String, String>> results = _reasoner.checkConsistency(_abox, false); assertEquals(1, results.size()); for (IReasonerResult<String, String, String, String> result : results) { final IABox<String, String, String, String> abox = result.getABox(); final IABoxNode<String, String, String, String> node2 = abox.getNode(node.getNodeID()); assertEquals(1, node2.getRABox().getSuccessorNodes().size()); final IABoxNode<String, String, String, String> succ = node2.getRABox().getSuccessorNodes().iterator().next(); assertFalse(abox.getDependencyMap().hasGoverningTerm(succ, _parser.parse("A"))); assertFalse(abox.getDependencyMap().hasGoverningTerm(node2, _parser.parse("(some r A)"))); } }
@Test public void testUnionGovTermIntroductionWasGovTerm() throws ENodeMergeException, ParseException, EReasonerException, EInconsistencyException { final IIndividualABoxNode<String, String, String, String> node = _abox.createIndividualNode(); node.addClassTerm(_parser.parse("(or A B)")); _reasoner.getReasonerOptions().setSemanticBranching(false); final Collection<? extends IReasonerResult<String, String, String, String>> results = _reasoner.checkConsistency(_abox, false); assertEquals(2, results.size()); for (IReasonerResult<String, String, String, String> result : results) { final IABox<String, String, String, String> abox = result.getABox(); assertTrue( abox.getDependencyMap().hasGoverningTerm(node, _parser.parse("A")) ^ abox.getDependencyMap().hasGoverningTerm(node, _parser.parse("B"))); assertFalse(abox.getDependencyMap().hasGoverningTerm(node, _parser.parse("(or A B)"))); } }