public interface OWLHasKeyAxiom extends OWLLogicalAxiom
Modifier and Type | Method and Description |
---|---|
OWLHasKeyAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
OWLClassExpression |
getClassExpression()
Gets the class expression, instances of which, this axiom acts as the key
for
|
Set<OWLDataPropertyExpression> |
getDataPropertyExpressions()
Gets the set of data property expressions that make up the key.
|
Set<OWLObjectPropertyExpression> |
getObjectPropertyExpressions()
Gets the set of object property expressions that make up the key.
|
Set<OWLPropertyExpression<?,?>> |
getPropertyExpressions()
Gets the set of property expressions that form the key
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
OWLClassExpression getClassExpression()
Set<OWLPropertyExpression<?,?>> getPropertyExpressions()
Set<OWLObjectPropertyExpression> getObjectPropertyExpressions()
getPropertyExpressions()
method.Set<OWLDataPropertyExpression> getDataPropertyExpressions()
getPropertyExpressions()
method.OWLHasKeyAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2017 The University of Manchester. All Rights Reserved.