Static mirror of https://dalicc.net/ns, vocabulary version 2, generated on 2026-09-24; the live pages may be newer.
Axiom removal
dalicc:AxiomRemoval is a term of the DALICC vocabulary. Its canonical
identifier is the fragment IRI https://dalicc.net/ns#AxiomRemoval, 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.
Axiom removal owl:Class
https://dalicc.net/ns#AxiomRemoval
A statement that a dependency graph built from another one leaves out one axiom of that graph, because the law of its jurisdiction does not support it. The axiom is named in the reified form, with rdf:subject, rdf:predicate and rdf:object, and the removal carries the legal reason (dalicc:ruleBasis), a plain explanation (dalicc:ruleExplanation) and a status (dalicc:ruleStatus), like a default rule.
Written in the difference files of licensedata/dependencygraph/differences/ and copied into the complete graph scripts/build_dependency_graphs.py generates from them. The generated graph never holds the axiom a removal names.
Added with version 2 of the vocabulary. No shipped graph removes an axiom of the core graph; the difference-file README shows the syntax.
Read dalicc:AxiomRemoval in the vocabulary index, where it sits with the rest of its group.