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.
uucp: mcvaxlinesclllf
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Arbib and E. Manes, Arrows, Structures, and Functors, Academic Press 1975
R. Burstall and J. Goguen, "The Semantics of Clear, a Specification Language", in LNCS 86, Proc. 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag 1980, 292–332
R. Carapuça and J. Fiadeiro, "Varying Representation Schemata vs Fact Updating in Knowledge Base Management", in Knowledge and Data, R. Meersman and A. Sernadas (eds), (to be published by North-Holland)
J. Cartmell, "Formalizing the Network and Hierarchical Data Models — an Application of Categorical Logic", in [Pitt et al 86]
J. Fiadeiro and A. Sernadas, "Behavioural Aspects of Intelligent Knowledge Based Information Systems", in Temporal Aspects in Information Systems, C. Rolland, M. Léonard and F. Bodart (eds), North-Holland 1988, 77–92
J. Fiadeiro and A. Sernadas, "Structuring Theories on Consequence", in Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types — Selected Papers, D. Sannella and A. Tarlecki (eds), Springer-Verlag (to be published)
J. Goguen and R. Burstall, "Institutions: Abstract Model Theory for Computer Science", CSLI — 85-30, Stanford University, 1985 (preliminary version in LNCS 164, Proc. Logics of Programming Workshop, E. Clarke and D. Kozen (eds), Springer-Verlag 1984, 221–256)
J. Goguen and R. Burstall, "A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments", in [Pitt et al 86], 313–333
P. Ng, "A Formal Definition of Entity-Relationship Models", in Entity-Relationship Approach to Systems Analysis and Design, P. Chen (ed), North-Holland 1980
D. Pitt, S. Abramski, A. Poigné and D. Rydeheard, Category Theory and Computer Programming, LNCS 240, Springer-Verlag 1986
D. Sannella and R. Burstall, "Structured Theories in LCF", in LNCS 159 CAAP'83: 8th Colloquium on Trees in Algebra and Programming, G. Ausiello and M. Protasi (eds), Springer-Verlag 1983, 377–391
D. Sannella and A. Tarlecki, "Specifications in an Arbitrary Institution", in LNCS 173, Proc. Int. Symposium on Semantics of Data Types, Springer-Verlag 1984, 337–356
A. Sernadas and C. Sernadas, "The Use of E-R Abstractions for Knowledge Representation", in Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, P. Chen (ed), North-Holland and IEEE 1985, 224–231
C. Sernadas and A. Sernadas, "Conceptual Schema Abstraction Mechanisms for Knowledge Representation", in Information Modelling and Data Base Management, H. Kangassalo (ed), Proc. Workshop, Tampere, 1985 (to be published by Springer-Verlag)
C. Sernadas and A. Sernadas, "The Institutional Approach to Conceptual Schema Transformations", Infolog RR 41, 1985
C. Sernadas and A. Sernadas, "Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions", in Database Semantics (DS-1), R. Meersman and T. Steel (eds), North-Holland 1986, 121–140
A. Sernadas and C. Sernadas, "Abstraction and Inference Mechanisms for Knowledge Representation", in Foundations of Knowledge Base Management, J. Schmidt and C. Thanos (eds), Springer-Verlag 1988 (in print)
A. Sernadas, C. Sernadas and H.-D. Ehrich, "Object-Oriented Specification of Databases: an Algebraic Approach", Proc. 13th VLDB, P. Hammersley (ed), VLDB 1987, 107–116
C. Sernadas, H. Coelho and G. Gaspar, "Communicating Knowledge Systems: Part I — Big Talk among Small Systems", Applied Artificial Intelligence 1(3), 1987, 233–260
C. Sernadas, H. Coelho and G. Gaspar, "Communicating Knowledge Systems: Part II — Big Talk among Small Systems", Applied Artificial Intelligence 1(4), 1987, 315–335
A. Sernadas, J. Fiadeiro, C. Sernadas and H.-D. Ehrich, "Abstract Object Types: A Temporal Perspective", in Colloquium on Temporal Logic and Specification, A. Pnueli, H. Barringer and B. Banieqbal (eds), 1988 (to be published by Springer-Verlag)
A. Tarski, "Fundamentale Begriffe der Methodologie der Deduktiven Wissenschaften", french translation in Logique, Sémantique, Métamathématique, vol. 1, Armand Colin 1972, 67–116
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fiadeiro, J., Sernadas, A., Sernadas, C. (1988). Knowledgebases as structured theories. In: Nori, K.V., Kumar, S. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1988. Lecture Notes in Computer Science, vol 338. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50517-2_97
Download citation
DOI: https://doi.org/10.1007/3-540-50517-2_97
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50517-4
Online ISBN: 978-3-540-46030-5
eBook Packages: Springer Book Archive