public interface OWLSymmetricObjectPropertyAxiom extends OWLObjectPropertyCharacteristicAxiom
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLSubObjectPropertyOfAxiom> |
asSubPropertyAxioms() |
OWLSymmetricObjectPropertyAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
getProperty
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
java.util.Set<OWLSubObjectPropertyOfAxiom> asSubPropertyAxioms()
OWLSymmetricObjectPropertyAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom