Ontology double articulation

Ontology double articulation refers to the methodological principle in ontology engineering, that an ontology should be built as separate domain axiomatizations and application axiomatizations. According to this principle, an application axiomatization should be built in terms of (i.e.