@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expressions_.get(firstPos_), expressions_.get(secondPos_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expressions_.get(firstPos_), expressions_.get(secondPos_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), factory.getOwlNothing()); }
@Override public ElkClass getOwlNothing() { return filter(factory_.getOwlNothing()); }
@Override public ElkClass getOwlNothing() { return filter(factory_.getOwlNothing()); }
@Override public OrphanTaxonomyNode<ElkClass> createNode( final Iterable<? extends ElkClass> members, final int size, final Taxonomy<ElkClass> taxonomy) { return new OrphanTaxonomyNode<ElkClass>(members, size, elkFactory_.getOwlNothing(), taxonomy); } });
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
@Override public OrphanTaxonomyNode<ElkClass> createNode( final Iterable<? extends ElkClass> members, final int size, final Taxonomy<ElkClass> taxonomy) { return new OrphanTaxonomyNode<ElkClass>(members, size, elkFactory_.getOwlNothing(), taxonomy); } });
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectOneOf(Collections.<ElkIndividual> emptyList()), factory.getOwlNothing()); }
@Override public Void visit( final OwlThingInconsistencyEntailsOntologyInconsistency entailmentInference) { final ClassInconsistency conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlThing()); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getOwlNothing()); return null; }
@Test @SuppressWarnings("static-method") public void testInconsistency() throws Exception { Reasoner reasoner = TestReasonerUtils.loadAndClassify( TestReasonerUtils.loadAxioms(ElkTestUtils.TEST_INPUT_LOCATION + "/classification/Inconsistent.owl")); ElkObject.Factory factory = new ElkObjectEntityRecyclingFactory(); TracingTestUtils.checkTracingCompleteness(factory.getOwlThing(), factory.getOwlNothing(), reasoner); }
@Override public OrphanTaxonomyNode<ElkClass> createNode( final Iterable<? extends ElkClass> members, final int size, final Taxonomy<ElkClass> taxonomy) { return new OrphanTaxonomyNode<ElkClass>(members, size, elkFactory_.getOwlNothing(), taxonomy); } });
@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 Void visit( final OwlThingInconsistencyEntailsOntologyInconsistency entailmentInference) { final ClassInconsistency conclusion = entailmentInference.getReason(); final Matcher matcher = new Matcher(reasoner_.getProof(), elkFactory_, inferenceFactory_); matcher.trace(conclusion, elkFactory_.getOwlThing()); inferenceFactory_.getElkClassInclusionHierarchy( elkFactory_.getOwlThing(), elkFactory_.getOwlNothing()); return null; }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectOneOf(Collections.<ElkIndividual> emptyList()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }