org.semanticweb.owlapi.model

Interface OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>

Type Parameters:

R - range

P - property expression

F - range

All Superinterfaces:

Comparable<OWLObject>, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<P>, HasSignature, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, Serializable, SWRLPredicate

All Known Subinterfaces:

OWLCardinalityRestriction<R,P,F>, OWLDataAllValuesFrom, OWLDataCardinalityRestriction, OWLDataExactCardinality, OWLDataHasValue, OWLDataMaxCardinality, OWLDataMinCardinality, OWLDataSomeValuesFrom, OWLHasValueRestriction<R,P,V>, OWLObjectAllValuesFrom, OWLObjectCardinalityRestriction, OWLObjectExactCardinality, OWLObjectHasSelf, OWLObjectHasValue, OWLObjectMaxCardinality, OWLObjectMinCardinality, OWLObjectSomeValuesFrom, OWLQuantifiedDataRestriction, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<R,P,F>

All Known Implementing Classes:

OWLCardinalityRestrictionImpl, OWLDataAllValuesFromImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityImpl, OWLDataHasValueImpl, OWLDataMaxCardinalityImpl, OWLDataMinCardinalityImpl, OWLDataSomeValuesFromImpl, OWLObjectAllValuesFromImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityImpl, OWLObjectHasSelfImpl, OWLObjectHasValueImpl, OWLObjectMaxCardinalityImpl, OWLObjectMinCardinalityImpl, OWLObjectSomeValuesFromImpl, OWLQuantifiedDataRestrictionImpl, OWLQuantifiedObjectRestrictionImpl, OWLQuantifiedRestrictionImpl, OWLRestrictionImpl, OWLValueRestrictionImpl

public interface OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>
extends OWLAnonymousClassExpression, HasProperty<P>

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group Date: 24-Oct-2006 Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.

Method Summary

Modifier and Type	Method and Description
P	getProperty() Gets the property/properties that the restriction acts along depending on R being a scalar or collection type.
boolean	isDataRestriction() Determines if this is a data restriction.
boolean	isObjectRestriction() Determines if this is an object restriction.

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.HasContainsEntityInSignature

containsEntityInSignature

Method Detail

getProperty

P getProperty()

Gets the property/properties that the restriction acts along depending on R being a scalar or collection type.

Specified by:

getProperty in interface HasProperty<P extends OWLPropertyExpression<R,P>>

Returns:

The property

isObjectRestriction

boolean isObjectRestriction()

Determines if this is an object restriction.

Returns:

true if this is an object restriction, otherwise false

isDataRestriction

boolean isDataRestriction()

Determines if this is a data restriction.

Returns:

true if this is a data restriction, otherwise false