sle2009/spaper6

SLE 2009 short paper:
Ontological Metamodeling with Explicit Instantiation

Alfons Laarman, Ivan Kurtev

• DOI: 10.1007/978-3-642-12107-4_14
• T3E: Ontologies
  • It derives a metalanguage from formal ontology and uses ontological notions (instantiation/generalisation) as first-class concepts.
• T3A: Meta-languages
  • The work proposes a new metalanguage (OGML) for metamodeling beyond abstract syntax.
• T5D: Formal Methods
  • It argues for more precise conceptual/formal foundations in metamodeling, grounded in ontology theory.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.