@Override public String visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDisjointUnionAxiomEquivalenceConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public Void visit( ElkDisjointUnionAxiomEquivalenceConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomEquivalenceConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); ElkClassExpression member = disjoint.get(0); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), false); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( member); elkInferenceFactory_ .getElkClassInclusionObjectUnionOfComposition(disjoint, 0); elkInferenceFactory_.getElkClassInclusionHierarchy(member, conclusionFactory_.getObjectUnionOf(disjoint), defined); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), member); return null; }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }
@Override public Void visit( ElkDisjointUnionAxiomEquivalenceConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomEquivalenceConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); ElkClassExpression member = disjoint.get(0); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), false); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( member); elkInferenceFactory_ .getElkClassInclusionObjectUnionOfComposition(disjoint, 0); elkInferenceFactory_.getElkClassInclusionHierarchy(member, conclusionFactory_.getObjectUnionOf(disjoint), defined); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), member); return null; }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }
@Override public Void visit( ElkDisjointUnionAxiomEquivalenceConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomEquivalenceConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); ElkClass defined = originalAxiom.getDefinedClass(); List<? extends ElkClassExpression> disjoint = originalAxiom .getClassExpressions(); ElkClassExpression member = disjoint.get(0); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfDisjointUnion(defined, disjoint); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), true); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(defined, conclusionFactory_.getObjectUnionOf(disjoint), false); elkInferenceFactory_ .getElkClassInclusionSingletonObjectUnionOfDecomposition( member); elkInferenceFactory_ .getElkClassInclusionObjectUnionOfComposition(disjoint, 0); elkInferenceFactory_.getElkClassInclusionHierarchy(member, conclusionFactory_.getObjectUnionOf(disjoint), defined); elkInferenceFactory_.getElkClassInclusionHierarchy(defined, conclusionFactory_.getObjectUnionOf(disjoint), member); return null; }
public IndexedEquivalentClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomEquivalenceConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedEquivalentClassesAxiomMatch2( factory.getIndexedEquivalentClassesAxiomMatch1( getParent().getConclusion(factory)), premise.getDefinedClass(), members.get(0)); }