org.semanticweb.owl.model
Interface OWLInverseObjectPropertiesAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLNaryPropertyAxiom<OWLObjectPropertyExpression>, OWLObject, OWLObjectPropertyAxiom, OWLPropertyAxiom

All Known Implementing Classes:

OWLInverseObjectPropertiesAxiomImpl

public interface OWLInverseObjectPropertiesAxiom
extends OWLNaryPropertyAxiom<OWLObjectPropertyExpression>, OWLObjectPropertyAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Nov-2006

Represents a statement that two properties are the inverse of each other. This property axiom contains a set of two properties. inverseOf(P, Q) is considered to be equal to inverseOf(Q, P) - i.e. the order in which the properties are specified isn't important

Method Summary

OWLObjectPropertyExpression	getFirstProperty() Gets the first of the two object properties.
OWLObjectPropertyExpression	getSecondProperty() Gets the second of the two object properties.

Methods inherited from interface org.semanticweb.owl.model.OWLNaryPropertyAxiom

getProperties

Methods inherited from interface org.semanticweb.owl.model.OWLAxiom

accept, accept, getAnnotationAxioms, getAxiomType, getReferencedEntities, isLogicalAxiom

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getFirstProperty

OWLObjectPropertyExpression getFirstProperty()

Gets the first of the two object properties.

getSecondProperty

OWLObjectPropertyExpression getSecondProperty()

Gets the second of the two object properties.