@Override public String visit(ElkSubObjectPropertyOfAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkSubObjectPropertyOfAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkSubObjectPropertyOfAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkSubObjectPropertyOfAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public Void visit( ElkSubObjectPropertyOfAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSubObjectPropertyOfAxiomConversion parent = inferenceMatch1 .getParent(); ElkSubObjectPropertyOfAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); return null; }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
@Override public Void visit( ElkSubObjectPropertyOfAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSubObjectPropertyOfAxiomConversion parent = inferenceMatch1 .getParent(); ElkSubObjectPropertyOfAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); return null; }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
@Override public Void visit( ElkSubObjectPropertyOfAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkSubObjectPropertyOfAxiomConversion parent = inferenceMatch1 .getParent(); ElkSubObjectPropertyOfAxiom originalAxiom = parent.getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); return null; }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubObjectPropertyOfAxiomConversion parent = getParent(); ElkSubObjectPropertyOfAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression superPropertyExpression = premise .getSuperObjectPropertyExpression(); if (superPropertyExpression instanceof ElkObjectProperty) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubObjectPropertyExpression(), (ElkObjectProperty) superPropertyExpression); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }