public class OWLObjectInverseOfImpl extends OWLObjectPropertyExpressionImpl implements OWLObjectInverseOf
Type | Property and Description |
---|---|
OWLObjectProperty |
asOWLObject
If the property is a named object property then this method will obtain the property as such.
|
boolean |
isOWLBottomData
Gets the value of the property oWLBottomDataProperty.
|
boolean |
isOWLBottomObject
Gets the value of the property oWLBottomObjectProperty.
|
boolean |
isOWLTopData
Gets the value of the property oWLTopDataProperty.
|
boolean |
isOWLTopObject
Gets the value of the property oWLTopObjectProperty.
|
Constructor and Description |
---|
OWLObjectInverseOfImpl(OWLObjectPropertyExpression inverseProperty) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
void |
accept(OWLPropertyExpressionVisitor visitor) |
<O> O |
accept(OWLPropertyExpressionVisitorEx<O> visitor) |
void |
addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) |
void |
addSignatureEntitiesToSet(Set<OWLEntity> entities) |
OWLObjectProperty |
asOWLObjectProperty()
If the property is a named object property then this method will obtain the property as such.
|
boolean |
equals(Object obj) |
OWLObjectProperty |
getInverse()
Gets the property expression that this is the inverse of.
|
OWLObjectPropertyExpression |
getInverseProperty()
Obtains the property that corresponds to the inverse of this property.
|
OWLObjectProperty |
getNamedProperty()
Get the named object property used in this property expression.
|
boolean |
isOWLBottomDataProperty()
Gets the value of the property oWLBottomDataProperty.
|
boolean |
isOWLBottomObjectProperty()
Gets the value of the property oWLBottomObjectProperty.
|
boolean |
isOWLTopDataProperty()
Gets the value of the property oWLTopDataProperty.
|
boolean |
isOWLTopObjectProperty()
Gets the value of the property oWLTopObjectProperty.
|
getSimplified, isDataPropertyExpression, isObjectPropertyExpression
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
getSimplified
isDataPropertyExpression, isObjectPropertyExpression
getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLObjectProperty asOWLObjectProperty
asOWLObjectProperty
in interface OWLObjectPropertyExpression
OWLObjectProperty
if possible.public boolean isOWLTopObjectProperty
isOWLTopObjectProperty
in interface OWLPropertyExpression
true
if this property is the owl:topObjectProperty otherwise false
public boolean isOWLBottomObjectProperty
isOWLBottomObjectProperty
in interface OWLPropertyExpression
true
if this property is the owl:bottomObjectProperty otherwise false
public boolean isOWLTopDataProperty
isOWLTopDataProperty
in interface OWLPropertyExpression
true
if this property is the owl:topDataProperty otherwise false
public boolean isOWLBottomDataProperty
isOWLBottomDataProperty
in interface OWLPropertyExpression
true
if this property is the owl:bottomDataProperty otherwise false
public OWLObjectInverseOfImpl(@Nonnull OWLObjectPropertyExpression inverseProperty)
inverseProperty
- property to invertpublic void addSignatureEntitiesToSet(Set<OWLEntity> entities)
addSignatureEntitiesToSet
in interface HasIncrementalSignatureGenerationSupport
entities
- entity set where entities will be addedpublic void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons)
addAnonymousIndividualsToSet
in interface HasIncrementalSignatureGenerationSupport
anons
- anonymous individuals set where individuals will be added@Nonnull public OWLObjectPropertyExpression getInverseProperty()
OWLObjectPropertyExpression
getInverseProperty
in interface OWLObjectPropertyExpression
public OWLObjectProperty getInverse()
OWLObjectInverseOf
getInverse
in interface OWLObjectInverseOf
@Nonnull public OWLObjectProperty getNamedProperty()
OWLObjectPropertyExpression
getNamedProperty
in interface OWLObjectPropertyExpression
public boolean equals(Object obj)
equals
in class OWLObjectPropertyExpressionImpl
public void accept(@Nonnull OWLPropertyExpressionVisitor visitor)
accept
in interface OWLPropertyExpression
visitor
- visitor to acceptpublic void accept(OWLObjectVisitor visitor)
OWLObject
public <O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)
accept
in interface OWLPropertyExpression
O
- visitor return typevisitor
- visitor to acceptpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
public OWLObjectProperty asOWLObjectProperty()
OWLObjectPropertyExpression
isAnonymous
or isNamed
methods should
first be used to determine if the property is named (i.e. not an object property expression
such as inv(p)). If the property is named then this method may be used to obtain the property
as a named property without casting.asOWLObjectProperty
in interface OWLObjectPropertyExpression
OWLObjectProperty
if possible.public boolean isOWLTopObjectProperty()
isOWLTopObjectProperty
in interface OWLPropertyExpression
true
if this property is the owl:topObjectProperty otherwise false
public boolean isOWLBottomObjectProperty()
isOWLBottomObjectProperty
in interface OWLPropertyExpression
true
if this property is the owl:bottomObjectProperty otherwise false
public boolean isOWLTopDataProperty()
isOWLTopDataProperty
in interface OWLPropertyExpression
true
if this property is the owl:topDataProperty otherwise false
public boolean isOWLBottomDataProperty()
isOWLBottomDataProperty
in interface OWLPropertyExpression
true
if this property is the owl:bottomDataProperty otherwise false
Copyright © 2020 The University of Manchester. All rights reserved.