org.semanticweb.owlapi.model.providers

Interface ExistentialProvider

All Known Subinterfaces:

OWLDataFactory

public interface ExistentialProvider

Existential provider interface.

Method Summary

Modifier and Type	Method and Description
OWLDataSomeValuesFrom	getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange) Gets an OWLDataSomeValuesFrom restriction
OWLDataSomeValuesFrom	getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange) Gets an OWLDataSomeValuesFrom restriction
OWLObjectSomeValuesFrom	getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression) Gets an OWLObjectSomeValuesFrom restriction

Method Detail

getOWLDataSomeValuesFrom

OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                               OWLDataRange dataRange)

Gets an OWLDataSomeValuesFrom restriction

Parameters:

property - The property that the restriction acts along.

dataRange - The data range that is the filler.

Returns:

An OWLDataSomeValuesFrom restriction that acts along the specified property and has the specified filler

getOWLDataSomeValuesFrom

OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property,
                                               OWL2Datatype dataRange)

Gets an OWLDataSomeValuesFrom restriction

Parameters:

property - The property that the restriction acts along.

dataRange - The data range that is the filler.

Returns:

An OWLDataSomeValuesFrom restriction that acts along the specified property and has the specified filler

getOWLObjectSomeValuesFrom

OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property,
                                                   OWLClassExpression classExpression)

Gets an OWLObjectSomeValuesFrom restriction

Parameters:

property - The object property that the restriction acts along.

classExpression - The class expression that is the filler.

Returns:

An OWLObjectSomeValuesFrom restriction along the specified property with the specified filler