private boolean isRoot(OWLAnnotationProperty prop) { // We deem a property to be a root property if it doesn't have // any super properties (i.e. it is not on // the LHS of a subproperty axiom // Assume the property is a root property to begin with boolean isRoot = getParents(prop).isEmpty(); if (isRoot && (containsReference(prop) || prop.isBuiltIn())) { return true; } else { // Additional condition: If we have P -> Q and Q -> P, then // there is no path to the root, so put P and Q as root properties // Collapse any cycles and force properties that are equivalent // through cycles to appear at the root. return getAncestors(prop).contains(prop); } }
private boolean isRoot(OWLAnnotationProperty prop) { // We deem a property to be a root property if it doesn't have // any super properties (i.e. it is not on // the LHS of a subproperty axiom // Assume the property is a root property to begin with boolean isRoot = getParents(prop).isEmpty(); if (isRoot && (containsReference(prop) || prop.isBuiltIn())) { return true; } else { // Additional condition: If we have P -> Q and Q -> P, then // there is no path to the root, so put P and Q as root properties // Collapse any cycles and force properties that are equivalent // through cycles to appear at the root. return getAncestors(prop).contains(prop); } }
private boolean isRoot(OWLAnnotationProperty prop) { // We deem a property to be a root property if it doesn't have // any super properties (i.e. it is not on // the LHS of a subproperty axiom // Assume the property is a root property to begin with boolean isRoot = getParents(prop).isEmpty(); if (isRoot && (containsReference(prop) || prop.isBuiltIn())) { return true; } else { // Additional condition: If we have P -> Q and Q -> P, then // there is no path to the root, so put P and Q as root properties // Collapse any cycles and force properties that are equivalent // through cycles to appear at the root. return getAncestors(prop).contains(prop); } }
protected void reservedForAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForAnnotationPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForAnnotationPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForAnnotationPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
" signature = " + prop.getSignature()); Logger.getLogger(OwlUtility.class).debug( " builtIn = " + prop.isBuiltIn()); Logger.getLogger(OwlUtility.class).debug( " entity type = " + prop.getEntityType());
protected void undeclaredAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && !property.getIRI().isReservedVocabulary() && !getCurrentOntology().isDeclared(property, INCLUDED)) { violations.add(new UseOfUndeclaredAnnotationProperty(getCurrentOntology(), getCurrentAxiom(), getCurrentAnnotation(), property)); } }
protected void undeclaredAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && !property.getIRI().isReservedVocabulary() && !getCurrentOntology().isDeclared(property, INCLUDED)) { violations.add(new UseOfUndeclaredAnnotationProperty(getCurrentOntology(), getCurrentAxiom(), getCurrentAnnotation(), property)); } }
protected void undeclaredAnnotation(OWLAnnotationProperty property) { if (!property.isBuiltIn() && !property.getIRI().isReservedVocabulary() && !getCurrentOntology().isDeclared(property, INCLUDED)) { violations.add(new UseOfUndeclaredAnnotationProperty(getCurrentOntology(), getCurrentAxiom(), getCurrentAnnotation(), property)); } }
public Object visit(OWLAnnotationProperty property) { if (!property.isBuiltIn()) { if (property.getIRI().isReservedVocabulary()) { profileViolations.add(new UseOfReservedVocabularyForAnnotationPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } } if (!property.isBuiltIn() && !getCurrentOntology().isDeclared(property)) { profileViolations.add(new UseOfUndeclaredAnnotationProperty(getCurrentOntology(), getCurrentAxiom(), getCurrentAnnotation(), property)); } if (getCurrentOntology().containsObjectPropertyInSignature(property.getIRI(), true)) { // TODO: Error System.out.println("Annotation property IRI is also an object property IRI"); } if (getCurrentOntology().containsDataPropertyInSignature(property.getIRI(), true)) { // TODO: Error System.out.println("Annotation property IRI is also a data property IRI"); } return null; }