uk.ac.manchester.cs.owl.owlapi

Class OWLObjectPropertyExpressionImpl

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

All Implemented Interfaces:

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

Direct Known Subclasses:

OWLObjectInverseOfImpl, OWLObjectPropertyImpl

public abstract class OWLObjectPropertyExpressionImpl
extends OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>
implements OWLObjectPropertyExpression

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

See Also:

Serialized Form

Property Summary

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

asOWLObjectProperty

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

isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

Field Summary

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

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLObjectPropertyExpressionImpl()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
protected Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>>	getDisjointPropertiesAxioms(OWLOntology ontology)
protected Set<? extends OWLPropertyDomainAxiom<?>>	getDomainAxioms(OWLOntology ontology)
protected Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>>	getEquivalentPropertiesAxioms(OWLOntology ontology)
OWLObjectPropertyExpression	getInverseProperty()
Set<OWLObjectPropertyExpression>	getInverses(OWLOntology ontology)
Set<OWLObjectPropertyExpression>	getInverses(Set<OWLOntology> ontologies)
OWLObjectProperty	getNamedProperty()
protected Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>>	getRangeAxioms(OWLOntology ontology)
OWLObjectPropertyExpression	getSimplified()
protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>>	getSubPropertyAxioms(OWLOntology ontology)
boolean	isAsymmetric(OWLOntology ontology)
boolean	isAsymmetric(Set<OWLOntology> ontologies)
boolean	isDataPropertyExpression()
boolean	isFunctional(OWLOntology ontology)
boolean	isFunctional(Set<OWLOntology> ontologies)
boolean	isInverseFunctional(OWLOntology ontology)
boolean	isInverseFunctional(Set<OWLOntology> ontologies)
boolean	isIrreflexive(OWLOntology ontology)
boolean	isIrreflexive(Set<OWLOntology> ontologies)
boolean	isObjectPropertyExpression()
boolean	isReflexive(OWLOntology ontology)
boolean	isReflexive(Set<OWLOntology> ontologies)
boolean	isSymmetric(OWLOntology ontology)
boolean	isSymmetric(Set<OWLOntology> ontologies)
boolean	isTransitive(OWLOntology ontology)
boolean	isTransitive(Set<OWLOntology> ontologies)

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

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

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

compareLists, compareObjectOfSameType, 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

asOWLObjectProperty

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

accept, accept, getDisjointProperties, getDisjointProperties, getDomains, getDomains, getEquivalentProperties, getEquivalentProperties, getRanges, getRanges, getSubProperties, getSubProperties, getSuperProperties, getSuperProperties, isAnonymous, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLObjectPropertyExpressionImpl

public OWLObjectPropertyExpressionImpl()

Method Detail

getDomainAxioms

protected Set<? extends OWLPropertyDomainAxiom<?>> getDomainAxioms(OWLOntology ontology)

Specified by:

getDomainAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

isObjectPropertyExpression

public boolean isObjectPropertyExpression()

Specified by:

isObjectPropertyExpression in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isDataPropertyExpression

public boolean isDataPropertyExpression()

Specified by:

isDataPropertyExpression in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isFunctional

public boolean isFunctional(OWLOntology ontology)

Specified by:

isFunctional in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isFunctional

public boolean isFunctional(Set<OWLOntology> ontologies)

Specified by:

isFunctional in interface OWLPropertyExpression<OWLClassExpression,OWLObjectPropertyExpression>

isInverseFunctional

public boolean isInverseFunctional(OWLOntology ontology)

Specified by:

isInverseFunctional in interface OWLObjectPropertyExpression

isInverseFunctional

public boolean isInverseFunctional(Set<OWLOntology> ontologies)

Specified by:

isInverseFunctional in interface OWLObjectPropertyExpression

isSymmetric

public boolean isSymmetric(OWLOntology ontology)

Specified by:

isSymmetric in interface OWLObjectPropertyExpression

isSymmetric

public boolean isSymmetric(Set<OWLOntology> ontologies)

Specified by:

isSymmetric in interface OWLObjectPropertyExpression

isAsymmetric

public boolean isAsymmetric(OWLOntology ontology)

Specified by:

isAsymmetric in interface OWLObjectPropertyExpression

isAsymmetric

public boolean isAsymmetric(Set<OWLOntology> ontologies)

Specified by:

isAsymmetric in interface OWLObjectPropertyExpression

isReflexive

public boolean isReflexive(OWLOntology ontology)

Specified by:

isReflexive in interface OWLObjectPropertyExpression

isReflexive

public boolean isReflexive(Set<OWLOntology> ontologies)

Specified by:

isReflexive in interface OWLObjectPropertyExpression

isIrreflexive

public boolean isIrreflexive(OWLOntology ontology)

Specified by:

isIrreflexive in interface OWLObjectPropertyExpression

isIrreflexive

public boolean isIrreflexive(Set<OWLOntology> ontologies)

Specified by:

isIrreflexive in interface OWLObjectPropertyExpression

isTransitive

public boolean isTransitive(OWLOntology ontology)

Specified by:

isTransitive in interface OWLObjectPropertyExpression

isTransitive

public boolean isTransitive(Set<OWLOntology> ontologies)

Specified by:

isTransitive in interface OWLObjectPropertyExpression

getRangeAxioms

protected Set<? extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>> getRangeAxioms(OWLOntology ontology)

Specified by:

getRangeAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getSubPropertyAxioms

protected Set<? extends OWLSubPropertyAxiom<OWLObjectPropertyExpression>> getSubPropertyAxioms(OWLOntology ontology)

Specified by:

getSubPropertyAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getEquivalentPropertiesAxioms

protected Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getEquivalentPropertiesAxioms(OWLOntology ontology)

Specified by:

getEquivalentPropertiesAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getDisjointPropertiesAxioms

protected Set<? extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>> getDisjointPropertiesAxioms(OWLOntology ontology)

Specified by:

getDisjointPropertiesAxioms in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getInverses

public Set<OWLObjectPropertyExpression> getInverses(OWLOntology ontology)

Specified by:

getInverses in interface OWLObjectPropertyExpression

getInverses

public Set<OWLObjectPropertyExpression> getInverses(Set<OWLOntology> ontologies)

Specified by:

getInverses in interface OWLObjectPropertyExpression

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLPropertyExpressionImpl<OWLClassExpression,OWLObjectPropertyExpression>

getSimplified

public OWLObjectPropertyExpression getSimplified()

Specified by:

getSimplified in interface OWLObjectPropertyExpression

getInverseProperty

public OWLObjectPropertyExpression getInverseProperty()

Specified by:

getInverseProperty in interface OWLObjectPropertyExpression

getNamedProperty

public OWLObjectProperty getNamedProperty()

Specified by:

getNamedProperty in interface OWLObjectPropertyExpression