Quotation in Formal Logics and the Web
Quotation in Formal Logics and the Web
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2023
- Mündliche Prüfung
When formalising knowledge in order to process it with the computer and to reason upon it, we often encounter situations in which people make statements about statements or in which they talk about a term instead of its meaning. As an illustration consider the following sentences:
Alice is a girl. Alice has 5 letters. Bob says that Alice is a girl.
The second and the third sentence are examples of quotations. “Alice” as present in the first sentence refers to a different object than “Alice” in the second sentence. The third sentence somehow refers to the first one and it depends on the intended use of the third sentence how this “somehow” can be further specified.
That quotation is not only of theoretical relevance but also interesting in practice can for example be observed in the Semantic Web where the standard Resource Description Framework (RDF) is currently extended by the opportunity to make statements about statements. The semantics of this extension, called RDF-star, will also depend on the industrial use cases this form of quotation is supposed to solve.
In this lecture, we will closely follow the standardisation progress of RDF-star and the different possible ways to define its semantics. Additionally, we will also take a broader look at the handling of quotation in other logical frameworks such as first order logic, common logic and modal logic.
The lecture and exercises are planned as a mixture of introductory lectures, discussions about different research approaches, and a few practical lessons implementing some of the proposals.
The lectures will take place on Tuesdays, 2. DS in MER/0003/U, exercises Wednesdays, 3. DS in BAR/0I89/U.
The first lecture will be on the 18th of April.Please contact me (mailto:firstname.lastname@example.org) in case of questions.
Quotation in a broader sense:
First-Order Logic and use mention:
- Ebbinghaus, Heinz-Dieter, et al. Mathematical logic. Vol. 1910. New York: Springer, 1994.
- Pardey, Ulrich, and Kai F. Wehmeier. "Frege’s Begriffsschrift theory of identity vindicated." Oxford studies in philosophy of language 1 (2019): 122-147.
Semantic Web in general:
- Hitzler, Pascal, Markus Krotzsch, and Sebastian Rudolph. Foundations of semantic web technologies. CRC press, 2009.
|Vorlesung||Introduction||DS2, 18. April 2023 in|
|Übung||Logical Background||DS3, 19. April 2023 in|
|Vorlesung||First Order Logic||DS2, 25. April 2023 in|
|Übung||Exercise: First Order Logic||DS3, 26. April 2023 in|
|Vorlesung||Frege and the use-mention problem||DS2, 2. Mai 2023 in|
|Übung||Exercise: Use-mention||DS3, 3. Mai 2023 in|
|Vorlesung||Semantic Web and RDF||DS2, 9. Mai 2023 in|
|Entfällt||Dies Academicus||DS3, 10. Mai 2023 in|
|Vorlesung||RDF reification and use cases||DS2, 16. Mai 2023 in|
|Übung||Exercise: use cases||DS3, 17. Mai 2023 in|
|Vorlesung||RDF-star||DS2, 23. Mai 2023 in|
|Übung||Exercise/discussion: current state of RDF-star||DS3, 24. Mai 2023 in|
|Vorlesung||RDF: Singleton properties||DS2, 6. Juni 2023 in|
|Übung||Exercise/Discussion: Singleton properties||DS3, 7. Juni 2023 in|
|Vorlesung||RDF: Named Graphs||DS2, 13. Juni 2023 in|
|Übung||Exercise: Rules for named graphs semantics||DS3, 14. Juni 2023 in|
|Vorlesung||Notation3 Logic||DS2, 20. Juni 2023 in|
|Übung||Exercise: Notation3 Logic||DS3, 21. Juni 2023 in|
|Vorlesung||ISO Common Logic||DS2, 27. Juni 2023 in|
|Übung||Exercise: Common Logic||DS3, 28. Juni 2023 in|
|Vorlesung||Modal Logic||DS2, 4. Juli 2023 in|
|Übung||Exercise/Discussion: Modal Logic and Web use cases||DS3, 5. Juli 2023 in|
|Vorlesung||Summary and Update on RDF-star||DS2, 11. Juli 2023 in|
|Übung||Open exercise session (if needed)||DS3, 12. Juli 2023 in|