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<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

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

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

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLObject, org.semanticweb.owlapi.model.OWLObjectInverseOf, org.semanticweb.owlapi.model.OWLObjectPropertyExpression, org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>, org.semanticweb.owlapi.model.SWRLPredicate

public class OWLObjectInverseOfImpl
extends OWLObjectPropertyExpressionImpl
implements org.semanticweb.owlapi.model.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
org.semanticweb.owlapi.model.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(org.semanticweb.owlapi.model.OWLObjectPropertyExpression inverseProperty)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)
void	accept(org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor visitor)
<O> O	accept(org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<O> visitor)
org.semanticweb.owlapi.model.OWLObjectProperty	asOWLObjectProperty()
protected int	compareObjectOfSameType(org.semanticweb.owlapi.model.OWLObject object)
boolean	equals(Object obj)
org.semanticweb.owlapi.model.OWLObjectPropertyExpression	getInverse()
protected Set<? extends org.semanticweb.owlapi.model.OWLSubPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>>	getSubPropertyAxiomsForRHS(org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.model.OWLObjectPropertyExpression

isOWLTopObject

Specified by:

isOWLTopObjectProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLBottomObject

Specified by:

isOWLBottomObjectProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLTopData

Specified by:

isOWLTopDataProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLBottomData

Specified by:

isOWLBottomDataProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

Constructor Detail

OWLObjectInverseOfImpl

public OWLObjectInverseOfImpl(org.semanticweb.owlapi.model.OWLObjectPropertyExpression inverseProperty)

Parameters:

inverseProperty - property to invert

Method Detail

getInverse

public org.semanticweb.owlapi.model.OWLObjectPropertyExpression getInverse()

Specified by:

getInverse in interface org.semanticweb.owlapi.model.OWLObjectInverseOf

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectPropertyExpressionImpl

getSubPropertyAxiomsForRHS

protected Set<? extends org.semanticweb.owlapi.model.OWLSubPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> getSubPropertyAxiomsForRHS(org.semanticweb.owlapi.model.OWLOntology ont)

Specified by:

getSubPropertyAxiomsForRHS in class OWLPropertyExpressionImpl<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

accept

public void accept(org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

accept

public void accept(org.semanticweb.owlapi.model.OWLObjectVisitor visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLPropertyExpressionVisitorEx<O> visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

accept

public <O> O accept(org.semanticweb.owlapi.model.OWLObjectVisitorEx<O> visitor)

Specified by:

accept in interface org.semanticweb.owlapi.model.OWLObject

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

asOWLObjectProperty

public org.semanticweb.owlapi.model.OWLObjectProperty asOWLObjectProperty()

Specified by:

asOWLObjectProperty in interface org.semanticweb.owlapi.model.OWLObjectPropertyExpression

compareObjectOfSameType

protected int compareObjectOfSameType(org.semanticweb.owlapi.model.OWLObject object)

Specified by:

compareObjectOfSameType in class OWLObjectImpl

isOWLTopObjectProperty

public boolean isOWLTopObjectProperty()

Specified by:

isOWLTopObjectProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLBottomObjectProperty

public boolean isOWLBottomObjectProperty()

Specified by:

isOWLBottomObjectProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLTopDataProperty

public boolean isOWLTopDataProperty()

Specified by:

isOWLTopDataProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

isOWLBottomDataProperty

public boolean isOWLBottomDataProperty()

Specified by:

isOWLBottomDataProperty in interface org.semanticweb.owlapi.model.OWLPropertyExpression<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>