Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Semantics in Data and Knowledge Bases

SDKB 2008: Semantics in Data and Knowledge Bases pp 1–25Cite as

Semantics in Data and Knowledge Bases

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4925))

Abstract

Semantics is the study of meaning, i.e. how meaning is constructed, interpreted, clarified, obscured, illustrated, simplified, negotiated, contradicted and paraphrased [Wan87]. It has been treated differently in the scientific community, e.g., in the area of knowledge bases and by database users.

  • The scientific community prefers the treatment of ‘always valid’ semantics based on the mathematical logic. A constraint is valid if this is the case in any correct database.

  • Database modellers often use a ‘strong’ semantics for several classes of constraints. Cardinality constraints are based on the requirement that databases exist for both cases, for the minimal and for the maximal case.

  • Database mining is based on a ‘may be valid’ semantics. A constraint is considered to be a candidate for a valid formula.

  • Users usually use a weak ‘in most cases valid’ semantics. They consider a constraint to be valid if this is the usual case.

  • Different groups of users use an ‘epistemic’ semantics. For each of the group its set of constraints is valid in their data. Different sets of constraints can even contradict.

Semantics is currently one of the most overused notions in modern computer science literature. Its understanding spans from synonyms for structuring or synonyms for structuring on the basis of words to precise defined semantics. This partial misuse results in a mismatch of languages, in neglecting formal foundations, and in brute-force definitions of the meaning of syntactic constructions.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arenas, M., Fan, W., Libkin, L.: On veriyfying consistency of XML specifications. In: Proc. ACM PODS, pp. 259–270. ACM, New York (2002)

    Google Scholar 

  2. De Bakker, J.: Control flow semantics. MIT Press, Cambridge (1995)

    Google Scholar 

  3. Buneman, P., Davidson, S., Fan, W., Hara, C.S., Tan, W.C.: Keys for XML. In: Proc. WWW 10, pp. 201–210. ACM Press, New York (2001)

    Google Scholar 

  4. Bjørner, D.: Software Engineering 2: Specification of systems and languages. Springer, Berlin (2006)

    Google Scholar 

  5. Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B.: Semantics in databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases 2001. LNCS, vol. 2582, pp. 1–6. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Börger, E., Stärk, R.: Abstract state machines - A method for high-level system design and analysis. Springer, Berlin (2003)

    Book  MATH  Google Scholar 

  7. Bienemann, A., Schewe, K.-D., Thalheim, B.: Towards a theory of genericity based on government and binding. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 311–324. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Beeri, C., Thalheim, B.: Identification as a primitive of database models. In: Proc. FoMLaDO 1998, pp. 19–36. Kluwer, London (1999)

    Google Scholar 

  9. Crystal, D.: The Cambridge encyclopedia of language. Cambridge University Press, Cambridge (1987)

    Google Scholar 

  10. Duzi, M., Heimburger, A., Tokuda, T., Vojtas, P., Yoshida, N.: Multi-agent knowledge modelling. Panel summary, EJC 2008 (2008)

    Google Scholar 

  11. Duží, M., Materna, P.: Constructions (2000), http://til.phil.muni.cz/text/constructions_duzi_materna.pdf

  12. Gunther, C.: Semantics of programming languages. MIT Press, Cambridge (1992)

    Google Scholar 

  13. Hausser, R.: Foundations of computational linguistics: Human-computer communication in natural language, 2nd edn. Springer, Berlin (2001)

    Book  MATH  Google Scholar 

  14. Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? Computer, 64–72 (October 2004)

    Google Scholar 

  15. Klettke, M.: Modellierung, Bewertung und Evolution von XML-Dokumentkollektionen. Advanced PhD (Habilitation Thesis), Rostock University, Faculty for Computer Science and Electronics (2007)

    Google Scholar 

  16. Kaschek, R., Schewe, K.-D., Thalheim, B., Zhang, L.: Integrating context in conceptual modelling for web information systems, web services, e-business, and the semantic web. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 77–88. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  17. Lenat, D.: The dimensions of the context space (2002), http://www.cyc.com/context-space.pdf

  18. Link, S.: Consistency enforcement in databases. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases 2001. LNCS, vol. 2582, pp. 139–159. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Libkin, L., Thalheim, B.: Foreword. In: Thalheim, B. (ed.) Semantics in Databases 1995. LNCS, vol. 1358, pp. V–IX. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  20. Mosses, P.D.: Action semantics. Cambridge University Press, Cambridge (1992)

    Book  MATH  Google Scholar 

  21. Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The structure of the relational database model. Springer, Berlin (1989)

    Book  MATH  Google Scholar 

  22. Reynolds, J.: The semantics of programming languages. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  23. Schwabhäuser, W.: Modelltheorie I. B.I.-Wissenschaftsverlag, Mannheim (1971)

    Google Scholar 

  24. Schwabhäuser, W.: Modelltheorie II. B.I.-Wissenschaftsverlag, Mannheim (1972)

    Google Scholar 

  25. Schewe, K.-D.: The specification of data-intensive application systems. Advanced PhD (Habilitation Thesis), Brandenburg University of Technology at Cottbus, Faculty of Mathematics, Natural Sciences and Computer Science (1994)

    Google Scholar 

  26. Schewe, K.-D., Thalheim, B.: A generalization of Dijkstra’s calculus to typed program specifications. In: Ciobanu, G., Păun, G. (eds.) FCT 1999. LNCS, vol. 1684, pp. 463–474. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  27. Schewe, K.-D., Thalheim, B.: Life cases: A kernel element for web information systems engineering. In: WEBIST 2007. LNBIP, vol. 8, pp. 139–156. Springer, Berlin (2008)

    Google Scholar 

  28. Stegmüller, W.: Theorie und Erfahrung, Zweiter Halbband: Theorienstrukturen und Theoriendynamik. In: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, vol. II. Springer, Heidelberg (1973)

    Google Scholar 

  29. Tennent, R.: The semantics of programming languages. Prentice-Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  30. Thalheim, B.: Open problems in relational database theory. Bull. EATCS 32, 336–337 (1987)

    Google Scholar 

  31. Thalheim, B.: Dependencies in relational databases. Teubner, Leipzig (1991)

    Google Scholar 

  32. Thalheim, B.: Entity-relationship modeling – Foundations of database technology. Springer, Berlin (2000)

    Book  MATH  Google Scholar 

  33. Thalheim, B.: The person, organization, product, production, ordering, delivery, invoice, accounting, budgeting and human resources pattern in database design. Technical Report Preprint I-07-2000, Brandenburg University of Technology at Cottbus, Institute of Computer Science (2000)

    Google Scholar 

  34. Sh, M.: Tsalenko. Modeling of semantics for databases. Nauka, Moscov (1989) (in Russian)

    Google Scholar 

  35. Wanner, P. (ed.): The Cambridge Encyclopedia of Language. Cambridge University Press, Cambridge (1987)

    Google Scholar 

  36. Websters ninth new collegiate dictionary (1991)

    Google Scholar 

  37. Whorf, B.L.: Lost generation theories of mind, language, and religion. Popular Culture Association, University Microfilms International, Ann Arbor, Mich. (1980)

    Google Scholar 

  38. Wittgenstein, L.: Philosophical Investigations. Basil Blackwell, Oxford (1958)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Science Research Centre, 20A Manapouri Cr, Palmerston North, 4410, New Zealand

    Klaus-Dieter Schewe

  2. Department of Computer Science, Christian Albrechts University Kiel, Olshausenstr. 40, D-24098, Kiel, Germany

    Bernhard Thalheim

Authors
  1. Klaus-Dieter Schewe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Thalheim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Information Science Research Centre, 20A Manapouri Cr, 4410, Palmerston North, New Zealand

    Klaus-Dieter Schewe

  2. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel, Olshausenstr. 40, 24098, Kiel, Germany

    Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schewe, KD., Thalheim, B. (2008). Semantics in Data and Knowledge Bases. In: Schewe, KD., Thalheim, B. (eds) Semantics in Data and Knowledge Bases. SDKB 2008. Lecture Notes in Computer Science, vol 4925. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88594-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88594-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88593-1

  • Online ISBN: 978-3-540-88594-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation