org.semanticweb.owlapi.model

Interface OWLRestriction

All Superinterfaces:

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

All Known Subinterfaces:

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

public interface OWLRestriction
extends OWLAnonymousClassExpression

Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method and Description
OWLPropertyExpression	getProperty()
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, getNestedClassExpressions, isBottomEntity, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

Method Detail

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

getProperty

OWLPropertyExpression getProperty()

Returns:

property being restricted