Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasFiller<OWLDataRange>
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLDataPropertyExpression>
, HasSignature
, IsAnonymous
, OWLAnonymousClassExpression
, OWLClassExpression
, OWLDataRestriction
, OWLObject
, OWLPropertyRange
, OWLQuantifiedRestriction<OWLDataRange>
, OWLRestriction
, Serializable
, SWRLPredicate
OWLDataAllValuesFrom
, OWLDataCardinalityRestriction
, OWLDataExactCardinality
, OWLDataMaxCardinality
, OWLDataMinCardinality
, OWLDataSomeValuesFrom
OWLDataAllValuesFromImpl
, OWLDataCardinalityRestrictionImpl
, OWLDataExactCardinalityImpl
, OWLDataMaxCardinalityImpl
, OWLDataMinCardinalityImpl
, OWLDataSomeValuesFromImpl
public interface OWLQuantifiedDataRestriction extends OWLQuantifiedRestriction<OWLDataRange>, OWLDataRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
getProperty
getFiller
isDataRestriction, isObjectRestriction
Copyright © 2018 The University of Manchester. All rights reserved.