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