net.sansa_stack.inference.spark.forwardchaining.axioms
A forward chaining implementation for the OWL Horst entailment regime that works on OWL axioms.
Rule names refer to the name scheme used in 'RORS: Enhanced Rule-based OWL Reasoning on Spark' by Liu, Feng, Zhang, Wang, Rao
The Apache Spark context
The degree of parallelism
A forward chaining implementation for the OWL Horst entailment regime that works on OWL axioms.
Rule names refer to the name scheme used in 'RORS: Enhanced Rule-based OWL Reasoning on Spark' by Liu, Feng, Zhang, Wang, Rao