Eco-logic: logic-based approaches to ecological modelling
Eco-logic: logic-based approaches to ecological modelling
Commitment-Based Software Development
IEEE Transactions on Software Engineering
Specifications are (preferably) executable
Software Engineering Journal
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Inhibiting factors, market structure and the industrial uptake of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Knowledge level modelling: concepts and terminology
The Knowledge Engineering Review
The Knowledge Engineering Review
The Process Interchange Format and Framework
The Knowledge Engineering Review
Hi-index | 0.00 |
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.