OWL 2 RL Rules¶

Reasonable implements a subset of the OWL 2 RL reasoning rules defined by the W3C. The tables below show the current implementation status.

supported	Rule is fully implemented and produces inferred triples.
partial	Rule is implemented but produces a diagnostic instead of new triples (violation detection only).
not supported	Rule is not yet implemented.

RDFS Semantics¶

Status	Rule	Notes
supported	`rdfs11`	`rdfs:subClassOf` transitivity

Status	Rule	Notes
not supported	`eq-ref`	Very inefficient — causes runaway flux; not implemented
supported	`eq-sym`
supported	`eq-trans`
supported	`eq-rep-s`
supported	`eq-rep-p`
supported	`eq-rep-o`
not supported	`eq-diff1`
not supported	`eq-diff2`
not supported	`eq-diff3`

Status	Rule	Notes
not supported	`prp-ap`
supported	`prp-dom`
supported	`prp-rng`
supported	`prp-fp`
supported	`prp-ifp`
partial	`prp-irp`	Violation detection only — emits a diagnostic
supported	`prp-symp`
partial	`prp-asyp`	Violation detection only — emits a diagnostic
supported	`prp-trp`
supported	`prp-spo1`
not supported	`prp-spo2`
supported	`prp-eqp1`
supported	`prp-eqp2`
partial	`prp-pdw`	Violation detection only — emits a diagnostic
not supported	`prp-adp`
supported	`prp-inv1`
supported	`prp-inv2`
not supported	`prp-key`
not supported	`prp-npa1`
not supported	`prp-npa2`

Status	Rule	Notes
supported	`cls-thing`
supported	`cls-nothing1`
partial	`cls-nothing2`	Violation detection only — emits a diagnostic
supported	`cls-int1`
supported	`cls-int2`
supported	`cls-uni`
partial	`cls-com`	Violation detection only — emits a diagnostic
supported	`cls-svf1`
supported	`cls-svf2`
supported	`cls-avf`
supported	`cls-hv1`
supported	`cls-hv2`
not supported	`cls-maxc1`
not supported	`cls-maxc2`
not supported	`cls-maxqc1`
not supported	`cls-maxqc2`
not supported	`cls-maxqc3`
not supported	`cls-maxqc4`
not supported	`cls-oo`

Status	Rule	Notes
supported	`cax-sco`
supported	`cax-eqc1`
supported	`cax-eqc2`
partial	`cax-dw`	Violation detection only — emits a diagnostic
not supported	`cax-adc`

Status	Rule	Notes
supported	`scm-eqc1`	`owl:equivalentClass` → `rdfs:subClassOf` (one direction)
supported	`scm-eqc2`	`owl:equivalentClass` → `rdfs:subClassOf` (other direction)

Datatype semantics are not currently implemented.