Version vom 4. April 2023, 10:52 Uhr

Quotation in Formal Logics and the Web

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2023

Dozent

Dörthe Arndt

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

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:doerthe.arndt@tu-dresden.de) in case of questions.

Quotation in a broader sense:

https://plato.stanford.edu/entries/quotation/

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:

https://www.w3.org/TR/2014/NOTE-rdf11-datasets-20140225/

(more references will be added during the course)

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS2, 18. April 2023 in MER/0003/U
Übung	Logical Background	DS3, 19. April 2023 in BAR/0I89/U
Vorlesung	First Order Logic	DS2, 25. April 2023 in MER/0003/U
Übung	Exercise: First Order Logic	DS3, 26. April 2023 in BAR/0I89/U
Vorlesung	Frege and the use-mention problem	DS2, 2. Mai 2023 in MER/0003/U
Übung	Exercise: Use-mention	DS3, 3. Mai 2023 in BAR/0I89/U
Vorlesung	Semantic Web and RDF	DS2, 9. Mai 2023 in MER/0003/U
Entfällt	Dies Academicus	DS3, 10. Mai 2023 in BAR/0I89/U
Vorlesung	RDF reification and use cases	DS2, 16. Mai 2023 in MER/0003/U
Übung	Exercise: use cases	DS3, 17. Mai 2023 in BAR/0I89/U
Vorlesung	RDF-star	DS2, 23. Mai 2023 in MER/0003/U
Übung	Exercise/discussion: current state of RDF-star	DS3, 24. Mai 2023 in BAR/0I89/U
Vorlesung	RDF: Singleton properties	DS2, 6. Juni 2023 in MER/0003/U
Übung	Exercise/Discussion: Singleton properties	DS3, 7. Juni 2023 in BAR/0I89/U
Vorlesung	RDF: Named Graphs	DS2, 13. Juni 2023 in MER/0003/U
Übung	Exercise: Rules for named graphs semantics	DS3, 14. Juni 2023 in BAR/0I89/U
Vorlesung	Notation3 Logic	DS2, 20. Juni 2023 in MER/0003/U
Übung	Exercise: Notation3 Logic	DS3, 21. Juni 2023 in BAR/0I89/U
Vorlesung	ISO Common Logic	DS2, 27. Juni 2023 in MER/0003/U
Übung	Exercise: Common Logic	DS3, 28. Juni 2023 in BAR/0I89/U
Vorlesung	Modal Logic	DS2, 4. Juli 2023 in MER/0003/U
Übung	Exercise/Discussion: Modal Logic and Web use cases	DS3, 5. Juli 2023 in BAR/0I89/U
Vorlesung	Summary and Update on RDF-star	DS2, 11. Juli 2023 in MER/0003/U
Übung	Open exercise session (if needed)	DS3, 12. Juli 2023 in BAR/0I89/U

Kalender

@@ Zeile 1: / Zeile 1: @@
 {{Vorlesung
-|Title=Quotation in Formal Logics and its applications in the Semantic Web
+|Title=Quotation in Formal Logics and the Web
 |Research group=Computational Logic
 |Lecturers=Dörthe Arndt
@@ Zeile 111: / Zeile 111: @@
 |Date=2023/05/16
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise: use cases
+|Room=BAR/0I89/U
+|Date=2023/05/17
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 118: / Zeile 125: @@
 |Date=2023/05/23
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise/discussion: current state of RDF-star
+|Room=BAR/0I89/U
+|Date=2023/05/24
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 125: / Zeile 139: @@
 |Date=2023/06/06
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise/Discussion: Singleton properties
+|Room=APB E005
+|Date=2023/06/07
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 132: / Zeile 153: @@
 |Date=2023/06/13
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise: Rules for named graphs semantics
+|Room=BAR/0I89/U
+|Date=2023/06/14
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 139: / Zeile 167: @@
 |Date=2023/06/20
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise: Notation3 Logic
+|Room=BAR/0I89/U
+|Date=2023/06/21
+|DS=DS3
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
-|Title=Common Logic
+|Title=ISO Common Logic
 |Room=MER/0003/U
 |Date=2023/06/27
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise: Common Logic
+|Room=BAR/0I89/U
+|Date=2023/06/28
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 153: / Zeile 195: @@
 |Date=2023/07/04
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Exercise discussion: Modal Logic and Web use cases
+|Room=BAR/0I89/U
+|Date=2023/07/05
+|DS=DS3
 }}
 {{Vorlesung Zeiten
@@ Zeile 160: / Zeile 209: @@
 |Date=2023/07/11
 |DS=DS2
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Open exercise session (if needed)
+|Room=BAR/0I89/U
+|Date=2023/07/12
+|DS=DS3
 }}

Quotation in Formal Logics (WS2023): Unterschied zwischen den Versionen

Version vom 4. April 2023, 10:52 Uhr

Quotation in Formal Logics and the Web

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2023

Kalender

April 2025