org.semanticweb.owlapi.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 an InverseObjectProperties axiom in the OWL 2 Specification.

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

java.util.Set<OWLSubObjectPropertyOfAxiom>	asSubObjectPropertyOfAxioms()
OWLInverseObjectPropertiesAxiom	getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.
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.owlapi.model.OWLNaryPropertyAxiom

getProperties, getPropertiesMinus

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

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType

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

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

Methods inherited from interface java.lang.Comparable

compareTo

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

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType

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

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

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.

asSubObjectPropertyOfAxioms

java.util.Set<OWLSubObjectPropertyOfAxiom> asSubObjectPropertyOfAxioms()

getAxiomWithoutAnnotations

OWLInverseObjectPropertiesAxiom getAxiomWithoutAnnotations()

Description copied from interface: OWLAxiom

Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially returns a version of this axiom stripped of any annotations

Specified by:

getAxiomWithoutAnnotations in interface OWLAxiom

Returns:

The annotationless version of this axiom