@Override default boolean isBottomEntity() { return isOWLBottomDataProperty(); }
@Override default boolean isBottomEntity() { return isOWLBottomDataProperty(); }
@Override default boolean isBottomEntity() { return isOWLBottomDataProperty(); }
protected void reservedForDataProperty(OWLDataProperty property) { if (!property.isOWLTopDataProperty() && !property.isOWLBottomDataProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForDataPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForDataProperty(OWLDataProperty property) { if (!property.isOWLTopDataProperty() && !property.isOWLBottomDataProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForDataPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForDataProperty(OWLDataProperty property) { if (!property.isOWLTopDataProperty() && !property.isOWLBottomDataProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForDataPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
public void visit(OWLDataProperty prop) { if ( prop.isOWLTopDataProperty() ) { term = ATermUtils.TOP_DATA_PROPERTY; } else if (prop.isOWLBottomDataProperty() ) { term = ATermUtils.BOTTOM_DATA_PROPERTY; } else { term = ATermUtils.makeTermAppl( prop.getIRI().toString() ); if( addAxioms ) { kb.addDatatypeProperty( term ); } } }
@Override public void visit(final OWLDataProperty prop) { if (prop.isOWLTopDataProperty()) _term = ATermUtils.TOP_DATA_PROPERTY; else if (prop.isOWLBottomDataProperty()) _term = ATermUtils.BOTTOM_DATA_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addDatatypeProperty(_term); } }
@Override public void visit(final OWLDataProperty prop) { if (prop.isOWLTopDataProperty()) _term = ATermUtils.TOP_DATA_PROPERTY; else if (prop.isOWLBottomDataProperty()) _term = ATermUtils.BOTTOM_DATA_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addDatatypeProperty(_term); } }
@Override public void visit(OWLDataProperty prop) { if ( prop.isOWLTopDataProperty() ) { term = ATermUtils.TOP_DATA_PROPERTY; } else if (prop.isOWLBottomDataProperty() ) { term = ATermUtils.BOTTOM_DATA_PROPERTY; } else { term = ATermUtils.makeTermAppl( prop.getIRI().toString() ); if( addAxioms ) { kb.addDatatypeProperty( term ); } } }
@Override public void visit(final OWLDataProperty prop) { if (prop.isOWLTopDataProperty()) _term = ATermUtils.TOP_DATA_PROPERTY; else if (prop.isOWLBottomDataProperty()) _term = ATermUtils.BOTTOM_DATA_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addDatatypeProperty(_term); } }
public Object visit(OWLDataProperty property) { if (!property.isOWLTopDataProperty() && !property.isOWLBottomDataProperty()) { if (property.getIRI().isReservedVocabulary()) { profileViolations.add(new UseOfReservedVocabularyForDataPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } } if (!property.isBuiltIn() && !getCurrentOntology().isDeclared(property, true)) { profileViolations.add(new UseOfUndeclaredDataProperty(getCurrentOntology(), getCurrentAxiom(), property)); } if (getCurrentOntology().containsObjectPropertyInSignature(property.getIRI(), true)) { // TODO: Error } if (getCurrentOntology().containsAnnotationPropertyInSignature(property.getIRI(), true)) { // TODO: Error } return null; }
protected boolean isSubDataPropertyOf(OWLDataProperty subDataProperty,OWLDataProperty superDataProperty) { checkPreConditions(subDataProperty,superDataProperty); if (!m_isConsistent.booleanValue() || subDataProperty.isOWLBottomDataProperty() || superDataProperty.isOWLTopDataProperty()) return true; AtomicRole subrole=H(subDataProperty); AtomicRole superrole=H(superDataProperty); if (m_dataRoleHierarchy!=null && !containsFreshEntities(subDataProperty,superDataProperty)) { HierarchyNode<AtomicRole> subroleNode=m_dataRoleHierarchy.getNodeForElement(subrole); return subroleNode.isEquivalentElement(superrole) || subroleNode.isAncestorElement(superrole); } else { OWLDataFactory factory=getDataFactory(); OWLIndividual individual=factory.getOWLAnonymousIndividual("fresh-individual"); OWLLiteral freshConstant=factory.getOWLLiteral("internal:fresh-constant",factory.getOWLDatatype(IRI.create("internal:anonymous-constants"))); OWLDataProperty negatedSuperDataProperty=factory.getOWLDataProperty(IRI.create("internal:negated-superproperty")); OWLAxiom subpropertyAssertion=factory.getOWLDataPropertyAssertionAxiom(subDataProperty,individual,freshConstant); OWLAxiom negatedSuperpropertyAssertion=factory.getOWLDataPropertyAssertionAxiom(negatedSuperDataProperty,individual,freshConstant); OWLAxiom superpropertyAxiomatization=factory.getOWLDisjointDataPropertiesAxiom(superDataProperty,negatedSuperDataProperty); Tableau tableau=getTableau(subpropertyAssertion,negatedSuperpropertyAssertion,superpropertyAxiomatization); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isRoleSubsumedBy(subrole,superrole,false)); tableau.clearAdditionalDLOntology(); return !result; } } @Override
protected boolean isSubDataPropertyOf(OWLDataProperty subDataProperty,OWLDataProperty superDataProperty) { checkPreConditions(subDataProperty,superDataProperty); if (!m_isConsistent || subDataProperty.isOWLBottomDataProperty() || superDataProperty.isOWLTopDataProperty()) return true; AtomicRole subrole=H(subDataProperty); AtomicRole superrole=H(superDataProperty); if (m_dataRoleHierarchy!=null && !containsFreshEntities(subDataProperty,superDataProperty)) { HierarchyNode<AtomicRole> subroleNode=m_dataRoleHierarchy.getNodeForElement(subrole); return subroleNode.isEquivalentElement(superrole) || subroleNode.isAncestorElement(superrole); } else { OWLDataFactory factory=getDataFactory(); OWLIndividual individual=factory.getOWLAnonymousIndividual("fresh-individual"); OWLLiteral freshConstant=factory.getOWLLiteral("internal:fresh-constant",factory.getOWLDatatype(IRI.create("internal:anonymous-constants"))); OWLDataProperty negatedSuperDataProperty=factory.getOWLDataProperty(IRI.create("internal:negated-superproperty")); OWLAxiom subpropertyAssertion=factory.getOWLDataPropertyAssertionAxiom(subDataProperty,individual,freshConstant); OWLAxiom negatedSuperpropertyAssertion=factory.getOWLDataPropertyAssertionAxiom(negatedSuperDataProperty,individual,freshConstant); OWLAxiom superpropertyAxiomatization=factory.getOWLDisjointDataPropertiesAxiom(superDataProperty,negatedSuperDataProperty); Tableau tableau=getTableau(subpropertyAssertion,negatedSuperpropertyAssertion,superpropertyAxiomatization); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isRoleSubsumedBy(subrole,superrole,false)); tableau.clearAdditionalDLOntology(); return !result; } } public NodeSet<OWLDataProperty> getSuperDataProperties(OWLDataProperty property,boolean direct) {