@Override public O visit(ElkObjectPropertyRangeAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkObjectPropertyRangeAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkObjectPropertyRangeAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit(ElkObjectPropertyRangeAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit(ElkObjectPropertyRangeAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkObjectPropertyRangeAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
public IndexedObjectPropertyRangeAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyRangeAxiomConversion parent = getParent(); ElkObjectPropertyRangeAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression property = premise.getProperty(); if (property instanceof ElkObjectProperty) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( factory.getIndexedObjectPropertyRangeAxiomMatch1( parent.getConclusion(factory)), (ElkObjectProperty) property, premise.getRange()); } else { throw new ElkMatchException( parent.getConclusion(factory).getProperty(), property); } }
public IndexedObjectPropertyRangeAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyRangeAxiomConversion parent = getParent(); ElkObjectPropertyRangeAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression property = premise.getProperty(); if (property instanceof ElkObjectProperty) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( factory.getIndexedObjectPropertyRangeAxiomMatch1( parent.getConclusion(factory)), (ElkObjectProperty) property, premise.getRange()); } else { throw new ElkMatchException( parent.getConclusion(factory).getProperty(), property); } }
public IndexedObjectPropertyRangeAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkObjectPropertyRangeAxiomConversion parent = getParent(); ElkObjectPropertyRangeAxiom premise = parent.getOriginalAxiom(); ElkObjectPropertyExpression property = premise.getProperty(); if (property instanceof ElkObjectProperty) { return factory.getIndexedObjectPropertyRangeAxiomMatch2( factory.getIndexedObjectPropertyRangeAxiomMatch1( parent.getConclusion(factory)), (ElkObjectProperty) property, premise.getRange()); } else { throw new ElkMatchException( parent.getConclusion(factory).getProperty(), property); } }