Open World vs Closed World: Modeling OWL and SHACL Semantics in Agda

The tension between the Open World Assumption (OWA) and Closed World Assumption (CWA) represents one of the fundamental philosophical and…