@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; }
@Override public Void visit(ElkEquivalentObjectPropertiesAxiom axiom) { // reduces equivalence to sub-property axioms ModifiableIndexedObjectProperty first = null; List<? extends ElkObjectPropertyExpression> members = axiom .getObjectPropertyExpressions(); for (int pos = 0; pos < members.size(); pos++) { ElkObjectPropertyExpression pe = members.get(pos); if (first == null) first = pe.accept(dualConverter_); else { ModifiableIndexedObjectProperty other = pe .accept(dualConverter_); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, 0, pos, first, other); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, pos, 0, other, first); } } return null; }
@Override public Void visit(ElkEquivalentObjectPropertiesAxiom axiom) { // reduces equivalence to sub-property axioms ModifiableIndexedObjectProperty first = null; List<? extends ElkObjectPropertyExpression> members = axiom .getObjectPropertyExpressions(); for (int pos = 0; pos < members.size(); pos++) { ElkObjectPropertyExpression pe = members.get(pos); if (first == null) first = pe.accept(dualConverter_); else { ModifiableIndexedObjectProperty other = pe .accept(dualConverter_); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, 0, pos, first, other); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, pos, 0, other, first); } } return null; }
@Override public Void visit(ElkEquivalentObjectPropertiesAxiom axiom) { // reduces equivalence to sub-property axioms ModifiableIndexedObjectProperty first = null; List<? extends ElkObjectPropertyExpression> members = axiom .getObjectPropertyExpressions(); for (int pos = 0; pos < members.size(); pos++) { ElkObjectPropertyExpression pe = members.get(pos); if (first == null) first = pe.accept(dualConverter_); else { ModifiableIndexedObjectProperty other = pe .accept(dualConverter_); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, 0, pos, first, other); axiomInferenceFactory_ .getElkEquivalentObjectPropertiesAxiomConversion(axiom, pos, 0, other, first); } } 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); } }