P
- property typepublic abstract class OWLSubPropertyAxiomImpl<P extends OWLPropertyExpression> extends OWLPropertyAxiomImplWithEntityAndAnonCaching implements OWLSubPropertyAxiom<P>
Constructor and Description |
---|
OWLSubPropertyAxiomImpl(P subProperty,
P superProperty,
Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
P |
getSubProperty() |
P |
getSuperProperty() |
isAnnotationAxiom, isLogicalAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType
compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
compareTo
getSignature
containsEntityInSignature
getAnonymousIndividuals
getClassesInSignature
getObjectPropertiesInSignature
getDataPropertiesInSignature
getIndividualsInSignature
getDatatypesInSignature
getAnnotationPropertiesInSignature
isAnonymous, isNamed
public OWLSubPropertyAxiomImpl(@Nonnull P subProperty, @Nonnull P superProperty, @Nonnull Collection<? extends OWLAnnotation> annotations)
subProperty
- subPropertysuperProperty
- superPropertyannotations
- annotationspublic P getSubProperty()
getSubProperty
in interface OWLSubPropertyAxiom<P extends OWLPropertyExpression>
public P getSuperProperty()
getSuperProperty
in interface OWLSubPropertyAxiom<P extends OWLPropertyExpression>
public boolean equals(Object obj)
equals
in class OWLAxiomImplWithEntityAndAnonCaching
Copyright © 2020 The University of Manchester. All rights reserved.