@Override public String visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
@Override public Void visit( ElkEquivalentClassesAxiomSubClassConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentClassesAxiomSubClassConversion parent = inferenceMatch1 .getParent(); ElkEquivalentClassesAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( originalAxiom.getClassExpressions(), parent.getSubClassPosition(), parent.getSuperClassPosition()); return null; }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
@Override public Void visit( ElkEquivalentClassesAxiomSubClassConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentClassesAxiomSubClassConversion parent = inferenceMatch1 .getParent(); ElkEquivalentClassesAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( originalAxiom.getClassExpressions(), parent.getSubClassPosition(), parent.getSuperClassPosition()); return null; }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentClassesAxiomSubClassConversion parent = getParent(); ElkEquivalentClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> members = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubClassPosition()), members.get(parent.getSuperClassPosition())); }
@Override public Void visit( ElkEquivalentClassesAxiomSubClassConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentClassesAxiomSubClassConversion parent = inferenceMatch1 .getParent(); ElkEquivalentClassesAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses( originalAxiom.getClassExpressions(), parent.getSubClassPosition(), parent.getSuperClassPosition()); return null; }
@Override public String visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkEquivalentClassesAxiomSubClassConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }