Packages

package axioms

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class ForwardRuleReasonerOWLHorst extends TransitiveReasoner

    A forward chaining implementation for the OWL Horst entailment regime that works on OWL 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

  2. class ForwardRuleReasonerRDFS extends Logging

    A forward chaining implementation for the RDFS entailment regime that works on OWL axioms.

    A forward chaining implementation for the RDFS entailment regime that works on OWL axioms.

    Entailment pattern naming taken from https://www.w3.org/TR/rdf11-mt/#patterns-of-rdfs-entailment-informative

  3. class TransitiveReasoner extends Serializable

Value Members

  1. object ForwardRuleReasonerOWLHorst extends Serializable

Ungrouped