@Nonnull public Node<OWLDataProperty> getEquivalentDataProperties(@Nonnull OWLDataProperty pe) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException { if (pe.isAnonymous()) { return new OWLDataPropertyNode(); } else { return new OWLDataPropertyNode(pe.asOWLDataProperty()); } }
@Nonnull public Node<OWLDataProperty> getEquivalentDataProperties(@Nonnull OWLDataProperty pe) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException { if (pe.isAnonymous()) { return new OWLDataPropertyNode(); } else { return new OWLDataPropertyNode(pe.asOWLDataProperty()); } }
@Override public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) { Iterator<OWLDataPropertyExpression> it=axiom.properties().iterator(); if (it.hasNext()) { OWLDataProperty prop1=it.next().asOWLDataProperty(); while (it.hasNext()) { OWLDataProperty dataProperty1=prop1.asOWLDataProperty(); OWLDataProperty dataProperty2=it.next().asOWLDataProperty(); if (!reasoner.isSubDataPropertyOf(dataProperty1,dataProperty2) || !reasoner.isSubDataPropertyOf(dataProperty2,dataProperty1)) return Boolean.FALSE; } } return Boolean.TRUE; } @Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) { Set<OWLDataPropertyExpression> props=axiom.getProperties(); Iterator<OWLDataPropertyExpression> it=props.iterator(); if (it.hasNext()) { OWLDataProperty prop1=it.next().asOWLDataProperty(); while (it.hasNext()) { OWLDataProperty dataProperty1=prop1.asOWLDataProperty(); OWLDataProperty dataProperty2=it.next().asOWLDataProperty(); if (!reasoner.isSubDataPropertyOf(dataProperty1,dataProperty2) || !reasoner.isSubDataPropertyOf(dataProperty2,dataProperty1)) return Boolean.FALSE; } } return Boolean.TRUE; } public Boolean visit(OWLSubDataPropertyOfAxiom axiom) {
public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException { if (pe.isAnonymous()) { return new OWLDataPropertyNode(); } else { return new OWLDataPropertyNode(pe.asOWLDataProperty()); } }
public Node<OWLDataProperty> getEquivalentDataProperties(OWLDataProperty pe) throws InconsistentOntologyException, ReasonerInterruptedException, TimeOutException { if (pe.isAnonymous()) { return new OWLDataPropertyNode(); } else { return new OWLDataPropertyNode(pe.asOWLDataProperty()); } }