Package org.semanticweb.owlapi.model.providers

Interface ExistentialProvider

All Known Subinterfaces:
OWLDataFactory
public interface ExistentialProvider
Existential provider interface.

  • Method Details

    • 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