GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → agda → agda-web-semantic

agda / agda-web-semantic

Licence: MIT license
Agda libraries for the semantic web

Programming Languages

Agda
84 projects

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].