Abstract | ||
---|---|---|
This paper explores the possibility of using formal ontologies to support detection of conceptual errors in specifications. We define a conceptual error as a misunderstanding of the application domain knowledge which results in undesirable behaviour of the software system. We explain how to use formal ontologies, and in particular ontological constraints, to tackle this problem. We present a flexible architecture based on meta interpretation in logic programming in which the specification is viewed as a multilayer design. We illustrate the significance of this approach for the software and ontology engineering community via an example case in the domain of ecological modelling. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-48775-1_13 | knowledge acquisition, modeling and management |
Keywords | DocType | ISBN |
software system,conceptual error,support error,logic programming,application domain knowledge,formal ontology,flexible architecture,example case,meta interpretation,formal ontologies,multilayer design,ecological modelling | Conference | 3-540-66044-5 |
Citations | PageRank | References |
4 | 0.80 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yannis Kalfoglou | 1 | 1057 | 74.48 |
David Stuart Robertson | 2 | 124 | 16.02 |