@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentObjectPropertiesAxiomConversion parent = getParent(); ElkEquivalentObjectPropertiesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkObjectPropertyExpression> members = premise .getObjectPropertyExpressions(); ElkObjectPropertyExpression superPropertyExpression = members .get(parent.getSuperPropertyPosition()); if (superPropertyExpression instanceof ElkObjectProperty) { ElkObjectProperty superProperty = (ElkObjectProperty) superPropertyExpression; return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubPropertyPosition()), superProperty); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentObjectPropertiesAxiomConversion parent = getParent(); ElkEquivalentObjectPropertiesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkObjectPropertyExpression> members = premise .getObjectPropertyExpressions(); ElkObjectPropertyExpression superPropertyExpression = members .get(parent.getSuperPropertyPosition()); if (superPropertyExpression instanceof ElkObjectProperty) { ElkObjectProperty superProperty = (ElkObjectProperty) superPropertyExpression; return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubPropertyPosition()), superProperty); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }
public IndexedSubObjectPropertyOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkEquivalentObjectPropertiesAxiomConversion parent = getParent(); ElkEquivalentObjectPropertiesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkObjectPropertyExpression> members = premise .getObjectPropertyExpressions(); ElkObjectPropertyExpression superPropertyExpression = members .get(parent.getSuperPropertyPosition()); if (superPropertyExpression instanceof ElkObjectProperty) { ElkObjectProperty superProperty = (ElkObjectProperty) superPropertyExpression; return factory.getIndexedSubObjectPropertyOfAxiomMatch2( factory.getIndexedSubObjectPropertyOfAxiomMatch1( parent.getConclusion(factory)), members.get(parent.getSubPropertyPosition()), superProperty); } else { throw new ElkMatchException( parent.getConclusion(factory).getSuperProperty(), superPropertyExpression); } }