public interface UniversalProvider
Modifier and Type | Method and Description |
---|---|
OWLDataAllValuesFrom |
getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWL2Datatype dataRange) |
OWLDataAllValuesFrom |
getOWLDataAllValuesFrom(OWLDataPropertyExpression property,
OWLDataRange dataRange) |
OWLObjectAllValuesFrom |
getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property,
OWLClassExpression classExpression) |
OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.OWLDataAllValuesFrom getOWLDataAllValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.OWLObjectAllValuesFrom getOWLObjectAllValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
property
- The property that the restriction acts along.classExpression
- the class expression for the restrictionCopyright © 2020 The University of Manchester. All rights reserved.