final public ElkObjectComplementOf objectComplementOf() throws ParseException {ElkClassExpression x; jj_consume_token(OBJECT_COMPLEMENT_OF); jj_consume_token(OPEN_BRACKET); x = classExpression(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getObjectComplementOf(x);} throw new Error("Missing return statement in function"); }
@Test public void testSatisfiabilityExistentialSubsumption() throws ElkException { TestLoader loader = new TestLoader(); Reasoner reasoner = TestReasonerUtils.createTestReasoner(loader); ElkClass A = objectFactory.getClass(new ElkFullIri(":A")); ElkClass B = objectFactory.getClass(new ElkFullIri(":B")); loader.add(objectFactory.getSubClassOfAxiom(A, B)); ElkObjectProperty R = objectFactory.getObjectProperty(new ElkFullIri( ":R")); assertFalse(reasoner.isSatisfiable(objectFactory .getObjectIntersectionOf(objectFactory.getObjectSomeValuesFrom( R, A), objectFactory .getObjectComplementOf(objectFactory .getObjectSomeValuesFrom(R, B))))); assertTrue(reasoner.isSatisfiable(objectFactory .getObjectIntersectionOf(objectFactory.getObjectSomeValuesFrom( R, B), objectFactory .getObjectComplementOf(objectFactory .getObjectSomeValuesFrom(R, A))))); }
@Test public void testSimpleSubsumption() throws ElkException { TestLoader loader = new TestLoader(); Reasoner reasoner = TestReasonerUtils.createTestReasoner(loader); ElkClass A = objectFactory.getClass(new ElkFullIri(":A")); ElkClass B = objectFactory.getClass(new ElkFullIri(":B")); loader.add(objectFactory.getSubClassOfAxiom(A, B)); assertFalse(reasoner.isSatisfiable(objectFactory .getObjectIntersectionOf(A, objectFactory.getObjectComplementOf(B)))); assertTrue(reasoner.isSatisfiable(objectFactory .getObjectIntersectionOf(B, objectFactory.getObjectComplementOf(A)))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkObjectComplementOf getObjectComplementOf( ElkClassExpression negated) { return filter(factory_.getObjectComplementOf(negated)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkObjectComplementOf getObjectComplementOf( ElkClassExpression negated) { return filter(factory_.getObjectComplementOf(negated)); }
@Override public ElkObjectComplementOf getObjectComplementOf( ElkClassExpression negated) { return filter(factory_.getObjectComplementOf(negated)); }