P
- property typepublic abstract class OWLPropertyDomainAxiomImpl<P extends OWLPropertyExpression> extends OWLUnaryPropertyAxiomImpl<P> implements OWLPropertyDomainAxiom<P>
Constructor and Description |
---|
OWLPropertyDomainAxiomImpl(P property,
OWLClassExpression domain,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
getDomain()
Gets the domain.
|
getProperty
annotations, annotationsAsList, getNNF, isAnnotated
annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString
components, componentsAnnotationsFirst, componentsWithoutAnnotations, initHashCode
isLogicalAxiom
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isAxiom, isIndividual, isOfType, isOfType, isOfType, typeIndex
accept, accept, getNestedClassExpressions, hashIteration, hasSharedStructure, isAnonymousExpression, isBottomEntity, isIRI, isOntology, isTopEntity, nestedClassExpressions
compareTo
getSignature, signature, unsortedSignature
containsEntityInSignature
anonymousIndividuals, getAnonymousIndividuals
classesInSignature, getClassesInSignature
getObjectPropertiesInSignature, objectPropertiesInSignature
dataPropertiesInSignature, getDataPropertiesInSignature
getIndividualsInSignature, individualsInSignature
datatypesInSignature, getDatatypesInSignature
annotationPropertiesInSignature, getAnnotationPropertiesInSignature
hashIndex
isAnonymous, isNamed
annotations, annotations, annotations, annotationsAsList, getAnnotations, getAnnotations
getProperty
asOWLSubClassOfAxiom
addAnonymousIndividualsToSet, addSignatureEntitiesToSet
public OWLPropertyDomainAxiomImpl(P property, OWLClassExpression domain, Collection<OWLAnnotation> annotations)
property
- propertydomain
- domainannotations
- annotationspublic OWLClassExpression getDomain()
HasDomain
getDomain
in interface HasDomain<OWLClassExpression>
Copyright © 2020 The University of Manchester. All rights reserved.