@inproceedings{8b698b915ac4495196860859ab7071f7,
title = "Knowledgebases as structured theories",
abstract = "According to the structural paradigm of knowledge representation, knowledgebases are built by organizing facts along the semantic primitives of a conceptual modelling approach. Previous work of the authors has shown how these organizational principles can be brought into the logical view of knowledge representation by defining mechanisms for developing knowledgebases as structured theories. Herein, a formalization is proposed for such organizational principles and for the structure of the resulting knowledge-bases. Conceptual modelling approaches are seen to define criteria for {"}well formed theories{"} in a π-institution. Such theories are accorded an explicit structure from which it is possible to have access to its components. The way is thus prepared to support the definition of higher level inference mechanisms able to manipulate the structure of knowledgebases.",
keywords = "Theory Mapping, Knowledge representation, Conceptual Schema, Parameterized Theory, Entity Type",
author = "Jose Fiadeiro and Am{\'i}lcar Sernadas and Cristina Sernadas",
year = "1988",
language = "English",
isbn = "9783540505174",
volume = "338",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "469--486",
booktitle = "Foundations of Software Technology and Theoretical Computer Science",
}