org.semanticweb.owlapi.model.providers

Interface HasValueProvider

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface HasValueProvider

Object and datatype hasvalue provider.

Method Summary

Modifier and Type	Method and Description
OWLDataHasValue	getOWLDataHasValue(OWLDataPropertyExpression property, OWLLiteral value)
OWLObjectHasValue	getOWLObjectHasValue(OWLObjectPropertyExpression property, OWLIndividual individual)

Method Detail

getOWLDataHasValue

OWLDataHasValue getOWLDataHasValue(OWLDataPropertyExpression property,
                                   OWLLiteral value)

Parameters:

property - The property that the restriction acts along.

value - value for restriction

Returns:

a HasValue restriction with specified property and value

getOWLObjectHasValue

OWLObjectHasValue getOWLObjectHasValue(OWLObjectPropertyExpression property,
                                       OWLIndividual individual)

Parameters:

property - The property that the restriction acts along.

individual - individual for restriction

Returns:

a HasValue restriction with specified property and value