Quotation in Formal Logics and the Web
Quotation in Formal Logics and the Web
Course with SWS 2/2/0 (lecture/exercise/practical) in SS 2023
Lecturer
SWS
- 2/2/0
Modules
Examination method
- Oral exam
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:doerthe.arndt@tu-dresden.de) 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.
RDF-star:
Named graphs:
(more references will be added during the course)Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS2, April 18, 2023 in MER/0003/U | |
| Exercise | Logical Background | DS3, April 19, 2023 in BAR/0I89/U | |
| Lecture | First Order Logic | DS2, April 25, 2023 in MER/0003/U | |
| Exercise | Exercise: First Order Logic | DS3, April 26, 2023 in BAR/0I89/U | |
| Lecture | Frege and the use-mention problem | DS2, May 2, 2023 in MER/0003/U | |
| Exercise | Exercise: Use-mention | DS3, May 3, 2023 in BAR/0I89/U | |
| Lecture | Semantic Web and RDF | DS2, May 9, 2023 in MER/0003/U | |
| No session | Dies Academicus | DS3, May 10, 2023 in BAR/0I89/U | |
| Lecture | RDF reification and use cases | DS2, May 16, 2023 in MER/0003/U | |
| Exercise | Exercise: use cases | DS3, May 17, 2023 in BAR/0I89/U | |
| Lecture | RDF-star | DS2, May 23, 2023 in MER/0003/U | |
| Exercise | Exercise/discussion: current state of RDF-star | DS3, May 24, 2023 in BAR/0I89/U | |
| Lecture | RDF: Singleton properties | DS2, June 6, 2023 in MER/0003/U | |
| Exercise | Exercise/Discussion: Singleton properties | DS3, June 7, 2023 in BAR/0I89/U | |
| Lecture | RDF: Named Graphs | DS2, June 13, 2023 in MER/0003/U | |
| Exercise | Exercise: Rules for named graphs semantics | DS3, June 14, 2023 in BAR/0I89/U | |
| Lecture | Notation3 Logic | DS2, June 20, 2023 in MER/0003/U | |
| Exercise | Exercise: Notation3 Logic | DS3, June 21, 2023 in BAR/0I89/U | |
| Lecture | ISO Common Logic | DS2, June 27, 2023 in MER/0003/U | |
| Exercise | Exercise: Common Logic | DS3, June 28, 2023 in BAR/0I89/U | |
| Lecture | Modal Logic | DS2, July 4, 2023 in MER/0003/U | |
| Exercise | Exercise/Discussion: Modal Logic and Web use cases | DS3, July 5, 2023 in BAR/0I89/U | |
| Lecture | Summary and Update on RDF-star | DS2, July 11, 2023 in MER/0003/U | |
| Exercise | Open exercise session (if needed) | DS3, July 12, 2023 in BAR/0I89/U |
Calendar
