GitHub repository: ComFreek/basic-ontology-language
Primary language: Coq
Description: An experimental ontology language formalized in Coq with many semantics