P
- property expressionpublic interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>> extends OWLUnaryPropertyAxiom<P>, OWLSubClassOfAxiomShortCut
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
getDomain()
Gets the domain specified by this property axiom
|
getProperty
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
asOWLSubClassOfAxiom
OWLClassExpression getDomain()