# Deductive Cadastre: A Formal Datalog Ontology Engine for Burbank Municipal Land Use, Corporate Control & Relational Calculus

> Burbank Ledger — Independent civic data for Burbank, California

Formal deductive database (Datalog) ontology engine with stratified negation, relational algebra operators (Selection, Projection, Join, Union, Difference, Division), existential (∃) and universal (∀) quantification over Burbank's cadastral parcel rolls, multi-tier corporate holding hierarchies, brownfield Superfund remediation boundaries, and SEC/IRS financial filings. Datalog Rules: /downloads/burbank-cadastre-ontology.datalog, EDB Facts: /downloads/burbank-cadastre-edb-facts.json.

- Site: https://burbank-ledger.pages.dev/articles/cadastral-corporate-datalog-ontology/
- HTML: https://burbank-ledger.pages.dev/articles/cadastral-corporate-datalog-ontology/
- License: CC BY 4.0
- Content-Signal: search=yes, ai-input=yes, ai-train=no