@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@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.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasSelf(factory.getOwlTopObjectProperty())); }
@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(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasSelf(property_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( property_, factory.getOwlThing()), domain_); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasSelf(property_)); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasSelf(factory.getOwlTopObjectProperty())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( property_, factory.getOwlThing()), domain_); }
@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 ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( property_, factory.getOwlThing()), domain_); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }
@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.getOwlThing(), factory.getObjectHasSelf(factory.getOwlTopObjectProperty())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasSelf(property_)); }