org.semanticweb.owlapi.model
Interface OWLObjectPropertyCharacteristicAxiom

All Superinterfaces:

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

All Known Subinterfaces:

OWLAsymmetricObjectPropertyAxiom, OWLFunctionalObjectPropertyAxiom, OWLInverseFunctionalObjectPropertyAxiom, OWLIrreflexiveObjectPropertyAxiom, OWLReflexiveObjectPropertyAxiom, OWLSymmetricObjectPropertyAxiom, OWLTransitiveObjectPropertyAxiom

All Known Implementing Classes:

OWLAsymmetricObjectPropertyAxiomImpl, OWLFunctionalObjectPropertyAxiomImpl, OWLInverseFunctionalObjectPropertyAxiomImpl, OWLIrreflexiveObjectPropertyAxiomImpl, OWLObjectPropertyCharacteristicAxiomImpl, OWLReflexiveObjectPropertyAxiomImpl, OWLSymmetricObjectPropertyAxiomImpl, OWLTransitiveObjectPropertyAxiomImpl

public interface OWLObjectPropertyCharacteristicAxiom
extends OWLObjectPropertyAxiom, OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

Method Summary

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

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, 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.OWLUnaryPropertyAxiom

getProperty

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

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, 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