Abstract
A declarative conceptual modelling language, implemented as an extension to Prolog, is described. The language is based on an extended version of the entity-relationship (ER) model for the declaration of the information classes and the formulation of queries, and adopts an abstract data type (ADT) approach to define and execute application-oriented update operations.
The language is an integral part of a workbench that provides rapid prototyping at the conceptual level and that supports expert level features. Simple examples to illustrate the direct use of the workbench over a database/knowledge base application and the addition of expert level features are also included.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J. F. Allen and C. R. Perrault, “Analyzing intentions in utterances”, Artificial Intelligence 15:3 (1980), 143–178.
L. Bolc and M. Jarke (eds.), Cooperative Interfaces to Information Systems, Springer-Verlag (1986).
W. Chu, Q. Chen and R-C. Lee, “Cooperative Query Answering via Type Abstraction Hierarchy”, Proc. Int. Working Conference on Cooperating Knowledge based Systems, Univ. Keele, UK (1990).
F. Cuppens and R. Demolombe, “Cooperative answering: a methodology to provide intelligent access to databases”, Proc. of the Second International Conference on Expert Database Systems, L. Kerschberg (ed.), Benjamin/Cummings (1989), 621–643.
M. A. Casanova and A. L. Furtado, “An Information System Environment based on Plan Generation”, Proc. Int. Working Conference on Cooperating Knowledge based Systems, Keele, UK (1990).
R. E. Fikes and N. J. Nilsson-“STRIPS: a new approach to the application of theorem proving to problem solving”-Artificial Intelligence 2 (1971) 189–208.
A. L. Furtado-“Exploring the extensibility of IBM Prolog”-technical report CCR-124-Rio Scientific Center of IBM Brasil (1991).
A. L. Furtado-“Two integrated tools for IBM Prolog: query-the-user & transparent use of SQL”-technical report CCR-126-Rio Scientific Center of IBM Brasil (1991).
A. S. Hemerly, M. A. Casanova and A. L. Furtado, “Cooperative behaviour through request modification”, Proc. 10th Intl. Conf. on the Entity-Relationship Approach, San Mateo, CA, USA (1991) 607–621.
S. J. Kaplan, “Cooperative Responses from a Portable Natural Language Query System”, Artificial Intelligence 19:2 (1982), 165–187.
A. Kobsa and W. Wahlster (eds.), User Models in Dialog Systems, Springer-Verlag (1989).
D. J. Litman and J. F. Allen-“A plan recognition model for subdialogues in conversations”-Cognitive Science 11 (1987) 163–200.
J.W. Lloyd, Foundations of Logic Programming, Springer-Verlag (1987).
A. Motro, “Query generalization: a technique for handling query failure”, Proc. First International Workshop on Expert Database Systems (1984), 314–325.
A. Quilici, “Detecting and Responding to Plan-Oriented Misconceptions”, in User Models in Dialog Systems, A. Kobsa and W. Wahlster (eds.), Springer-Verlag (1989).
L. Tucherman, M. A. Casanova and A. L. Furtado-“The CHRIS consultant — a tool for database design and rapid prototyping”-Information Systems 15:2 (1990).
P. A. S. Veloso and A. L. Furtado-“Towards simpler and yet complete formal specifications”-in “Information systems: theoretical and formal aspects”-A. Sernadas, J. Bubenko and A. Olive (eds.)-North-Holland Pub. Co. (1985) 175–189.
B. L. Webber, “Questions, answers and responses: interacting with knowledge base systems”, in On knowledge base management systems, M.L. Brodie and J. Mylopoulos (eds.)-Springer (1986).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Casanova, M.A., Hemerly, A.S., Furtado, A.L. (1992). A declarative conceptual modelling language: Description and example applications. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035155
Download citation
DOI: https://doi.org/10.1007/BFb0035155
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive