org.semanticweb.owlapi.model
Interface OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject>

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLPropertyRange, OWLRestriction<R,P,P>, SWRLPredicate

All Known Subinterfaces:

OWLDataHasValue, OWLObjectHasValue

All Known Implementing Classes:

OWLDataHasValueImpl, OWLObjectHasValueImpl, OWLValueRestrictionImpl

public interface OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject>
extends OWLRestriction<R,P,P>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Method Summary

OWLClassExpression	asSomeValuesFrom() A convenience method that obtains this restriction as an existential restriction with a nominal filler.
V	getValue() Gets the value which is the filler for this restriction.

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

getProperty, isDataRestriction, isObjectRestriction

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

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

Method Detail

getValue

V getValue()

Gets the value which is the filler for this restriction. In the case of an object restriction this will be an individual, in the case of a data restriction this will be a constant (data value).

asSomeValuesFrom

OWLClassExpression asSomeValuesFrom()

A convenience method that obtains this restriction as an existential restriction with a nominal filler.

Returns:

The existential equivalent of this value restriction. simp(HasValue(p a)) = some(p {a})