P
- property expressionpublic interface OWLPropertyDomainAxiom<P extends OWLPropertyExpression<?,?>> extends OWLUnaryPropertyAxiom<P>, OWLSubClassOfAxiomShortCut, HasDomain<OWLClassExpression>
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
compareTo
containsEntityInSignature
asOWLSubClassOfAxiom
OWLClassExpression getDomain()
getDomain
in interface HasDomain<OWLClassExpression>
Copyright © 2017 The University of Manchester. All Rights Reserved.