Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLDataPropertyExpression>
, HasSignature
, IsAnonymous
, OWLAnonymousClassExpression
, OWLClassExpression
, OWLObject
, OWLPropertyRange
, OWLRestriction
, Serializable
, SWRLPredicate
OWLDataAllValuesFrom
, OWLDataCardinalityRestriction
, OWLDataExactCardinality
, OWLDataHasValue
, OWLDataMaxCardinality
, OWLDataMinCardinality
, OWLDataSomeValuesFrom
, OWLQuantifiedDataRestriction
OWLDataAllValuesFromImpl
, OWLDataCardinalityRestrictionImpl
, OWLDataExactCardinalityImpl
, OWLDataHasValueImpl
, OWLDataMaxCardinalityImpl
, OWLDataMinCardinalityImpl
, OWLDataSomeValuesFromImpl
, OWLQuantifiedDataRestrictionImpl
public interface OWLDataRestriction extends OWLRestriction, HasProperty<OWLDataPropertyExpression>
Modifier and Type | Method | Description |
---|---|---|
OWLDataPropertyExpression |
getProperty() |
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
isDataRestriction, isObjectRestriction
@Nonnull OWLDataPropertyExpression getProperty()
getProperty
in interface HasProperty<OWLDataPropertyExpression>
getProperty
in interface OWLRestriction
Copyright © 2018 The University of Manchester. All rights reserved.