Contents I. Introduction
DeepTelos [1] was originally defined by just three deductive rules extending the existing Telos [2] constructs attribution, instantiation, and specialization. These 3 rules were later extended to five rules and one constraint to better integrate the derived specializations of DeepTelos and the existing Telos specialization axioms. The core idea of DeepTelos is to exploit the powertype pattern [3] via a rule: if a class has a most general instance , then any instance of is a subclass of . The most general instance serves as a proxy for class at one instantiation level lower. It has all instances of instances of as its instances. The class itself can have another most general instance , which serves as a proxy for at even one instantiation level lower. So, the lattice of most general instance relations, denoted as (m IN c), spans a family of modeling levels. ConceptBase [4] is a multi-user database system for managing all kinds of models and metamodels. It implements its logical component (rules, constraints, queries) via a Datalog-neg engine. It also features a graphical user interface.
