org.semanticweb.owlapi.model.providers

Interface UniversalProvider

All Known Subinterfaces:

OWLDataFactory

public interface UniversalProvider

Universal provider interface.

Method Summary

Modifier and Type	Method and Description
OWLDataAllValuesFrom	getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
OWLDataAllValuesFrom	getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
OWLObjectAllValuesFrom	getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)

Method Detail

getOWLDataAllValuesFrom

OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                             OWLDataRange dataRange)

Parameters:

property - The property that the restriction acts along.

dataRange - The data range that is the filler.

Returns:

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

getOWLDataAllValuesFrom

OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
                                             OWL2Datatype dataRange)

Parameters:

property - The property that the restriction acts along.

dataRange - The data range that is the filler.

Returns:

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

getOWLObjectAllValuesFrom

OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
                                                 OWLClassExpression classExpression)

Parameters:

property - The property that the restriction acts along.

classExpression - the class expression for the restriction

Returns:

an AllValuesFrom on specified property and class expression