@Override public String visit(ElkSameIndividualAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
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()))); }
@Override public Void visit(ElkSameIndividualAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSameIndividualAxiomConversion parent = inferenceMatch1.getParent(); ElkSameIndividualAxiom originalAxiom = parent.getOriginalAxiom(); List<? extends ElkIndividual> same = originalAxiom.getIndividuals(); ArrayList<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same.size()); for (ElkIndividual ind : same) { equivalent.add(conclusionFactory_ .getObjectOneOf(Collections.singletonList(ind))); } elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfSameIndividual(same); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(equivalent, parent.getSubIndividualPosition(), parent.getSuperIndividualPosition()); return null; }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@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()))); }
@Override public Void visit(ElkSameIndividualAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSameIndividualAxiomConversion parent = inferenceMatch1.getParent(); ElkSameIndividualAxiom originalAxiom = parent.getOriginalAxiom(); List<? extends ElkIndividual> same = originalAxiom.getIndividuals(); ArrayList<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same.size()); for (ElkIndividual ind : same) { equivalent.add(conclusionFactory_ .getObjectOneOf(Collections.singletonList(ind))); } elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfSameIndividual(same); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(equivalent, parent.getSubIndividualPosition(), parent.getSuperIndividualPosition()); return null; }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@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()))); }
@Override public Void visit(ElkSameIndividualAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSameIndividualAxiomConversion parent = inferenceMatch1.getParent(); ElkSameIndividualAxiom originalAxiom = parent.getOriginalAxiom(); List<? extends ElkIndividual> same = originalAxiom.getIndividuals(); ArrayList<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same.size()); for (ElkIndividual ind : same) { equivalent.add(conclusionFactory_ .getObjectOneOf(Collections.singletonList(ind))); } elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkEquivalentClassesOfSameIndividual(same); elkInferenceFactory_.getElkClassInclusionOfEquivaletClasses(equivalent, parent.getSubIndividualPosition(), parent.getSuperIndividualPosition()); return null; }
@Override public String visit(ElkSameIndividualAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkSameIndividualAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@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()); }