Ontology reasoning and reasoning-based search expansion are powerful tools for semantic applications. In this paper, we investigate how to apply ontology reasoning, with different ontology metamodeling approaches, to diagnose software models, in particular on models with multiple levels software models, in particular on models with multiple levels of abstraction.
['Nophadol Jekjantuk', 'Jeff Z. Pan', 'Yuzhong Qu']
Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling