Knowledgebases as structured theories

Jose Fiadeiro, Amílcar Sernadas, Cristina Sernadas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationFoundations of Software Technology and Theoretical Computer Science
Number of pages18
ISBN (Electronic)9783540460305
Publication statusPublished - 1988

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag


  • Theory Mapping
  • Knowledge representation
  • Conceptual Schema
  • Parameterized Theory
  • Entity Type


Dive into the research topics of 'Knowledgebases as structured theories'. Together they form a unique fingerprint.

Cite this