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
supported	`rdfs12`	Container membership: each `rdf:_n` (n > 0) is axiomatised as `rdf:type rdf:Property`, `rdf:type rdfs:ContainerMembershipProperty`, and `rdfs:subPropertyOf rdfs:member`. The last yields `x rdfs:member y` via `prp-spo1`.
partial	`rdfs-datatype`	Ill-formed typed literal diagnostic (`RDFS.DATATYPE`). Recognised datatypes: `xsd:string`, `xsd:integer`, `xsd:int`, `rdf:langString`, `rdf:XMLLiteral`. Unrecognised datatypes pass through silently.
partial	`rdfs-datatype-range`	Diagnostic (`RDFS.DATATYPE_RANGE`) when an object literal’s datatype is not in the value space declared by the predicate’s `rdfs:range`.

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.