β Scribed by Nicola Guarino
No coin nor oath required. For personal study only.
email : guarino Γͺ ladseb .pd .cnr .it I defend here the thesis of the independence between domain knowledge and problem-solving knowledge , arguing against the dominance of the so-called ''interaction problem'' mentioned in a recent paper by Van Heijst , Schreiber and Wielinga to dispute the feasibility of a single domain ontology shared by a number of dif ferent applications . The main point is that reusability across multiple tasks or methods can and should be systematically pursued even when modelling knowledge related to a single task or method . Under this view , I discuss how the principles of formal ontology and ontological engineering can be used in the practice of knowledge engineering , focusing in particular on the interplay between general ontologies , method ontologies and application ontologies , and on the role of ontologies in the knowledge engineering process . I will then stress the role of domain analysis , often absent in current methodologies for the development of knowledge-based systems .
Γ· 1997 Academic Press Limited .
''Firstly , the application task determines to a large extent which kinds of knowledge should be encoded . ( . . . ) Secondly , the knowledge must be encoded in such a way that the inference strategy used can reason ef ficiently'' .
π SIMILAR VOLUMES
Is\_A'' links are the core component of all ontologies and are organized into ''hierarchies of concepts''. In this paper we will first address the problem of an automatic help to build sound hierarchies. Dependencies called ''existence constraints'' are the foundation for the definition of a ''norma
In this paper we review and compare the main methodologies, tools and languages for building ontologies that have been reported in the literature, as well as the main relationships among them. Ontology technology is nowadays mature enough: many methodologies, tools and languages are already availabl