axioms

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