Extensional Ontology
“lexons”: elementary entries of an extensional ontology, of form
where g is a context, t0 and T are resp. a term (headword) and a set of terms, and r is a role
- how to define contexts? E.g. Lenat’s “12 dimensions” [1998], …
in DOGMA: g of the form g0 > g1 > g2 >…
- contexts may themselves be headwords of lexons