Class

net.sansa_stack.inference.spark.forwardchaining

ForwardRuleReasonerOWLHorst

Related Doc: package forwardchaining

Permalink

class ForwardRuleReasonerOWLHorst extends TransitiveReasoner

A forward chaining implementation of the OWL Horst entailment regime.

Linear Supertypes
TransitiveReasoner, ForwardRuleReasoner, Profiler, Logging, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ForwardRuleReasonerOWLHorst
  2. TransitiveReasoner
  3. ForwardRuleReasoner
  4. Profiler
  5. Logging
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ForwardRuleReasonerOWLHorst(sc: SparkContext)

    Permalink
  2. new ForwardRuleReasonerOWLHorst(sc: SparkContext, parallelism: Int = 2)

    Permalink

    create a new OWL Horst forward chaining reasoner

    create a new OWL Horst forward chaining reasoner

    sc

    the Apache Spark context

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def addTransitivePairs[A, B](s: Set[(A, B)]): Set[(A, B)]

    Permalink
    Definition Classes
    TransitiveReasoner
  5. def apply(graph: RDFGraph): RDFGraph

    Permalink

    Applies forward chaining to the given RDF graph and returns a new RDF graph that contains all additional triples based on the underlying set of rules.

    Applies forward chaining to the given RDF graph and returns a new RDF graph that contains all additional triples based on the underlying set of rules.

    graph

    the RDF graph

    returns

    the materialized RDF graph

    Definition Classes
    ForwardRuleReasonerOWLHorstTransitiveReasonerForwardRuleReasoner
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def computeTransitiveClosure(edges: Dataset[RDFTriple]): Dataset[RDFTriple]

    Permalink

    Computes the transitive closure for a Dataframe of triples

    Computes the transitive closure for a Dataframe of triples

    edges

    the Dataframe of triples

    returns

    a Dataframe containing the transitive closure of the triples

    Definition Classes
    TransitiveReasoner
  9. def computeTransitiveClosure[A](edges: RDD[(A, A)])(implicit arg0: ClassTag[A]): RDD[(A, A)]

    Permalink

    Computes the transitive closure for an RDD of tuples

    Computes the transitive closure for an RDD of tuples

    edges

    the RDD of tuples

    returns

    an RDD containing the transitive closure of the tuples

    Definition Classes
    TransitiveReasoner
  10. def computeTransitiveClosure(triples: RDD[RDFTriple], predicate: String): RDD[RDFTriple]

    Permalink

    Computes the transitive closure for the given predicate on an RDD of triples.

    Computes the transitive closure for the given predicate on an RDD of triples.

    triples

    the RDD of triples

    predicate

    the predicate

    returns

    an RDD containing the transitive closure of the triples

    Definition Classes
    TransitiveReasoner
  11. def computeTransitiveClosure(triples: RDD[RDFTriple]): RDD[RDFTriple]

    Permalink

    Computes the transitive closure on an RDD of triples.

    Computes the transitive closure on an RDD of triples. Note, that the assumption is that all triples do have the same predicate.

    triples

    the RDD of triples

    returns

    an RDD containing the transitive closure of the triples

    Definition Classes
    TransitiveReasoner
  12. def computeTransitiveClosure(triples: Set[RDFTriple]): Set[RDFTriple]

    Permalink

    Computes the transitive closure on a set of triples, i.e.

    Computes the transitive closure on a set of triples, i.e. it is computed in-memory by the driver. Note, that the assumption is that all triples do have the same predicate.

    triples

    the set of triples

    returns

    a set containing the transitive closure of the triples

    Definition Classes
    TransitiveReasoner
  13. def computeTransitiveClosurePairs[A, B](s: Set[(A, B)]): Set[(A, B)]

    Permalink
    Definition Classes
    TransitiveReasoner
  14. def computeTransitiveClosureSemiNaive[A](edges: RDD[(A, A)])(implicit arg0: ClassTag[A]): RDD[(A, A)]

    Permalink

    Semi-naive computation of the transitive closure T for an RDD of tuples R=(x,y).

    Semi-naive computation of the transitive closure T for an RDD of tuples R=(x,y).

    (1) T = R
    (2) ∆T = R
    (3) while ∆T != ∅ do
    (4) ∆T = ∆T ◦ R − T
    (5) T = T ∪ ∆T
    (6) end
    edges

    the RDD of tuples (x,y)

    returns

    an RDD containing the transitive closure of the tuples

    Definition Classes
    TransitiveReasoner
  15. def debug(msg: ⇒ String, o: Any, os: Any*): Unit

    Permalink
    Definition Classes
    Logging
  16. def debug(msg: ⇒ String, e: Throwable): Unit

    Permalink
    Definition Classes
    Logging
  17. def debug(msg: ⇒ String): Unit

    Permalink
    Definition Classes
    Logging
  18. def deduplicate(triples: RDD[RDFTriple]): RDD[RDFTriple]

    Permalink
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def error(msg: ⇒ String, o: Any, os: Any*): Unit

    Permalink
    Definition Classes
    Logging
  22. def error(msg: ⇒ String, e: Throwable): Unit

    Permalink
    Definition Classes
    Logging
  23. def error(msg: ⇒ String): Unit

    Permalink
    Definition Classes
    Logging
  24. def extractTriples(triples: RDD[RDFTriple], subject: Option[String], predicate: Option[String], obj: Option[String]): RDD[RDFTriple]

    Permalink

    Extracts all triples that match the given subject, predicate and object if defined.

    Extracts all triples that match the given subject, predicate and object if defined.

    triples

    the RDD of triples

    subject

    the subject

    predicate

    the predicate

    obj

    the object

    returns

    the RDD of triples that match

    Definition Classes
    ForwardRuleReasoner
  25. def extractTriples(triples: RDD[RDFTriple], predicate: String): RDD[RDFTriple]

    Permalink

    Extracts all triples for the given predicate.

    Extracts all triples for the given predicate.

    triples

    the RDD of triples

    predicate

    the predicate

    returns

    the RDD of triples that contain the predicate

    Definition Classes
    ForwardRuleReasoner
  26. def extractTriples(triples: Set[RDFTriple], predicate: String): Set[RDFTriple]

    Permalink

    Extracts all triples for the given predicate.

    Extracts all triples for the given predicate.

    triples

    the triples

    predicate

    the predicate

    returns

    the set of triples that contain the predicate

    Definition Classes
    ForwardRuleReasoner
  27. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  30. def info(msg: ⇒ String, o: Any, os: Any*): Unit

    Permalink
    Definition Classes
    Logging
  31. def info(msg: ⇒ String, e: Throwable): Unit

    Permalink
    Definition Classes
    Logging
  32. def info(msg: ⇒ String): Unit

    Permalink
    Definition Classes
    Logging
  33. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  34. def log: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    Logging
  35. def logName: String

    Permalink
    Attributes
    protected
    Definition Classes
    Logging
  36. var log_: Logger

    Permalink
    Definition Classes
    Logging
  37. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  38. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  39. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  40. val parallelism: Int

    Permalink
    Definition Classes
    TransitiveReasoner
  41. def profile[R](block: ⇒ R): R

    Permalink
    Definition Classes
    Profiler
  42. val properties: Seq[String]

    Permalink
    Definition Classes
    TransitiveReasoner
  43. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  44. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  45. def trace(msg: ⇒ String, o: Any, os: Any*): Unit

    Permalink
    Definition Classes
    Logging
  46. def trace(msg: ⇒ String, e: Throwable): Unit

    Permalink
    Definition Classes
    Logging
  47. def trace(msg: ⇒ String): Unit

    Permalink
    Definition Classes
    Logging
  48. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. def warn(msg: ⇒ String, o: Any, os: Any*): Unit

    Permalink
    Definition Classes
    Logging
  52. def warn(msg: ⇒ String, e: Throwable): Unit

    Permalink
    Definition Classes
    Logging
  53. def warn(msg: ⇒ String): Unit

    Permalink
    Definition Classes
    Logging

Inherited from TransitiveReasoner

Inherited from ForwardRuleReasoner

Inherited from Profiler

Inherited from Logging

Inherited from AnyRef

Inherited from Any

Ungrouped