Skip to main content
SpringerLink
Log in

Concept: a Language for Conceptual Modelling

  • Conference paper
Advances in Databases and Information Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 59 Accesses

Abstract

We describe the project of a new conceptual language we call”Concept”l. In Concept it is possible to specify rich collections of concepts organized in aggregations and taxonomies with complicated dependencies and inheritances. Such specification (called the conceptual scheme) represents mainly declarative knowledge about the modelled problem domain. This conceptual scheme is augmented for its executable interpretation by some automatically generated productions. We give some examples to illustrate the expressive power of Concept. We also outline the deduction method (kind of analytical tableaux method in mathematical logic) for constraints which constitute logical statements of Concept.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Ait-Kaci, R. Nasr. ”LOGIN”: a Logic Programming Language with built-in Inheritance. Journal of Logic Programming, 3, pp. 185–215, 1986.

    Article  Google Scholar 

  2. A. Borgida. Features of languages for the development of information systems at the conceptual level. IEEE Software, 2(1), pp. 63–75, 1985.

    Article  Google Scholar 

  3. M. Fitting. First-Order Modal Tableaux. Journal of Automated Reasoning, 4, pp. 191–213, 1988.

    Article  MathSciNet  MATH  Google Scholar 

  4. P. Geach, M. Black (eds.). Translations of phylosophical writings of Gottlob Frege, p. 153, Blackwell, Oxford, 1952.

    Google Scholar 

  5. M. Gogolla and U. Hohenstein. Towards a semantic view of an Extended Entity-Relationship Model. ACM Transactions on Database System, 16(3), pp. 369–416, 1991.

    Article  MathSciNet  Google Scholar 

  6. R. Kowalski. A Proof Procedure Using Connection Graphs. J. ACM, 22, pp. 572–595, 1974.

    Article  Google Scholar 

  7. R. Reiter, A. K. Mackworth. A logical framework for depiction and image interpretation. Artificial Intelligence, 41, pp. 125–155, 1989/90.

    Article  MathSciNet  MATH  Google Scholar 

  8. R. Reiter. On closed-world databases. In: H. Gallaire, J. Minker (eds.). Logic and Data Bases, pp. 55–76, Plenum, N.Y., 1978.

    Google Scholar 

  9. R. Smullian. First-Order Logic, pp. 52–57, Springer-Verlag, 1968.

    Google Scholar 

  10. R. D. Stansifer, C. Y. Jung, and A. B. Whinston. SEMLOG: a multiparadigm language for conceptual modeling. In: Recent development in decision support systems (eds. C. W. Holsapple, A. B. Whinston). NATO ASI, ser. F, 101, pp. 73–100, Springer, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow State University of Aviation and Technologies, Moscow, Russia

    G. S. Plesniewicz & T. Mironova

Authors
  1. G. S. Plesniewicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. T. Mironova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstraße 65, A-9020, Klagenfurt, Austria

    Johann Eder

  2. Institute for Problems of Informatics, Russian Academy of Sciences, Vavilov Street 30/6, 117900, V-334, Moscow, Russian Federation

    Leonid A. Kalinichenko

Rights and permissions

Reprints and permissions

Copyright information

© 1996 British Computer Society

About this paper

Cite this paper

Plesniewicz, G.S., Mironova, T. (1996). Concept: a Language for Conceptual Modelling. In: Eder, J., Kalinichenko, L.A. (eds) Advances in Databases and Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1486-4_29

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1486-4_29

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76014-6

  • Online ISBN: 978-1-4471-1486-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation