protected boolean checkIfLocalProperties( OWLNaryPropertyAxiom<? extends OWLPropertyExpression> axiom) { Collection<? extends OWLPropertyExpression> disjs = asList(axiom.properties()); int size = disjs.size(); if (size > 1) { boolean nonBottomEquivPropFound = false; for (OWLPropertyExpression dpe : disjs) { if (dpe.isOWLDataProperty() && getSignature().contains(dpe.asOWLDataProperty()) || dpe .isOWLObjectProperty() && getSignature() .contains(dpe.asOWLObjectProperty())) { if (nonBottomEquivPropFound) { return false; } else { nonBottomEquivPropFound = true; } } } } return true; }
protected boolean checkIfLocalProperties( OWLNaryPropertyAxiom<? extends OWLPropertyExpression> axiom) { Collection<? extends OWLPropertyExpression> disjs = asList(axiom.properties()); int size = disjs.size(); if (size > 1) { boolean nonBottomEquivPropFound = false; for (OWLPropertyExpression dpe : disjs) { if (dpe.isOWLDataProperty() && getSignature().contains(dpe.asOWLDataProperty()) || dpe .isOWLObjectProperty() && getSignature() .contains(dpe.asOWLObjectProperty())) { if (nonBottomEquivPropFound) { return false; } else { nonBottomEquivPropFound = true; } } } } return true; }
protected boolean checkIfLocalProperties( OWLNaryPropertyAxiom<? extends OWLPropertyExpression> axiom) { Collection<? extends OWLPropertyExpression> disjs = asList(axiom.properties()); int size = disjs.size(); if (size > 1) { boolean nonBottomEquivPropFound = false; for (OWLPropertyExpression dpe : disjs) { if (dpe.isOWLDataProperty() && getSignature().contains(dpe.asOWLDataProperty()) || dpe .isOWLObjectProperty() && getSignature() .contains(dpe.asOWLObjectProperty())) { if (nonBottomEquivPropFound) { return false; } else { nonBottomEquivPropFound = true; } } } } return true; }
protected boolean checkIfLocalProperties( OWLNaryPropertyAxiom<? extends OWLPropertyExpression> axiom) { Collection<? extends OWLPropertyExpression> disjs = asList(axiom.properties()); int size = disjs.size(); if (size > 1) { boolean nonBottomEquivPropFound = false; for (OWLPropertyExpression dpe : disjs) { if (dpe.isOWLDataProperty() && getSignature().contains(dpe.asOWLDataProperty()) || dpe .isOWLObjectProperty() && getSignature() .contains(dpe.asOWLObjectProperty())) { if (nonBottomEquivPropFound) { return false; } else { nonBottomEquivPropFound = true; } } } } return true; }