Beyond OWL and SHACL: Why Dependent Type Theory is the Future of Knowledge Representation

For over two decades, the semantic web community has relied on OWL (Web Ontology Language) and SHACL (Shapes Constraint Language) as the…