Skip to main content
SpringerLink
Log in

Intensional Formalization of Conceptual Structures

  • Conference paper
Conceptual Structures for Knowledge Creation and Communication (ICCS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2746))

Included in the following conference series:

Abstract.

In this paper, I: (1) argue that the issue of intensionality is of great importance for formalization of conceptual structures, (2) show that this issue is underestimated in contemporary formalizations of conceptual structures, and (3)–as a remedy to this discrepancy–introduce an intensional language for formalization of conceptual structures. The language has a syntax similar to the description logic \({\cal ALC}\) with the exception that an additional equivalence relation is introduced. The purpose of this relation is to enable formalization of intensional equivalence of concepts. The intensional semantics is defined by a novel algebraic semantics which basically is an algebraic generalization of the well-known extensional semantics.

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anthony Anderson, C.: General intensional logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 355–385. D. Reidel Publishing Company, Dordrecht (1984)

    Google Scholar 

  2. Audi, R. (ed.): The Cambridge Dictionary of Philosophy, 2nd edn. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  4. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., et al. (eds.) [3], pp. 47–100

    Google Scholar 

  5. Bealer, G.: Quality and Concept. Clarendon Press, Oxford (1982)

    Google Scholar 

  6. Bealer, G., Mönnich, U.: Property theories. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. IV, pp. 133–251. D. Reidel Publishing Company (1989)

    Google Scholar 

  7. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  8. Boman, M., Bubenko Jr., J.A., Johannesson, P., Wangler, B.: Conceptual Modelling. Prentice Hall, Englewood Cliffs (1997)

    Google Scholar 

  9. Brink, C., Britz, K., Schmidt, R.A.: Peirce algebras. Formal Aspects of Computing 6, 339–358 (1994)

    Article  MATH  Google Scholar 

  10. Brink, C., Schmidt, R.: Subsumption computed algebraically. Comput. Math. Appl. 23, 329–342 (1992); Special Issue on semantic networks in Artificial Intelligence

    Article  MATH  Google Scholar 

  11. Carnap, R.: Meaning and Necessity, 2nd edn. The University of Chicago Press (1956)

    Google Scholar 

  12. Church, A.: A formulation of the logic of sense and denotation. In: Henle, P., Kallen, H.M., Langer, S.K. (eds.) Structure, Method, and Meaning: Essays in Honor of Henry M. Scheffer. Liberal Arts Press, New York (1951)

    Google Scholar 

  13. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)

    MATH  Google Scholar 

  14. Frege, G.: On sense and meaning. In: McGuinness, B. (ed.) Gottlob Frege—Collected Papers on Mathematics, Logic, and Philosophy, pp. 157–177. Basil Blackwell Publisher, Malden (1984); Originally published under the title Über Sinn und Bedeutung in Zeitschrift für Philosophie und philosophische Kritik 100, , pp. 25–50 (1892); Translated by Max Black

    Google Scholar 

  15. Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format, Version 3.0 Reference Manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, Stanford, CA, USA (June 1992)

    Google Scholar 

  16. Genesereth, M.R.: Knowledge interchange format. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR 1991: Principles of Knowledge Representation and Reasoning, pp. 599–600. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  17. Grätzer, G.: Universal Algebra, 2nd edn. Springer, New York (1979) (First edition 1968)

    MATH  Google Scholar 

  18. Jónsson, B., Tarski, A.: Boolean algebras with operators, Part I. Amer. J. Math. 73, 891–939 (1951)

    Article  MathSciNet  MATH  Google Scholar 

  19. McCarthy, J.: First order theories of individual concepts and propositions. First published in Machine Intelligence 9 (1979), Revised version from http://wwwformal.stanford.edu/jmc/

  20. Menzel, C.: A Complete, Type-free “Second-order” Logic and Its Philosophical Foundations. CSLI (1986)

    Google Scholar 

  21. Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974); Edited with an introduction by R.H. Thomason

    Google Scholar 

  22. Ogden, C.K., Richards, I.A.: The Meaning of Meaning. Routledge & Kegan Paul, London (1923)

    Google Scholar 

  23. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1–26 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  24. Sowa, J.F.: Knowledge Representation: logical, philosophical and computational foundations. Brooks/Cole, Monterey (2000)

    Google Scholar 

  25. Swoyer, C.: Complex predicates and logics for properties and relations. Journal of Philosophical Logic 27(3), 295–325 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  26. Welty, C., Guarino, N.: Supporting ontological analysis of taxonomic relationships. Data & Knowledge Engineering 39, 51–74 (2001)

    Article  MATH  Google Scholar 

  27. Woods, W.A.: Understanding subsumption and taxonomy: A framework for progress. In: Sowa, J.F. (ed.) Principles of Semantics Networks, pp. 45–94. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark

    Nikolaj Oldager

Authors
  1. Nikolaj Oldager
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Algebra, University of Technology, Dresden, Germany

    Bernhard Ganter

  2. Semantics Technology and Applications Research Laboratory (STARLab), Department of Computer Science, Vrije Universiteit Brussel, Pleinlaan 2, B-1050, Brussels 5, Belgium

    Aldo de Moor

  3. Institut für Algebra, Technische Universität Dresden, 01062, Dresden, Germany

    Wilfried Lex

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Oldager, N. (2003). Intensional Formalization of Conceptual Structures. In: Ganter, B., de Moor, A., Lex, W. (eds) Conceptual Structures for Knowledge Creation and Communication. ICCS 2003. Lecture Notes in Computer Science(), vol 2746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45091-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45091-7_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40576-4

  • Online ISBN: 978-3-540-45091-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation