org.semanticweb.owl.model
Interface OWLRestriction<P extends OWLPropertyExpression>

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousDescription, OWLDescription, OWLObject, OWLPropertyRange

All Known Subinterfaces:

OWLCardinalityRestriction<P,F>, OWLDataAllRestriction, OWLDataCardinalityRestriction, OWLDataExactCardinalityRestriction, OWLDataMaxCardinalityRestriction, OWLDataMinCardinalityRestriction, OWLDataSomeRestriction, OWLDataValueRestriction, OWLObjectAllRestriction, OWLObjectCardinalityRestriction, OWLObjectExactCardinalityRestriction, OWLObjectMaxCardinalityRestriction, OWLObjectMinCardinalityRestriction, OWLObjectSelfRestriction, OWLObjectSomeRestriction, OWLObjectValueRestriction, OWLQuantifiedRestriction<P,F>, OWLValueRestriction<P,V>

All Known Implementing Classes:

OWLCardinalityRestrictionImpl, OWLDataAllRestrictionImpl, OWLDataCardinalityRestrictionImpl, OWLDataExactCardinalityRestrictionImpl, OWLDataMaxCardinalityRestrictionImpl, OWLDataMinCardinalityRestrictionImpl, OWLDataSomeRestrictionImpl, OWLDataValueRestrictionImpl, OWLObjectAllRestrictionImpl, OWLObjectCardinalityRestrictionImpl, OWLObjectExactCardinalityRestrictionImpl, OWLObjectMaxCardinalityRestrictionImpl, OWLObjectMinCardinalityRestrictionImpl, OWLObjectSelfRestrictionImpl, OWLObjectSomeRestrictionImpl, OWLObjectValueRestrictionImpl, OWLQuantifiedRestrictionImpl, OWLRestrictionImpl, OWLValueRestrictionImpl

public interface OWLRestriction<P extends OWLPropertyExpression>
extends OWLAnonymousDescription

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a restriction. All restrictions act along a particular property.

Method Summary

P	getProperty() Gets the property that the restriction acts along.

Methods inherited from interface org.semanticweb.owl.model.OWLDescription

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, isOWLNothing, isOWLThing

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getProperty

P getProperty()

Gets the property that the restriction acts along.