Using a Dependently-Typed Language for Expressing Ontologies.

Richard Dapoigny, Patrick Barlatier

Browse the full KSEM paper archive.