@Override public String visit(ElkObjectPropertyAssertionAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkObjectPropertyAssertionAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkObjectPropertyAssertionAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkObjectPropertyAssertionAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public Void visit( ElkObjectPropertyAssertionAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyAssertionAxiomConversion parent = inferenceMatch1 .getParent(); ElkObjectPropertyAssertionAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfObjectPropertyAssertion( originalAxiom.getSubject(), originalAxiom.getProperty(), originalAxiom.getObject()); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyAssertionAxiomConversion parent = getParent(); ElkObjectPropertyAssertionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf(premise.getSubject()), factory.getObjectSomeValuesFrom(premise.getProperty(), factory.getObjectOneOf(premise.getObject()))); }
@Override public Void visit( ElkObjectPropertyAssertionAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyAssertionAxiomConversion parent = inferenceMatch1 .getParent(); ElkObjectPropertyAssertionAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfObjectPropertyAssertion( originalAxiom.getSubject(), originalAxiom.getProperty(), originalAxiom.getObject()); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyAssertionAxiomConversion parent = getParent(); ElkObjectPropertyAssertionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf(premise.getSubject()), factory.getObjectSomeValuesFrom(premise.getProperty(), factory.getObjectOneOf(premise.getObject()))); }
@Override public Void visit( ElkObjectPropertyAssertionAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkObjectPropertyAssertionAxiomConversion parent = inferenceMatch1 .getParent(); ElkObjectPropertyAssertionAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkClassInclusionOfObjectPropertyAssertion( originalAxiom.getSubject(), originalAxiom.getProperty(), originalAxiom.getObject()); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyAssertionAxiomConversion parent = getParent(); ElkObjectPropertyAssertionAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectOneOf(premise.getSubject()), factory.getObjectSomeValuesFrom(premise.getProperty(), factory.getObjectOneOf(premise.getObject()))); }