@Override default boolean isBottomEntity() { return isOWLBottomObjectProperty(); }
@Override default boolean isBottomEntity() { return isOWLBottomObjectProperty(); }
@Override default boolean isBottomEntity() { return isOWLBottomObjectProperty(); }
protected void reservedForObjectProperty(OWLObjectProperty property) { if (!property.isOWLTopObjectProperty() && !property.isOWLBottomObjectProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForObjectPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForObjectProperty(OWLObjectProperty property) { if (!property.isOWLTopObjectProperty() && !property.isOWLBottomObjectProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForObjectPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
protected void reservedForObjectProperty(OWLObjectProperty property) { if (!property.isOWLTopObjectProperty() && !property.isOWLBottomObjectProperty() && property.getIRI().isReservedVocabulary()) { violations.add(new UseOfReservedVocabularyForObjectPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } }
@Override public void visit(final OWLObjectProperty prop) { if (prop.isOWLTopObjectProperty()) _term = ATermUtils.TOP_OBJECT_PROPERTY; else if (prop.isOWLBottomObjectProperty()) _term = ATermUtils.BOTTOM_OBJECT_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addObjectProperty(_term); } }
public void visit(OWLObjectProperty prop) { if ( prop.isOWLTopObjectProperty() ) { term = ATermUtils.TOP_OBJECT_PROPERTY; } else if ( prop.isOWLBottomObjectProperty() ) { term = ATermUtils.BOTTOM_OBJECT_PROPERTY; } else { term = ATermUtils.makeTermAppl( prop.getIRI().toString() ); if( addAxioms ) { kb.addObjectProperty( term ); } } }
@Override public void visit(final OWLObjectProperty prop) { if (prop.isOWLTopObjectProperty()) _term = ATermUtils.TOP_OBJECT_PROPERTY; else if (prop.isOWLBottomObjectProperty()) _term = ATermUtils.BOTTOM_OBJECT_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addObjectProperty(_term); } }
@Override public void visit(OWLObjectProperty prop) { if ( prop.isOWLTopObjectProperty() ) { term = ATermUtils.TOP_OBJECT_PROPERTY; } else if ( prop.isOWLBottomObjectProperty() ) { term = ATermUtils.BOTTOM_OBJECT_PROPERTY; } else { term = ATermUtils.makeTermAppl( prop.getIRI().toString() ); if( addAxioms ) { kb.addObjectProperty( term ); } } }
@Override public void visit(final OWLObjectProperty prop) { if (prop.isOWLTopObjectProperty()) _term = ATermUtils.TOP_OBJECT_PROPERTY; else if (prop.isOWLBottomObjectProperty()) _term = ATermUtils.BOTTOM_OBJECT_PROPERTY; else { _term = ATermUtils.makeTermAppl(prop.getIRI().toString()); if (_addAxioms) _kb.addObjectProperty(_term); } }
if (objSub.getNamedProperty().isOWLBottomObjectProperty() || getUnsatisfiableProperties().contains(objSub.getNamedProperty()) || objSup.getNamedProperty().isOWLTopObjectProperty()
public Object visit(OWLObjectProperty property) { if (!property.isOWLTopObjectProperty() && !property.isOWLBottomObjectProperty()) { if (property.getIRI().isReservedVocabulary()) { profileViolations.add(new UseOfReservedVocabularyForObjectPropertyIRI(getCurrentOntology(), getCurrentAxiom(), property)); } } if (!property.isBuiltIn() && !getCurrentOntology().isDeclared(property, true)) { profileViolations.add(new UseOfUndeclaredObjectProperty(getCurrentOntology(), getCurrentAxiom(), property)); } if (getCurrentOntology().containsDataPropertyInSignature(property.getIRI(), true)) { // TODO: Error } if (getCurrentOntology().containsAnnotationPropertyInSignature(property.getIRI(), true)) { // TODO: Error } return null; }
protected boolean isSubObjectPropertyExpressionOf(OWLObjectPropertyExpression subObjectPropertyExpression,OWLObjectPropertyExpression superObjectPropertyExpression) { checkPreConditions(subObjectPropertyExpression,superObjectPropertyExpression); if (!m_isConsistent.booleanValue() || subObjectPropertyExpression.getNamedProperty().isOWLBottomObjectProperty() || superObjectPropertyExpression.getNamedProperty().isOWLTopObjectProperty()) return true; Role subrole=H(subObjectPropertyExpression); Role superrole=H(superObjectPropertyExpression); if (m_objectRoleHierarchy!=null && !containsFreshEntities(subObjectPropertyExpression,superObjectPropertyExpression)) { HierarchyNode<Role> subroleNode=m_objectRoleHierarchy.getNodeForElement(subrole); return subroleNode.isEquivalentElement(superrole) || subroleNode.isAncestorElement(superrole); } else { OWLDataFactory factory=getDataFactory(); OWLClass pseudoNominal=factory.getOWLClass(PSEUDO_NOMINAL); OWLClassExpression allSuperNotPseudoNominal=factory.getOWLObjectAllValuesFrom(superObjectPropertyExpression,pseudoNominal.getObjectComplementOf()); OWLIndividual freshIndividualA=factory.getOWLAnonymousIndividual("fresh-individual-A"); OWLIndividual freshIndividualB=factory.getOWLAnonymousIndividual("fresh-individual-B"); OWLAxiom subObjectPropertyAssertion=factory.getOWLObjectPropertyAssertionAxiom(subObjectPropertyExpression,freshIndividualA,freshIndividualB); OWLAxiom pseudoNominalAssertion=factory.getOWLClassAssertionAxiom(pseudoNominal,freshIndividualB); OWLAxiom allSuperNotPseudoNominalAssertion=factory.getOWLClassAssertionAxiom(allSuperNotPseudoNominal,freshIndividualA); Tableau tableau=getTableau(subObjectPropertyAssertion,pseudoNominalAssertion,allSuperNotPseudoNominalAssertion); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isRoleSubsumedBy(subrole,superrole,true)); tableau.clearAdditionalDLOntology(); return !result; } } protected boolean isSubObjectPropertyExpressionOf(List<OWLObjectPropertyExpression> subPropertyChain,OWLObjectPropertyExpression superObjectPropertyExpression) {
protected boolean isSubObjectPropertyExpressionOf(OWLObjectPropertyExpression subObjectPropertyExpression,OWLObjectPropertyExpression superObjectPropertyExpression) { checkPreConditions(subObjectPropertyExpression,superObjectPropertyExpression); if (!m_isConsistent || subObjectPropertyExpression.getNamedProperty().isOWLBottomObjectProperty() || superObjectPropertyExpression.getNamedProperty().isOWLTopObjectProperty()) return true; Role subrole=H(subObjectPropertyExpression); Role superrole=H(superObjectPropertyExpression); if (m_objectRoleHierarchy!=null && !containsFreshEntities(subObjectPropertyExpression,superObjectPropertyExpression)) { HierarchyNode<Role> subroleNode=m_objectRoleHierarchy.getNodeForElement(subrole); return subroleNode.isEquivalentElement(superrole) || subroleNode.isAncestorElement(superrole); } else { OWLDataFactory factory=getDataFactory(); OWLClass pseudoNominal=factory.getOWLClass(IRI.create("internal:pseudo-nominal")); OWLClassExpression allSuperNotPseudoNominal=factory.getOWLObjectAllValuesFrom(superObjectPropertyExpression,pseudoNominal.getObjectComplementOf()); OWLIndividual freshIndividualA=factory.getOWLAnonymousIndividual("fresh-individual-A"); OWLIndividual freshIndividualB=factory.getOWLAnonymousIndividual("fresh-individual-B"); OWLAxiom subObjectPropertyAssertion=factory.getOWLObjectPropertyAssertionAxiom(subObjectPropertyExpression,freshIndividualA,freshIndividualB); OWLAxiom pseudoNominalAssertion=factory.getOWLClassAssertionAxiom(pseudoNominal,freshIndividualB); OWLAxiom allSuperNotPseudoNominalAssertion=factory.getOWLClassAssertionAxiom(allSuperNotPseudoNominal,freshIndividualA); Tableau tableau=getTableau(subObjectPropertyAssertion,pseudoNominalAssertion,allSuperNotPseudoNominalAssertion); boolean result=tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isRoleSubsumedBy(subrole,superrole,true)); tableau.clearAdditionalDLOntology(); return !result; } } protected boolean isSubObjectPropertyExpressionOf(List<OWLObjectPropertyExpression> subPropertyChain,OWLObjectPropertyExpression superObjectPropertyExpression) {