Verification of conceptual models based on linguistic knowledge

Data and Knowledge Engineering

Volumn 21, Issue 2, 1997, Pages 147-163

  Van Der Vos, Bram ^a   Gulla, Jon Atle ^a,b,c   Van De Riet, Reind ^a   Van Der Vos, Abraham Johannes ^a   Van De Riet, Reinder Pieter ^a,d  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b FRAUNHOFER IPSI   (Germany)

^c UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^d CWI   (Netherlands)

Author keywords

Conceptual modelling; Natural language; Verification and validation

Indexed keywords

COMPUTER SIMULATION; DATABASE SYSTEMS; KNOWLEDGE ENGINEERING; NATURAL LANGUAGE PROCESSING SYSTEMS;

CONCEPTUAL MODELS; INFORMATION SYSTEMS; LEXICON; LINGUISTIC KNOWLEDGE; SEMANTIC CONSTRAINTS; VERIFICATION;

LINGUISTICS;

EID: 0030734447     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00030-4     Document Type: Article

References (25)

1. S. Brinkkemper, Formalisation of Information System Modelling, Ph.D. Thesis, Katholieke Universiteit Nijmijgen, 1990.
2. P. Buitelaar and R.P. van de Riet, A feasibility study in linguistically motivated object-oriented conceptual design of information systems, Technical Report IR 293 (Vrije Universiteit Amsterdam, 1992).
3. K. Dahlgren, Naive Semantics for Natural Language Understanding (Kluwer Academic Publishers, 1988).
4. A. Dijk, V. van Sweden and S. Else, Taalkundige Informatiesysteemontwikkeling (Pandata Uitgevery, 1989) in Dutch.
5. S.C. Dik, The Theory of Functional Grammar Part I: The Structure of the Clause (Foris Publications, 1989).
6. D.R. Dowty, Word Meaning and Montague Grammar (Reidel Publishing Company, 1979).
7. J.A. Gulla, Explanation Generation in Information Systems Engineering, Ph.D. Thesis, University of Trondheim, 1993.
8. D. Harel, On visual formalisms, Communications of the ACM 31(5) (May 1988) 514-529.
9. L. Hellan and M. Dimitrova-Vulchanova, Preliminary notes on a framework for 'lexically dependent grammar', Lecture Series at International Summer Institute Syntax, Hyderabad, India (July 1994).
10. P. Johannesson, Representation and communication in information systems 'a speech act based approach', in G. Wijers, S. Brinkkemper and T. Wasserman (eds.), Advanced Information System Engineering (Springer Verlag, June 1994) pp. 200-213.
11. O.I. Lindland, G. Sindre and A. Sølvberg, Understanding quality in conceptual modelling, IEEE Software 11(2) (March 1994) 42-49.
12. G.A. Miller, R. Beckwith, C. Fellbaum, D. Gross, K. Miller and R. Tengi, Five papers on Wordnet, Technical Report (Cognitive Science Laboratory, Princeton University, 1993).
13. G.M. Nijssen and T.A. Halpin, Conceptual schema and relational database design: a fact oriented approach (Prentice Hall, 1989).
14. J. Pustejovsky, The generation lexicon, Computational Linguistics 17(4) (1991) 411-437.
15. J. Pustejovsky, The syntax of the event structure, in B. Levin and S. Pinker (eds.), Lexical and Conceptual Semantics, (Blackwell, Cambridge, 1992).
16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design (Prentice-Hall, 1991).
17. C. Souveyet and C. Rolland, Correction of conceptual schemas, in B. Steinholz, A. Sølvberg and L. Bergmann (eds.), Proc. 2nd Nordic Conf. on Advanced Information Systems Engineering (CAiSE'90) (Springer Verlag, May 1990) pp. 157-174.
18. J.F. Sowa, Logical structure in the lexicon, Knowledge Based Systems 5(3) (September 1992) 173-212.
19. A.G. Sutcliff, W.J. Black and P. Locopoulos, System specification semantics: Defining the knowledge captured by structured system development methods in conceptual models, in E.D. Falkenberg and P. Lindgreen (eds.), Information System Concepts: An In-Depth Analysis (IFIP, 1989) pp. 53-77.
20. A.H.M. ter Hofstede, Information Modelling in a Data Intensive Domain, Ph.D. Thesis, Katholieke Universteit Nijmijgen, 1993.
21. R.P. van de Riet, Linguistic instruments in knowledge engineering, a research proposal and some experiments, in K. Fuchi and T. Yokoi (eds.), Knowledge Building and Knowledge Sharing, Proc. of the 1993 Conference (IOS Press, 1994) pp. 200-207.
22. R.P. van de Riet and R.A. Meersman (eds.), Linguistic Instruments in Knowledge Engineering, Proc. of the 1991 Workshop on LIKE, Tilburg, 17-18 January 1991 (LIKE, North Holland).
23. A.J. van der Vos and R.P. van de Riet, A first semantic check based on linguistic information for state transition diagrams, Technical Report IR-372 (Vrije Universiteit Amsterdam, 1994).
24. R.J. Wieringa and R.B. Feenstra, The University Library Document Circulation System (specified in 1 cm), Technical Report IR-343 (Vrije Universiteit Amsterdam, 1993).
25. R. Wohed, Diagnoses of conceptual schema, in R.A. Meersman, Z. Shi and C.H. Kung (eds.), Artificial Intelligence in Databases and Information Systems (DS-3): Proc. of the IFIP TC2/TC8/WG2.6/WG8.1, Working conference on the Role of Artificial Intelligence in Databases and Information Systems (North-Holland, July 1988) pp. 437-456.