Static mirror of https://dalicc.net/ns, vocabulary version 2, generated on 2026-09-24; the live pages may be newer.

Rule explanation

dalicc:ruleExplanation is a term of the DALICC vocabulary. Its canonical identifier is the fragment IRI https://dalicc.net/ns#ruleExplanation, so the vocabulary index is where it is defined next to the terms it belongs with; this page repeats that definition at an address of its own.

Rule explanation owl:DatatypeProperty

https://dalicc.net/ns#ruleExplanation

Two or three plain sentences that say what a default rule, an axiom removal or a replacement does and why the law it rests on leads there. dalicc:ruleBasis is the citation, this is the reading of it.

Carried by every default rule and every axiom removal of the shipped dependency graphs, and shown next to the rule on the graph pages, in the comparator and in every check result where the rule fired. It is not legal advice.

Added with version 2 of the vocabulary.

Kind: owl:DatatypeProperty
Used: In 0 of the 581 license records and by 1 dependency-graph statements.
Range: http://www.w3.org/1999/02/22-rdf-syntax-ns#langString
See also: dalicc:AxiomRemoval dalicc:DefaultRule dalicc:ruleBasis

Read dalicc:ruleExplanation in the vocabulary index, where it sits with the rest of its group.