Appropriate techniques for the development of application ontologies are needed and GAODT ("Goal-Oriented Application Ontology Development Technique") technique described in this article contributes to this purpose. GAODT translates the goals and facts in natural language expressing the requirements of a knowledge-based system into rules and facts in first-order logic. Next, this knowledge base is mapped to an application ontology. GAODT was evaluated through the development of a case study on the construction of the application ontology of a knowledge-based system for the domain of Intestate Succession. A software tool to support the application of GAODT was also developed.
['Luis Eduardo Santos', 'Rosario Girardi', 'Paulo Novais']
A Case Study on the Construction of Application Ontologies