public interface ExistentialProvider
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
|
OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWLDataRange dataRange)
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.OWLDataSomeValuesFrom getOWLDataSomeValuesFrom(OWLDataPropertyExpression property, OWL2Datatype dataRange)
property
- The property that the restriction acts along.dataRange
- The data range that is the filler.OWLObjectSomeValuesFrom getOWLObjectSomeValuesFrom(OWLObjectPropertyExpression property, OWLClassExpression classExpression)
property
- The object property that the restriction acts along.classExpression
- The class expression that is the filler.Copyright © 2020 The University of Manchester. All rights reserved.