Agda libraries for the semantic web
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

Agda Semantic Web Libraries

These libraries are intended to support processing of semantic web data in Agda, and to ensure that all such data satisfies its integrity constraints, expressed as an ontology.

The data is expressed in terms of the W3C Resource Description Framework (RDF), and ontoloties are expressed in terms of the W3C Web Ontology Language (OWL).

The semantics of RDF and OWL are given as Description Logics, formalized in the Web.Semantic.DL library.