@Override public ElkEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentObjectPropertiesAxiom) { ElkEquivalentObjectPropertiesAxiom result = (ElkEquivalentObjectPropertiesAxiom) object_; if (equals(result.getObjectPropertyExpressions(), axiom.getObjectPropertyExpressions())) return result; } return null; }
@Override public ElkEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentObjectPropertiesAxiom) { ElkEquivalentObjectPropertiesAxiom result = (ElkEquivalentObjectPropertiesAxiom) object_; if (equals(result.getObjectPropertyExpressions(), axiom.getObjectPropertyExpressions())) return result; } return null; }
@Override public ElkEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkEquivalentObjectPropertiesAxiom) { ElkEquivalentObjectPropertiesAxiom result = (ElkEquivalentObjectPropertiesAxiom) object_; if (equals(result.getObjectPropertyExpressions(), axiom.getObjectPropertyExpressions())) return result; } return null; }
@Override public OWLEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { return owlFactory_.getOWLEquivalentObjectPropertiesAxiom( toObjectPropertyExpressionSet( axiom.getObjectPropertyExpressions())); }
@Override public OWLEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { return owlFactory_.getOWLEquivalentObjectPropertiesAxiom( toObjectPropertyExpressionSet( axiom.getObjectPropertyExpressions())); }
@Override public OWLEquivalentObjectPropertiesAxiom visit( ElkEquivalentObjectPropertiesAxiom axiom) { return owlFactory_.getOWLEquivalentObjectPropertiesAxiom( toObjectPropertyExpressionSet( axiom.getObjectPropertyExpressions())); }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { write("DisjointObjectProperties("); write(elkEquivalentObjectProperties.getObjectPropertyExpressions()); write(')'); return null; }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { write("EquivalentObjectProperties("); write(elkEquivalentObjectProperties.getObjectPropertyExpressions()); write(')'); return null; }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { write("EquivalentObjectProperties("); write(elkEquivalentObjectProperties.getObjectPropertyExpressions()); write(')'); return null; }
@Override public Integer visit(ElkEquivalentObjectPropertiesAxiom axiom) { return combinedHashCode( hashCode(ElkEquivalentObjectPropertiesAxiom.class), hashCode(axiom.getObjectPropertyExpressions())); }
@Override public Integer visit(ElkEquivalentObjectPropertiesAxiom axiom) { return combinedHashCode( hashCode(ElkEquivalentObjectPropertiesAxiom.class), hashCode(axiom.getObjectPropertyExpressions())); }
@Override public Integer visit(ElkEquivalentObjectPropertiesAxiom axiom) { return combinedHashCode( hashCode(ElkEquivalentObjectPropertiesAxiom.class), hashCode(axiom.getObjectPropertyExpressions())); }
@Override public Void visit( ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { write("EquivalentObjectProperties("); write(elkEquivalentObjectProperties.getObjectPropertyExpressions()); write(')'); return null; }
@Override public Void visit( final ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) { final Set<ElkObjectProperty> props = new HashSet<ElkObjectProperty>(); for (final ElkObjectPropertyExpression prop : elkEquivalentObjectProperties .getObjectPropertyExpressions()) { if (prop instanceof ElkObjectProperty) { props.add((ElkObjectProperty) prop); } } taxonomy_.getCreateTypeNode(props); return null; }
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); } }
@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 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 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; }