org.semanticweb.owl.model
Interface OWLValueRestriction<P extends OWLPropertyExpression,V extends OWLObject>

All Superinterfaces:

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

All Known Subinterfaces:

OWLDataValueRestriction, OWLObjectValueRestriction

public interface OWLValueRestriction<P extends OWLPropertyExpression,V extends OWLObject>
extends OWLRestriction<P>

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

Method Summary

OWLDescription	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.owl.model.OWLRestriction

getProperty

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

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, 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

OWLDescription 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})