Sciweavers

18 search results - page 1 / 4
» fois 2010
Sort
View
FOIS
2010
13 years 10 months ago
Towards an Ontology of Products
Massimiliano Vignolo
FOIS
2010
13 years 9 months ago
A Well-Founded Software Measurement Ontology
Software measurement is a relatively young discipline. As a consequence, it is not well defined yet, making the terminology used diverse. In order to establish a basic conceptualiz...
Monalessa Perini Barcellos, Ricardo de Almeida Fal...
FOIS
2010
13 years 10 months ago
Ontology Verification with Repositories
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
Michael Grüninger, Torsten Hahmann, Ali Hashe...
FOIS
2010
13 years 10 months ago
Goals in a Formal Theory of Commonsense Psychology
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
Jerry R. Hobbs, Andrew S. Gordon