org.semanticweb.owlapi.model

Interface OWLObjectPropertyExpression

All Superinterfaces:

AsOWLAnnotationProperty, AsOWLDataProperty, AsOWLObjectProperty, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLObject, OWLPropertyExpression, Serializable, SWRLPredicate

All Known Subinterfaces:

OWLObjectInverseOf, OWLObjectProperty

All Known Implementing Classes:

OWLObjectInverseOfImpl, OWLObjectPropertyImpl

public interface OWLObjectPropertyExpression
extends OWLPropertyExpression, SWRLPredicate

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Property Summary

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

isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

asOWLObjectProperty, isOWLObjectProperty

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

asOWLDataProperty, isOWLDataProperty

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

asOWLAnnotationProperty, isOWLAnnotationProperty

Method Summary

Modifier and Type	Method and Description
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.
default OWLObjectPropertyExpression	getSimplified() Returns this property in its simplified form.
default boolean	isObjectPropertyExpression()

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

accept, accept, asDataPropertyExpression, asObjectPropertyExpression, isDataPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty

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

accept, accept, getNestedClassExpressions, hasSharedStructure, isAnonymousExpression, isAxiom, isBottomEntity, isIndividual, isIRI, isOntology, isTopEntity, nestedClassExpressions

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature, signature

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

containsEntityInSignature

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

anonymousIndividuals, getAnonymousIndividuals

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

classesInSignature, getClassesInSignature

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

getObjectPropertiesInSignature, objectPropertiesInSignature

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

dataPropertiesInSignature, getDataPropertiesInSignature

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

getIndividualsInSignature, individualsInSignature

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

datatypesInSignature, getDatatypesInSignature

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

annotationPropertiesInSignature, getAnnotationPropertiesInSignature

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

typeIndex

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

hashIndex

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

components, componentsAnnotationsFirst, componentsWithoutAnnotations

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

isAnonymous

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

asOWLObjectProperty, isOWLObjectProperty

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

asOWLDataProperty, isOWLDataProperty

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

asOWLAnnotationProperty, isOWLAnnotationProperty

Method Detail

getInverseProperty

OWLObjectPropertyExpression getInverseProperty()

Obtains the property that corresponds to the inverse of this property.

Returns:

The inverse of this property. Note that this property will not necessarily be in the simplest form.

getSimplified

default OWLObjectPropertyExpression getSimplified()

Returns this property in its simplified form.

Returns:

Let p be a property name and PE an object property expression. The simplification, 'simp', is defined as follows: simp(p) = p simp(inv(p)) = inv(p) simp(inv(inv(PE)) = simp(PE)

getNamedProperty

OWLObjectProperty getNamedProperty()

Get the named object property used in this property expression.

Returns:

P if this expression is either inv(P) or P.

isObjectPropertyExpression

default boolean isObjectPropertyExpression()

Specified by:

isObjectPropertyExpression in interface OWLPropertyExpression

Returns:

true if this is an object property