@Override public String visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public String visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomOwlNothingConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomOwlNothingConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), factory.getOwlNothing()); }
@Override public Void visit( ElkDisjointUnionAxiomOwlNothingConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomOwlNothingConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), conclusionFactory_.getOwlNothing()); return null; }
@Override public Void visit( ElkDisjointUnionAxiomOwlNothingConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomOwlNothingConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), conclusionFactory_.getOwlNothing()); return null; }
@Override public Void visit( ElkDisjointUnionAxiomOwlNothingConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomOwlNothingConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionEmptyObjectUnionOfOwlNothing(); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), conclusionFactory_.getOwlNothing()); return null; }