Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnnotations
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLObjectPropertyExpression>
, HasRange<OWLClassExpression>
, HasSignature
, IsAnonymous
, OWLAxiom
, OWLLogicalAxiom
, OWLObject
, OWLObjectPropertyAxiom
, OWLPropertyAxiom
, OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>
, OWLSubClassOfAxiomShortCut
, OWLUnaryPropertyAxiom<OWLObjectPropertyExpression>
, Serializable
OWLObjectPropertyRangeAxiomImpl
public interface OWLObjectPropertyRangeAxiom extends OWLPropertyRangeAxiom<OWLObjectPropertyExpression,OWLClassExpression>, OWLObjectPropertyAxiom
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyRangeAxiom |
getAxiomWithoutAnnotations() |
Gets an axiom that is structurally equivalent to this axiom without
annotations.
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
isAnonymous
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
getRange
asOWLSubClassOfAxiom
getProperty
@Nonnull OWLObjectPropertyRangeAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2018 The University of Manchester. All rights reserved.