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>, 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>

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

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

Methods

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

Method Detail

getProperty

P getProperty()

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

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