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

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

All Implemented Interfaces:

Serializable, Comparable<org.semanticweb.owlapi.model.OWLObject>, org.semanticweb.owlapi.model.OWLObject, 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

Direct Known Subclasses:

OWLObjectInverseOfImpl, OWLObjectPropertyImpl

public abstract class OWLObjectPropertyExpressionImpl
extends OWLPropertyExpressionImpl<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLObjectPropertyExpression>
implements org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>>	getDisjointPropertiesAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)
protected Set<? extends org.semanticweb.owlapi.model.OWLPropertyDomainAxiom<?>>	getDomainAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)
protected Set<? extends org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>>	getEquivalentPropertiesAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.model.OWLObjectPropertyExpression	getInverseProperty()
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getInverses(org.semanticweb.owlapi.model.OWLOntology ontology)
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getInverses(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
org.semanticweb.owlapi.model.OWLObjectProperty	getNamedProperty()
protected Set<? extends org.semanticweb.owlapi.model.OWLPropertyRangeAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,org.semanticweb.owlapi.model.OWLClassExpression>>	getRangeAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.model.OWLObjectPropertyExpression	getSimplified()
protected Set<? extends org.semanticweb.owlapi.model.OWLSubPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>>	getSubPropertyAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isAsymmetric(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isAsymmetric(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isDataPropertyExpression()
boolean	isFunctional(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isFunctional(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isInverseFunctional(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isInverseFunctional(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isIrreflexive(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isIrreflexive(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isObjectPropertyExpression()
boolean	isReflexive(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isReflexive(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isSymmetric(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isSymmetric(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)
boolean	isTransitive(org.semanticweb.owlapi.model.OWLOntology ontology)
boolean	isTransitive(Set<org.semanticweb.owlapi.model.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 org.semanticweb.owlapi.model.OWLPropertyDomainAxiom<?>> getDomainAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isObjectPropertyExpression

public boolean isObjectPropertyExpression()

Specified by:

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

isDataPropertyExpression

public boolean isDataPropertyExpression()

Specified by:

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

isFunctional

public boolean isFunctional(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isFunctional

public boolean isFunctional(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isInverseFunctional

public boolean isInverseFunctional(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isInverseFunctional

public boolean isInverseFunctional(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isSymmetric

public boolean isSymmetric(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isSymmetric

public boolean isSymmetric(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isAsymmetric

public boolean isAsymmetric(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isAsymmetric

public boolean isAsymmetric(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isReflexive

public boolean isReflexive(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isReflexive

public boolean isReflexive(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isIrreflexive

public boolean isIrreflexive(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isIrreflexive

public boolean isIrreflexive(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

isTransitive

public boolean isTransitive(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

isTransitive

public boolean isTransitive(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

getRangeAxioms

protected Set<? extends org.semanticweb.owlapi.model.OWLPropertyRangeAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression,org.semanticweb.owlapi.model.OWLClassExpression>> getRangeAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

getSubPropertyAxioms

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

Specified by:

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

getEquivalentPropertiesAxioms

protected Set<? extends org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> getEquivalentPropertiesAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

getDisjointPropertiesAxioms

protected Set<? extends org.semanticweb.owlapi.model.OWLNaryPropertyAxiom<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>> getDisjointPropertiesAxioms(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

getInverses

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverses(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

getInverses

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getInverses(Set<org.semanticweb.owlapi.model.OWLOntology> ontologies)

Specified by:

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

equals

public boolean equals(Object obj)

Overrides:

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

getSimplified

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

Specified by:

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

getInverseProperty

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

Specified by:

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

getNamedProperty

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

Specified by:

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