DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) set of basic classes: Prop, Thing, PT, AB, R, TR, T, PR, …, STV, ST, PRO
What if there were systems in refinement relations to each other? So Montague is very coarse.
Zhangsheng Lai, Aik Beng Ng, Liang Ze Wong, Simon See, Shaowei Lin, Dependently Typed Knowledge Graphs (arXiv:2003.03785)
Patrick Barlatier, Richard Dapoigny, A Type-Theoretical Approach for Ontologies: the Case of Roles, Applied Ontology 20 (2012) 1–31. (K-DTT)
Last revised on January 20, 2022 at 07:57:43. See the history of this page for a list of all contributions to it.