Technologies and downloadable resources

This is the place where we present and share some of our core technologies.

Conceptual Authoring

Conceptual Authoring is a generalisation of WYSIWYM (What You See Is What You Meant). For an introduction, please refer to the short description of Conceptual Authoring. In the near future, we will make available tools and resources here.

Corpora

• The Patient Information Leaflet Corpus
  Developed as part of the ICONOCLAST and PILLS projects, the Patient Information Leaflet (PIL) corpus is a collection of several hundred documents giving instructions to patients about their medication. You can browse, search and download the corpus.

Theorem Proving for Dependent Type Systems

• The Alligator Theorem Prover
  Alligator is a theorem prover for Dependent Type Systems (DTS). It has been implemented in both Sicstus and the freely available SWI prolog. The source code is available free of charge under a Creative Commons license. The main advantage of using Dependent Type Systems for theorem proving is that the prover not only tells you whether or not it can prove a certain proposition given a set of assumptions, but also returns a formal representation of the (natural deduction) proof, if it can find one (this proof-object is a term of the typed lambda calculus).