Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnnotations
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasDomain<IRI>
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLAnnotationProperty>
, HasSignature
, IsAnonymous
, OWLAnnotationAxiom
, OWLAnnotationObject
, OWLAxiom
, OWLObject
, Serializable
public interface OWLAnnotationPropertyDomainAxiom extends OWLAnnotationAxiom, HasProperty<OWLAnnotationProperty>, HasDomain<IRI>
Modifier and Type | Method | Description |
---|---|---|
OWLAnnotationPropertyDomainAxiom |
getAxiomWithoutAnnotations() |
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
IRI |
getDomain() |
Gets the IRI that represents the domain.
|
OWLAnnotationProperty |
getProperty() |
Gets the annotation property that this axiom specifies a domain for.
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
isAnonymous
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
@Nonnull OWLAnnotationProperty getProperty()
getProperty
in interface HasProperty<OWLAnnotationProperty>
@Nonnull OWLAnnotationPropertyDomainAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2018 The University of Manchester. All rights reserved.