Packages

c

org.geneontology.whelk.owlapi

WhelkOWLReasoner

class WhelkOWLReasoner extends OWLReasoner

WhelkOWLReasoner provides an OWL API OWLReasoner wrapper for Whelk. It is not thread-safe for ontology changes, but should be able to answer multiple queries in parallel. For better multithreaded applications use the Whelk Scala API instead.

Linear Supertypes
OWLReasoner, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WhelkOWLReasoner
  2. OWLReasoner
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WhelkOWLReasoner(ontology: OWLOntology, bufferingMode: BufferingMode)

Abstract Value Members

  1. abstract def precomputeInferences(arg0: <repeated...>[InferenceType]): Unit
    Definition Classes
    OWLReasoner
    Annotations
    @transient()

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. def dispose(): Unit
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. def flush(): Unit
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  11. def getAllObjectPropertyValues(ind: OWLNamedIndividual): Set[OWLObjectPropertyAssertionAxiom]
  12. def getBottomClassNode(): Node[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  13. def getBottomDataPropertyNode(): Node[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  14. def getBottomObjectPropertyNode(): Node[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  15. def getBufferingMode(): BufferingMode
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def getDataPropertyDomains(arg0: OWLDataProperty, arg1: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  18. def getDataPropertyValues(ind: OWLNamedIndividual, dp: OWLDataProperty): Set[OWLLiteral]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  19. def getDifferentIndividuals(ind: OWLNamedIndividual): NodeSet[OWLNamedIndividual]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  20. def getDisjointClasses(arg0: OWLClassExpression): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  21. def getDisjointDataProperties(arg0: OWLDataPropertyExpression): NodeSet[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  22. def getDisjointObjectProperties(arg0: OWLObjectPropertyExpression): NodeSet[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  23. def getEquivalentClasses(ce: OWLClassExpression): Node[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  24. def getEquivalentDataProperties(arg0: OWLDataProperty): Node[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  25. def getEquivalentObjectProperties(pe: OWLObjectPropertyExpression): Node[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  26. def getFreshEntityPolicy(): FreshEntityPolicy
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  27. def getIndividualNodeSetPolicy(): IndividualNodeSetPolicy
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  28. def getInstances(ce: OWLClassExpression, direct: Boolean): NodeSet[OWLNamedIndividual]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  29. def getInverseObjectProperties(ope: OWLObjectPropertyExpression): Node[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  30. def getObjectPropertyDomains(ope: OWLObjectPropertyExpression, direct: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  31. def getObjectPropertyRanges(ope: OWLObjectPropertyExpression, direct: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  32. def getObjectPropertyValues(ind: OWLNamedIndividual, pe: OWLObjectPropertyExpression): NodeSet[OWLNamedIndividual]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  33. def getPendingAxiomAdditions(): Set[OWLAxiom]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  34. def getPendingAxiomRemovals(): Set[OWLAxiom]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  35. def getPendingChanges(): List[OWLOntologyChange]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  36. def getPrecomputableInferenceTypes(): Set[InferenceType]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  37. def getReasonerName(): String
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  38. def getReasonerVersion(): Version
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  39. def getRootOntology(): OWLOntology
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  40. def getSameIndividuals(ind: OWLNamedIndividual): Node[OWLNamedIndividual]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  41. def getSubClasses(ce: OWLClassExpression, direct: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  42. def getSubDataProperties(dp: OWLDataProperty, direct: Boolean): NodeSet[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  43. def getSubObjectProperties(ope: OWLObjectPropertyExpression, direct: Boolean): NodeSet[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  44. def getSuperClasses(ce: OWLClassExpression, direct: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  45. def getSuperDataProperties(dp: OWLDataProperty, direct: Boolean): NodeSet[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  46. def getSuperObjectProperties(ope: OWLObjectPropertyExpression, direct: Boolean): NodeSet[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  47. def getTimeOut(): Long
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  48. def getTopClassNode(): Node[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  49. def getTopDataPropertyNode(): Node[OWLDataProperty]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  50. def getTopObjectPropertyNode(): Node[OWLObjectPropertyExpression]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  51. def getTypes(ind: OWLNamedIndividual, direct: Boolean): NodeSet[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  52. def getUnsatisfiableClasses(): Node[OWLClass]
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  53. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  54. def interrupt(): Unit
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  55. def isConsistent(): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  56. def isEntailed(axioms: Set[_ <: OWLAxiom]): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  57. def isEntailed(axiom: OWLAxiom): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  58. def isEntailmentCheckingSupported(axiomType: AxiomType[_]): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  59. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  60. def isPrecomputed(inferenceType: InferenceType): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  61. def isSatisfiable(ce: OWLClassExpression): Boolean
    Definition Classes
    WhelkOWLReasoner → OWLReasoner
  62. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  63. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  64. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  65. def precomputeInferences(infType: InferenceType*): Unit
  66. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  67. def toString(): String
    Definition Classes
    AnyRef → Any
  68. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  69. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  70. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from OWLReasoner

Inherited from AnyRef

Inherited from Any

Ungrouped