org.semanticweb.owlapi.model
Interface OWLInverseFunctionalObjectPropertyAxiom
- All Superinterfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, OWLObjectPropertyAxiom, OWLObjectPropertyCharacteristicAxiom, OWLPropertyAxiom, OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
- All Known Implementing Classes:
- OWLInverseFunctionalObjectPropertyAxiomImpl
public interface OWLInverseFunctionalObjectPropertyAxiom
- extends OWLObjectPropertyCharacteristicAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Oct-2006
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface java.lang.Comparable |
compareTo |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
accept, accept, getAnnotatedAxiom, getAnnotations, getAxiomType, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType |
Methods inherited from interface java.lang.Comparable |
compareTo |
asOWLSubClassOfAxiom
OWLSubClassOfAxiom asOWLSubClassOfAxiom()
getAxiomWithoutAnnotations
OWLInverseFunctionalObjectPropertyAxiom 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