A Language for Modeling Declarative Knowledge Bases in the Context of Model-Driven Engineering | Synapse