@Override public String visit(ElkDisjointUnionAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDisjointUnionAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkDisjointUnionAxiomNaryConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkDisjointUnionAxiomNaryConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public Void visit( ElkDisjointUnionAxiomNaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomNaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); return null; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
@Override public Void visit( ElkDisjointUnionAxiomNaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomNaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); return null; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
@Override public Void visit( ElkDisjointUnionAxiomNaryConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkDisjointUnionAxiomNaryConversion parent = inferenceMatch1 .getParent(); ElkDisjointUnionAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkDisjointClassesOfDisjointUnion( originalAxiom.getDefinedClass(), originalAxiom.getClassExpressions()); return null; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointUnionAxiomNaryConversion parent = getParent(); ElkDisjointUnionAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }