The first tractability map of the public semantic web. 529 ontologies (OBO
life-science registry, LOV web-vocabulary registry via archive, W3C core, and the
major industry and government standards) compiled to their declared constraint
graphs and certified (treewidth, interaction rank).
55% of parsed ontologies declare zero constraint axioms - they are
counterfactual-blind as written, unable to support a single "what… See the full description on the dataset page:
https://huggingface.co/datasets/fabsssss/semantic-web-counterfactual-census.
