"Ontological Metamodeling with Explicit Instantiation."

Alfons Laarman, Ivan Kurtev (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics