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. Protected

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

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from OWLReasoner

Inherited from AnyRef

Inherited from Any

Ungrouped