c

conexp.fx.core.dl.deprecated

OWLInterpretation

class OWLInterpretation extends AInterpretation[OWLClassExpression, OWLSubClassOfAxiom, OWLOntology]

Linear Supertypes
AInterpretation[OWLClassExpression, OWLSubClassOfAxiom, OWLOntology], Interpretation[IRI, OWLClassExpression, OWLSubClassOfAxiom, OWLOntology], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OWLInterpretation
  2. AInterpretation
  3. Interpretation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OWLInterpretation(signature: Signature, domain: Set[IRI])
  2. new OWLInterpretation(signature: Signature)
  3. new OWLInterpretation(baseIRI: IRI)

Type Members

  1. final class Variable extends AnyRef

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 _getMostSpecificConcept(individuals: Set[IRI], roleDepth: Int): OWLClassExpression
  5. def _getMostSpecificConcept(individual: IRI, roleDepth: Int): OWLClassExpression
  6. def addConceptNameAssertion(conceptName: String, individual: String): Boolean
    Definition Classes
    AInterpretation
  7. def addConceptNameAssertion(conceptName: IRI, individual: IRI): Boolean
    Definition Classes
    AInterpretation → Interpretation
  8. def addRoleNameAssertion(roleName: String, individual1: String, individual2: String): Boolean
    Definition Classes
    AInterpretation
  9. def addRoleNameAssertion(roleName: IRI, individual1: IRI, individual2: IRI): Boolean
    Definition Classes
    AInterpretation → Interpretation
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. def checkRoleDepth(roleDepth: Int): Unit
    Definition Classes
    Interpretation
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  13. final def computeTBoxBase(roleDepth: Int, maxCardinality: Int, backgroundOntology: OWLOntology, constructors: <repeated...>[Constructor]): OWLOntology
    Definition Classes
    OWLInterpretation → Interpretation
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(obj: Any): Boolean
    Definition Classes
    AInterpretation → AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def getAllMostSpecificConcepts(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): Set[OWLClassExpression]
    Definition Classes
    AInterpretation → Interpretation
  18. final def getAllSuccessors(individuals: Set[IRI], roleName: IRI): Set[IRI]
    Attributes
    protected[deprecated]
  19. final def getAttributeSetForInducedContext(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): SetList[OWLClassExpression]
    Attributes
    protected[deprecated]
    Definition Classes
    OWLInterpretation → AInterpretation
  20. final def getBackgroundImplications(inducedContext: Context[IRI, OWLClassExpression], backgroundOntology: OWLOntology): Set[Implication[IRI, OWLClassExpression]]
    Attributes
    protected[deprecated]
    Definition Classes
    OWLInterpretation → AInterpretation
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def getClosureOperator(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): SetClosureOperator[IRI]
    Definition Classes
    AInterpretation → Interpretation
  23. def getConceptExpressionExtension(conceptExpression: OWLClassExpression): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  24. def getConceptNameExtension(conceptName: IRI): Collection[IRI]
    Definition Classes
    AInterpretation → Interpretation
  25. def getConceptNameExtensions(): Multimap[IRI, IRI]
    Definition Classes
    AInterpretation
  26. def getDomain(): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  27. def getInducedContext(individuals: Collection[IRI], roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): Context[IRI, OWLClassExpression]
    Definition Classes
    AInterpretation → Interpretation
  28. final def getInducedRoleContext(roleDepth: Int): SparseContext[ArrayList[IRI], Triple[Integer, IRI, Integer]]
  29. def getMostSpecificConcept(individuals: Set[IRI], roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): OWLClassExpression
    Definition Classes
    OWLInterpretation → Interpretation
  30. def getMostSpecificConcept(individual: IRI, roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): OWLClassExpression
    Definition Classes
    OWLInterpretation → Interpretation
  31. def getMostSpecificConceptALQ(individuals: Set[IRI], roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): OWLClassExpression
  32. def getMostSpecificConceptALQ(individual: IRI, roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): OWLClassExpression
  33. final def getRoleInclusionBase(roleDepth: Int): Set[OWLSubPropertyChainOfAxiom]
  34. def getRoleNameExtension(roleName: IRI): Collection[Pair[IRI, IRI]]
    Definition Classes
    AInterpretation → Interpretation
  35. def getRoleNameExtensions(): Multimap[IRI, Pair[IRI, IRI]]
    Definition Classes
    AInterpretation
  36. def getRolePredecessorStream(roleName: IRI, individual: IRI): Stream[IRI]
    Attributes
    protected[deprecated]
    Definition Classes
    AInterpretation
  37. def getRolePredecessors(roleName: IRI, individual: IRI): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  38. def getRoleSuccessorStream(roleName: IRI, individual: IRI): Stream[IRI]
    Attributes
    protected[deprecated]
    Definition Classes
    AInterpretation
  39. def getRoleSuccessors(roleName: IRI, individual: IRI): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  40. def getSignature(): Signature
    Definition Classes
    AInterpretation → Interpretation
  41. final def getSuccessorSetsER(individuals: Set[IRI], roleName: IRI): Set[Set[IRI]]
    Attributes
    protected[deprecated]
  42. final def getSuccessorSetsER2(individuals: Set[IRI], roleName: IRI): Set[Set[IRI]]
    Attributes
    protected[deprecated]
  43. def hashCode(): Int
    Definition Classes
    AInterpretation → AnyRef → Any
  44. final def isInstanceOf(individual: IRI, conceptExpression: OWLClassExpression): Boolean
    Definition Classes
    OWLInterpretation → Interpretation
  45. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  46. def isSubsumedBy(subsumee: OWLClassExpression, subsumer: OWLClassExpression): Boolean
    Definition Classes
    AInterpretation → Interpretation
  47. final def models(tBox: OWLOntology): Boolean
    Definition Classes
    OWLInterpretation → Interpretation
  48. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  50. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  51. final def satisfies(gci: OWLSubClassOfAxiom): Boolean
    Definition Classes
    OWLInterpretation → Interpretation
  52. def subsumes(subsumer: OWLClassExpression, subsumee: OWLClassExpression): Boolean
    Definition Classes
    AInterpretation → Interpretation
  53. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  54. def toString(): String
    Definition Classes
    AInterpretation → AnyRef → Any
  55. final def updateSuccessorSets(): Unit

    This method must be called prior to the computation of most specific concepts.

    This method must be called prior to the computation of most specific concepts.

    Definition Classes
    AInterpretation
  56. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from AInterpretation[OWLClassExpression, OWLSubClassOfAxiom, OWLOntology]

Inherited from Interpretation[IRI, OWLClassExpression, OWLSubClassOfAxiom, OWLOntology]

Inherited from AnyRef

Inherited from Any

Ungrouped