@Override public String visit(ElkSameIndividualAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit(ElkSameIndividualAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkSameIndividualAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSameIndividualAxiomConversion parent = getParent(); ElkSameIndividualAxiom premise = parent.getOriginalAxiom(); List<? extends ElkIndividual> members = premise.getIndividuals(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf( members.get(parent.getSubIndividualPosition())), factory.getObjectOneOf( members.get(parent.getSuperIndividualPosition()))); }