uk.ac.manchester.cs.owl.owlapi

Class OWLObjectInverseOfImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLObjectInverseOfImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, OWLObject, OWLObjectInverseOf, OWLObjectPropertyExpression, OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>, SWRLPredicate

public class OWLObjectInverseOfImpl
extends OWLObjectPropertyExpressionImpl
implements OWLObjectInverseOf

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

See Also:

Serialized Form

Property Summary

Properties

Type	Property and Description
OWLObjectProperty	asOWLObject
boolean	isOWLBottomData
boolean	isOWLBottomObject
boolean	isOWLTopData
boolean	isOWLTopObject

Field Summary

Fields inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLObjectInverseOfImpl(OWLObjectPropertyExpression inverseProperty)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(OWLObjectVisitor visitor)
<O> O	accept(OWLObjectVisitorEx<O> visitor)
void	accept(OWLPropertyExpressionVisitor visitor)
<O> O	accept(OWLPropertyExpressionVisitorEx<O> visitor)
OWLObjectProperty	asOWLObjectProperty()
protected int	compareObjectOfSameType(OWLObject object)
boolean	equals(Object obj)
OWLObjectPropertyExpression	getInverse()
protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>>	getSubPropertyAxiomsForRHS(OWLOntology ont)
boolean	isAnonymous()
boolean	isOWLBottomDataProperty()
boolean	isOWLBottomObjectProperty()
boolean	isOWLTopDataProperty()
boolean	isOWLTopObjectProperty()

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectPropertyExpressionImpl

getDisjointPropertiesAxioms, getDomainAxioms, getEquivalentPropertiesAxioms, getInverseProperty, getInverses, getInverses, getNamedProperty, getRangeAxioms, getSimplified, getSubPropertyAxioms, isAsymmetric, isAsymmetric, isDataPropertyExpression, isFunctional, isFunctional, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isObjectPropertyExpression, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl

getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLObjectPropertyExpression

getInverseProperty, getInverses, getInverses, getNamedProperty, getSimplified, isAsymmetric, isAsymmetric, isInverseFunctional, isInverseFunctional, isIrreflexive, isIrreflexive, isReflexive, isReflexive, isSymmetric, isSymmetric, isTransitive, isTransitive

Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyExpression

getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Property Detail

asOWLObject

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

isOWLTopObject

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomObject

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLTopData

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomData

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

Constructor Detail

OWLObjectInverseOfImpl

public OWLObjectInverseOfImpl(OWLObjectPropertyExpression inverseProperty)

Method Detail

getInverse

public OWLObjectPropertyExpression getInverse()

Specified by:

getInverse in interface OWLObjectInverseOf

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectPropertyExpressionImpl

getSubPropertyAxiomsForRHS

protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> getSubPropertyAxiomsForRHS(OWLOntology ont)

Specified by:

getSubPropertyAxiomsForRHS in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

accept

public void accept(OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

accept

public void accept(OWLObjectVisitor visitor)

Specified by:

accept in interface OWLObject

accept

public <O> O accept(OWLPropertyExpressionVisitorEx<O> visitor)

Specified by:

accept in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface OWLObject

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

asOWLObjectProperty

public OWLObjectProperty asOWLObjectProperty()

Specified by:

asOWLObjectProperty in interface OWLObjectPropertyExpression

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl

isOWLTopObjectProperty

public boolean isOWLTopObjectProperty()

Specified by:

isOWLTopObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomObjectProperty

public boolean isOWLBottomObjectProperty()

Specified by:

isOWLBottomObjectProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLTopDataProperty

public boolean isOWLTopDataProperty()

Specified by:

isOWLTopDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isOWLBottomDataProperty

public boolean isOWLBottomDataProperty()

Specified by:

isOWLBottomDataProperty in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>