@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
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); } }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentObjectPropertiesAxiomConversion parent = inferenceMatch1 .getParent(); ElkEquivalentObjectPropertiesAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkPropertyInclusionOfEquivalence( originalAxiom.getObjectPropertyExpressions(), parent.getSubPropertyPosition(), parent.getSuperPropertyPosition()); return null; }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@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); } }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentObjectPropertiesAxiomConversion parent = inferenceMatch1 .getParent(); ElkEquivalentObjectPropertiesAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkPropertyInclusionOfEquivalence( originalAxiom.getObjectPropertyExpressions(), parent.getSubPropertyPosition(), parent.getSuperPropertyPosition()); return null; }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@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); } }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiomConversionMatch1 inferenceMatch1) { inferenceMatch1.getConclusionMatch(conclusionFactory_); // creating ELK inferences ElkEquivalentObjectPropertiesAxiomConversion parent = inferenceMatch1 .getParent(); ElkEquivalentObjectPropertiesAxiom originalAxiom = parent .getOriginalAxiom(); elkInferenceFactory_.getElkToldAxiom(originalAxiom); elkInferenceFactory_.getElkPropertyInclusionOfEquivalence( originalAxiom.getObjectPropertyExpressions(), parent.getSubPropertyPosition(), parent.getSuperPropertyPosition()); return null; }
@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { axiomVisitor_.visit(inference.getOriginalAxiom()); return null; }
@Override public O visit(ElkEquivalentObjectPropertiesAxiomConversion inference) { return conclusionVisitor_ .visit(inference.getConclusion(conclusionFactory_)); }
@Override public String visit( ElkEquivalentObjectPropertiesAxiomConversion inference) { return String.format("%s -| %s", inference.getConclusion(factory_), inference.getOriginalAxiom()); }