International Center for Computational Logic - Benutzerbeiträge [de]

Inproceedings3428

2025-08-22T12:55:43Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=William Van Woensel; Dominik Tomaszuk }} {{Inproceedings |Referiert=1 |Title=SiN3: Scalable inferencing with SPARQL CONSTRUCT queries |To appear=0 |Year=2023 |Month=November |Booktitle=ISWC-Posters-Demos-Industry 2023 |Publisher=ceur-ws.org |Editor=Irini Fundulaki, Kouji Kozaki, Daniel Garijo, Jose Manuel Gomez-Perez |Series=CEUR Workshop Proceedings |Volume=…“

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=William Van Woensel; Dominik Tomaszuk
}}
{{Inproceedings
|Referiert=1
|Title=SiN3: Scalable inferencing with SPARQL CONSTRUCT queries
|To appear=0
|Year=2023
|Month=November
|Booktitle=ISWC-Posters-Demos-Industry 2023
|Publisher=ceur-ws.org
|Editor=Irini Fundulaki, Kouji Kozaki, Daniel Garijo, Jose Manuel Gomez-Perez
|Series=CEUR Workshop Proceedings
|Volume=3632
}}
{{Publikation Details
|Abstract=SPARQL is a widely used and well-established standard in the Semantic Web to efficiently query explicitly stated RDF data. However, the authors (and others before us) suggest that this ignores the full potential of the language: when used recursively, CONSTRUCT queries can serve as fully-fledged rules allowing for reasoning over the data. For this purpose, we present SiN3, a tool that translates SPARQL queries to Notation3 (N3) rules; an N3-compliant reasoner (such as eye) can then recursively generate inferences from RDF data. We provide a demo that uses CONSTRUCT queries to infer the need for Zika screening, based on the Turtle HL7 FHIR notation. We show that a reasoning-based approach, compared to standard SPARQL, makes such use cases more efficient, as rule-based reasoning is optimized for recursively generating inferences; and easier to implement, as only one execution run is necessary to apply interdependent queries, and supporting queries can be used to modularize the code. We compare the performance of SiN3 with SpinRDF, which supports reasoning over the SPIN serialization of SPARQL but is an order of magnitude slower on our test data. SiN3 thus enables efficient reasoning using SPARQL CONSTRUCT queries, opening the door for scalable Semantic Web reasoning using a well-known semantic formalism.
|Link=https://ceur-ws.org/Vol-3632/ISWC2023_paper_469.pdf
|Projekt=KIMEDS, MEDGE
|Forschungsgruppe=Computational Logic
}}

Inproceedings3427

2025-08-22T12:46:15Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Jos De Roo; Patrick Hochstenbach; Rebekka Martens; Femke Ongenae; Mathijs van Noort
}}
{{Inproceedings
|Referiert=1
|Title=RDF Surfaces as a First-Order Language for the Semantic Web
|To appear=0
|Year=2024
|Month=September
|Booktitle=Rules and Reasoning. RuleML+RR 2024
|Pages=200-216
|Publisher=Springer
|Editor=Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman
}}
{{Publikation Details
|Abstract=Inspired by the idea of RDF Redux, an RDF extension suggested by Pat Hayes, RDF Surfaces were recently developed and further specified by a W3C community group. The idea of RDF Surfaces is to add negation and explicit existential quantification to RDF and thereby gain the expressivity of first-order logic. RDF Surfaces come with a syntax and even with first implementations, but the semantics has so far only been defined informally. In this paper we aim to close this gap: we map RDF Surface graphs to first-order logic formulae and thereby define their semantics. We show that, restricted to RDF graphs, this semantics preserves simple entailment. That is, each RDF graph which entails another in its first-order translation, also entails this graph according to RDF's simple entailment and vice versa. To test whether this semantics fully meets the informal specification, we furthermore provide rs2fol, an implementation which follows our mapping and translates RDF Surfaces in N3-based syntax to first-order logic in TPTP syntax. We apply this implementation on the various examples collected on the Web page of the RDF Surfaces reasoner EYE, run them with the theorem prover Vampire and compare the results with those of EYE. With the exception of a different understanding of lists -- EYE treats these as first-class citizens -- results of both approaches coincide. We thus provides a tool for entailment checking which is conform to the current specification. This tool will help future developers of RDF Surfaces reasoners to test their derivations for correctness and the community as a whole to better understand the logic and - if needed - to refine or even restrict it.
|ISBN=978-3-031-72407-7
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Proceedings3027

2025-08-22T12:16:24Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jan |ErsterAutorNachname=Vantienen |FurtherAuthors=Tomáš Kliegr; Paul Fodor; Davide Lanti; Dörthe Arndt; Egor V. Kostylev; Theodoros Mitsikas; Ahmet Soylu }} {{Proceedings |Title=Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023 |To appear=0 |Y…“

{{Publikation Erster Autor
|ErsterAutorVorname=Jan
|ErsterAutorNachname=Vantienen
|FurtherAuthors=Tomáš Kliegr; Paul Fodor; Davide Lanti; Dörthe Arndt; Egor V. Kostylev; Theodoros Mitsikas; Ahmet Soylu
}}
{{Proceedings
|Title=Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023
|To appear=0
|Year=2023
|Month=September
|Publisher=ceur-ws.org
|Series=CEUR Workshop Proceedings
|Volume=3485
}}
{{Publikation Details
|ISBN=1613-0073
|Link=https://ceur-ws.org/Vol-3485/
|Forschungsgruppe=Computational Logic
}}

Article3113

2025-08-22T12:08:18Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Mathias |ErsterAutorNachname=De Brouwer |FurtherAuthors=Pieter Bonte; Dörthe Arndt; Miel Vander Sande; Anastasia Dimou; Ruben Verborgh; Filip De Turck; Femke Ongenae }} {{Article |Referiert=0 |Title=Optimized continuous homecare provisioning through distributed data-driven semantic services and cross-organizational workflows |To appear=0 |Year=2024 |Month=Juni |Journal=Journal of Biomedical Semantics |Volume…“

{{Publikation Erster Autor
|ErsterAutorVorname=Mathias
|ErsterAutorNachname=De Brouwer
|FurtherAuthors=Pieter Bonte; Dörthe Arndt; Miel Vander Sande; Anastasia Dimou; Ruben Verborgh; Filip De Turck; Femke Ongenae
}}
{{Article
|Referiert=0
|Title=Optimized continuous homecare provisioning through distributed data-driven semantic services and cross-organizational workflows
|To appear=0
|Year=2024
|Month=Juni
|Journal=Journal of Biomedical Semantics
|Volume=15
|Number=9
}}
{{Publikation Details
|Abstract=Background
In healthcare, an increasing collaboration can be noticed between different caregivers, especially considering the shift to homecare. To provide optimal patient care, efficient coordination of data and workflows between these different stakeholders is required. To achieve this, data should be exposed in a machine-interpretable, reusable manner. In addition, there is a need for smart, dynamic, personalized and performant services provided on top of this data. Flexible workflows should be defined that realize their desired functionality, adhere to use case specific quality constraints and improve coordination across stakeholders. User interfaces should allow configuring all of this in an easy, user-friendly way.

Methods
A distributed, generic, cascading reasoning reference architecture can solve the presented challenges. It can be instantiated with existing tools built upon Semantic Web technologies that provide data-driven semantic services and constructing cross-organizational workflows. These tools include RMLStreamer to generate Linked Data, DIVIDE to adaptively manage contextually relevant local queries, Streaming MASSIF to deploy reusable services, AMADEUS to compose semantic workflows, and RMLEditor and Matey to configure rules to generate Linked Data.

Results
A use case demonstrator is built on a scenario that focuses on personalized smart monitoring and cross-organizational treatment planning. The performance and usability of the demonstrator’s implementation is evaluated. The former shows that the monitoring pipeline efficiently processes a stream of 14 observations per second: RMLStreamer maps JSON observations to RDF in 13.5 ms, a C-SPARQL query to generate fever alarms is executed on a window of 5 s in 26.4 ms, and Streaming MASSIF generates a smart notification for fever alarms based on severity and urgency in 1539.5 ms. DIVIDE derives the C-SPARQL queries in 7249.5 ms, while AMADEUS constructs a colon cancer treatment plan and performs conflict detection with it in 190.8 ms and 1335.7 ms, respectively.

Conclusions
Existing tools built upon Semantic Web technologies can be leveraged to optimize continuous care provisioning. The evaluation of the building blocks on a realistic homecare monitoring use case demonstrates their applicability, usability and good performance. Further extending the available user interfaces for some tools is required to increase their adoption.
|DOI Name=https://doi.org/10.1186/s13326-024-00303-4
|Forschungsgruppe=Computational Logic
}}

Inproceedings3427

2025-08-22T12:00:26Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=Jos De Roo; Patrick Hochstenbach; Rebekka Martens; Femke Ongenae; Mathijs van Noort }} {{Inproceedings |Referiert=1 |Title=RDF Surfaces as a First-Order Language for the Semantic Web |To appear=0 |Year=2024 |Month=September |Booktitle=Rules and Reasoning. RuleML+RR 2024 |Pages=200-216 |Publisher=Springer |Editor=Sabrina Kirrane, Mantas Kirrane, Mantas Šimkus…“

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Jos De Roo; Patrick Hochstenbach; Rebekka Martens; Femke Ongenae; Mathijs van Noort
}}
{{Inproceedings
|Referiert=1
|Title=RDF Surfaces as a First-Order Language for the Semantic Web
|To appear=0
|Year=2024
|Month=September
|Booktitle=Rules and Reasoning. RuleML+RR 2024
|Pages=200-216
|Publisher=Springer
|Editor=Sabrina Kirrane, Mantas Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman
}}
{{Publikation Details
|Abstract=Inspired by the idea of RDF Redux, an RDF extension suggested by Pat Hayes, RDF Surfaces were recently developed and further specified by a W3C community group. The idea of RDF Surfaces is to add negation and explicit existential quantification to RDF and thereby gain the expressivity of first-order logic. RDF Surfaces come with a syntax and even with first implementations, but the semantics has so far only been defined informally. In this paper we aim to close this gap: we map RDF Surface graphs to first-order logic formulae and thereby define their semantics. We show that, restricted to RDF graphs, this semantics preserves simple entailment. That is, each RDF graph which entails another in its first-order translation, also entails this graph according to RDF's simple entailment and vice versa. To test whether this semantics fully meets the informal specification, we furthermore provide rs2fol, an implementation which follows our mapping and translates RDF Surfaces in N3-based syntax to first-order logic in TPTP syntax. We apply this implementation on the various examples collected on the Web page of the RDF Surfaces reasoner EYE, run them with the theorem prover Vampire and compare the results with those of EYE. With the exception of a different understanding of lists -- EYE treats these as first-class citizens -- results of both approaches coincide. We thus provides a tool for entailment checking which is conform to the current specification. This tool will help future developers of RDF Surfaces reasoners to test their derivations for correctness and the community as a whole to better understand the logic and - if needed - to refine or even restrict it.
|ISBN=978-3-031-72407-7
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3426

2025-08-22T11:43:39Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=William
|ErsterAutorNachname=Van Woensel
|FurtherAuthors=Dörthe Arndt; Jos De Roo
}}
{{Inproceedings
|Referiert=1
|Title=FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
|To appear=1
|Year=2025
|Month=September
|Booktitle=RuleML+RR Rule Challenge 2025
}}
{{Publikation Details
|Abstract=Semantic Web (SW) rule languages, such as Notation3 (N3), add declarative programming abilities to the SW platform. To execute rule-based programs using top-down reasoning, the program can first be translated into an imperative language. In that case, the latter’s compiler or interpreter can then simply be used to execute the program. We propose a challenge to implement top-down reasoners by pre-compiling rules into imperative functions written in a modern imperative language. The features of modern imperative languages can be used to simplify such a translation. Tackling this challenge can yield development simplicity, compared to typical abstract machine architectures; and allows for an integrated logic and imperative environment, as translated rule functions can be directly called from other imperative code. We propose one solution to this challenge, called fun3, which pre-compiles N3 rules into imperative functions written in Python. We provide initial performance results that show the feasibility of overcoming this challenge while not overly sacrificing performance.
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3426

2025-08-22T11:42:18Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=William
|ErsterAutorNachname=Van Woensel
|FurtherAuthors=Dörthe Arndt; Jos De Roo
}}
{{Inproceedings
|Referiert=1
|Title=FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
|To appear=1
|Year=2025
|Month=September
|Booktitle=RuleML+RR Rule Challenge 2025
}}
{{Publikation Details
|Abstract=Semantic Web (SW) rule languages, such as Notation3 (N3), add declarative programming abilities to the SW
platform. To execute rule-based programs using top-down reasoning, the program can first be translated into
an imperative language. In that case, the latter’s compiler or interpreter can then simply be used to execute
the program. We propose a challenge to implement top-down reasoners by pre-compiling rules into imperative
functions written in a modern imperative language. The features of modern imperative languages can be used
to simplify such a translation. Tackling this challenge can yield development simplicity, compared to typical
abstract machine architectures; and allows for an integrated logic and imperative environment, as translated rule
functions can be directly called from other imperative code. We propose one solution to this challenge, called
fun3, which pre-compiles N3 rules into imperative functions written in Python. We provide initial performance
results that show the feasibility of overcoming this challenge while not overly sacrificing performance.
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3426

2025-08-22T11:40:13Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=William |ErsterAutorNachname=Van Woensel |FurtherAuthors=Dörthe Arndt }} {{Inproceedings |Referiert=1 |Title=FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning |To appear=1 |Year=2025 |Month=September |Booktitle=RuleML+RR Rule Challenge 2025 }} {{Publikation Details |Abstract=Semantic Web (SW) rule languages, such as Notation3 (N3), add declarative programming abilities to…“

{{Publikation Erster Autor
|ErsterAutorVorname=William
|ErsterAutorNachname=Van Woensel
|FurtherAuthors=Dörthe Arndt
}}
{{Inproceedings
|Referiert=1
|Title=FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning
|To appear=1
|Year=2025
|Month=September
|Booktitle=RuleML+RR Rule Challenge 2025
}}
{{Publikation Details
|Abstract=Semantic Web (SW) rule languages, such as Notation3 (N3), add declarative programming abilities to the SW
platform. To execute rule-based programs using top-down reasoning, the program can first be translated into
an imperative language. In that case, the latter’s compiler or interpreter can then simply be used to execute
the program. We propose a challenge to implement top-down reasoners by pre-compiling rules into imperative
functions written in a modern imperative language. The features of modern imperative languages can be used
to simplify such a translation. Tackling this challenge can yield development simplicity, compared to typical
abstract machine architectures; and allows for an integrated logic and imperative environment, as translated rule
functions can be directly called from other imperative code. We propose one solution to this challenge, called
fun3, which pre-compiles N3 rules into imperative functions written in Python. We provide initial performance
results that show the feasibility of overcoming this challenge while not overly sacrificing performance.
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Techreport3061

2025-08-22T11:35:47Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=William Van Woensel; Dominik Tomaszuk }} {{Techreport |Title=SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version) |Year=2025 |Month=August |Institution=arXiv.org }} {{Publikation Details |Abstract=Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn…“

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=William Van Woensel; Dominik Tomaszuk
}}
{{Techreport
|Title=SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
|Year=2025
|Month=August
|Institution=arXiv.org
}}
{{Publikation Details
|Abstract=Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn clauses. The Rule Interchange Format (RIF) offers more expressive rules but is defined outside RDF and rarely adopted. For querying, SPARQL is a well-established standard operating directly on RDF triples. We leverage SPARQL CONSTRUCT queries as logic rules, enabling (1) an expressive, familiar SW rule language, and (2) general recursion, where queries can act on the results of others. We translate these queries to the Notation3 Logic (N3) rule language, allowing use of existing reasoning machinery with forward and backward chaining. Targeting a one-to-one query-rule mapping improves exchangeability and interpretability. Benchmarks indicate competitive performance, aiming to advance the potential of rule-based reasoning in the SW.
|DOI Name=https://doi.org/10.48550/arXiv.2508.13041
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3425

2025-08-22T11:29:09Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=William Van Woensel; Dominik Tomaszuk
}}
{{Inproceedings
|Referiert=1
|Title=SPARQL in N3: SPARQL construct as a rule language for the Semantic Web
|To appear=1
|Year=2025
|Month=September
|Booktitle=RuleML+RR 2025
|Publisher=Springer
|Editor=Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu
}}
{{Publikation Details
|Abstract=Reasoning in the Semantic Web (SW) commonly uses Description Logics (DL) via OWL2 DL ontologies, or SWRL for variables and Horn clauses. The Rule Interchange Format (RIF) offers more expressive rules but is defined outside RDF and rarely adopted. For querying, SPARQL is a well-established standard operating directly on RDF triples. We leverage SPARQL CONSTRUCT queries as logic rules, enabling (1) an expressive, familiar SW rule language, and (2) general recursion, where queries can act on the results of others. We translate these queries to the Notation3 Logic (N3) rule language, allowing use of existing reasoning machinery with forward and backward chaining. Targeting a one-to-one query-rule mapping improves exchangeability and interpretability. Benchmarks indicate competitive performance, aiming to advance the potential of rule-based reasoning in the SW.
|Download=RuleMl25.pdf
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Inproceedings3425

2025-08-22T09:58:18Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=William Van Woensel; Dominik Tomaszuk }} {{Inproceedings |Referiert=1 |Title=SPARQL in N3: SPARQL construct as a rule language for the Semantic Web |To appear=1 |Year=2025 |Month=September |Booktitle=RuleML+RR 2025 |Publisher=Springer |Editor=Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu }} {{Publikation Details |Downl…“

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=William Van Woensel; Dominik Tomaszuk
}}
{{Inproceedings
|Referiert=1
|Title=SPARQL in N3: SPARQL construct as a rule language for the Semantic Web
|To appear=1
|Year=2025
|Month=September
|Booktitle=RuleML+RR 2025
|Publisher=Springer
|Editor=Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, and Ahmet Soylu
}}
{{Publikation Details
|Download=RuleMl25.pdf
|Projekt=ScaDS.AI
|Forschungsgruppe=Computational Logic
}}

Datei:RuleMl25.pdf

2025-08-22T09:57:41Z

Dörthe Arndt:

Techreport3053

2024-11-13T09:51:11Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Stephan Mennike
}}
{{Techreport
|Title=Existential Notation3 Logic
|Year=2024
|Month=April
|Institution=ICCL
|Type=Submission to Theory and Practice of Logic Programming
}}
{{Publikation Details
|Forschungsgruppe=Computational Logic
}}

Techreport3053

2024-11-13T09:50:13Z

Dörthe Arndt:

Techreport3053

2024-11-13T09:44:03Z

Dörthe Arndt:

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Stephan Mennike
}}
{{Techreport
|Title=Existential Notation3 Logic
|Year=2024
|Month=April
|Institution=Theory and Practice of Logic Programming
|Type=Journal Submission
}}
{{Publikation Details
|Bild=ExistentialN3.pdf
|Forschungsgruppe=Computational Logic
}}

Techreport3053/en

2024-11-13T09:43:06Z

Dörthe Arndt: Page created automatically by parser function on page Techreport3053

#REDIRECT [[Techreport3053]]

Techreport3053

2024-11-13T09:43:06Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=Stephan Mennike }} {{Techreport |Title=Existential Notation3 Logic |Year=2024 |Month=April |Institution=TPLP |Type=Submission }} {{Publikation Details |Bild=ExistentialN3.pdf |Forschungsgruppe=Computational Logic }}“

{{Publikation Erster Autor
|ErsterAutorVorname=Dörthe
|ErsterAutorNachname=Arndt
|FurtherAuthors=Stephan Mennike
}}
{{Techreport
|Title=Existential Notation3 Logic
|Year=2024
|Month=April
|Institution=TPLP
|Type=Submission
}}
{{Publikation Details
|Bild=ExistentialN3.pdf
|Forschungsgruppe=Computational Logic
}}

Datei:ExistentialN3.pdf

2024-11-13T09:40:26Z

Dörthe Arndt:

Dörthe Arndt

2024-11-13T09:26:08Z

Dörthe Arndt:

{{Mitarbeiter
|Vorname=Dörthe
|Nachname=Arndt
|Akademischer Titel=Dr.
|Forschungsgruppe=Computational Logic
|Stellung=Wissenschaftliche Mitarbeiterin
|Ehemaliger=0
|Telefon=+49 351 463 43559
|Email=doerthe.arndt@tu-dresden.de
|Raum=APB 2019
|Bild=Doerthe-arndt.jpg
|Info=Ich bin Postdoktorandin an der Professur Computational Logic. Meine Forschungsinteressen umfassen die Logiken und Formalismen im Semantic Web und ihre Beziehungen zueinander. Mein besonderes Interesse liegt hier auf Regel-basierten Systemen (insbesondere Notation 3 Logic).
|Info EN=I am a postdoctoral researcher in the Computational Logic. My research centers around the different logics and formalisms of the Semantic Web and their relationship to each other. Here, I focus especially on rule-based reasoning (especially Notation 3 Logic) .
|DBLP=https://dblp.uni-trier.de/pid/165/1132.html
|Google Scholar=https://scholar.google.com/citations?user=IMnVGVQAAAAJ&hl=de&oi=ao
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Semantische Technologien
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Regelbasiertes Schließen
}}
{{Forschungsgebiet Auswahl}}

First-Order Logic – Semantic and Computational Properties (SS2024)

2024-04-05T15:31:41Z

Dörthe Arndt:

{{Vorlesung
|Title=First-Order Logic – Semantic and Computational Properties
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=SS
|Year=2024
|SWSLecture=2
|SWSExercise=0
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=The aim of this course is to take a closer look to First order logic and its properties which goes beyond the introduction most of us had in the beginning of their studies. We will introduce its syntax and semantics. We will learn about structures, models and calculi. We want to understand when to (not) trust a proof. On our journey, we will furthermore deepen our knowledge about the most important theorems like completeness, compactness or Löwenheim Skolem.

The course will take place on Mondays 5. DS
Room: APB E005
Start: 15.4.2024
|Literature=* H.-D. Ebbinghaus , J. Flum , W. Thomas: Mathematical Logic (https://link.springer.com/book/10.1007/978-1-4757-2355-7)
}}

First-Order Logic – Semantic and Computational Properties (SS2024)

2024-03-28T13:36:19Z

Dörthe Arndt:

{{Vorlesung
|Title=First-Order Logic – Semantic and Computational Properties
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=SS
|Year=2024
|SWSLecture=2
|SWSExercise=0
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=The aim of this course is to take a closer look to First order logic and its properties which goes beyond the introduction most of us had in the beginning of their studies. We will introduce its syntax and semantics. We will learn about structures, models and calculi. We want to understand when to (not) trust a proof. On our journey, we will furthermore deepen our knowledge about the most important theorems like completeness, compactness or Löwenheim Skolem.

The course will take place on Mondays 5. DS
Room: APB E005
|Literature=* H.-D. Ebbinghaus , J. Flum , W. Thomas: Mathematical Logic (https://link.springer.com/book/10.1007/978-1-4757-2355-7)
}}

First-Order Logic – Semantic and Computational Properties (SS2024)/en

2024-03-28T13:35:32Z

Dörthe Arndt: Page created automatically by parser function on page First-Order Logic – Semantic and Computational Properties (SS2024)

First-Order Logic – Semantic and Computational Properties (SS2024)

2024-03-28T13:35:32Z

Dörthe Arndt: Die Seite wurde neu angelegt: „{{Vorlesung |Title=First-Order Logic – Semantic and Computational Properties |Research group=Computational Logic |Lecturers=Dörthe Arndt |Term=SS |Year=2024…“

{{Vorlesung
|Title=First-Order Logic – Semantic and Computational Properties
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=SS
|Year=2024
|SWSLecture=2
|SWSExercise=0
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=The aim of this course is to take a closer look to First order logic and its properties which goes beyond the introduction most of us had in the beginning of their studies. We will introduce its syntax and semantics. We will learn about structures, models and calculi. We want to understand when to (not) trust a proof. On our journey, we will furthermore deepen our knowledge about the most important theorems like completeness, compactness or Löwenheim Skolem.

The course will take place on Mondays 5. DS
Room: APB E005
|Literature=* H.-D. Ebbinghaus , J. Flum , W. Thomas: Mathematical Logic
}}

Foundations of Semantic Web Technologies (WS2023)

2024-01-26T15:21:20Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL: Hands On
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/12/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung 8 2024b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Rules and N3
|Room=APB E005
|Date=2024/01/10
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Notation3 Logic
|Room=APB E005
|Date=2024/01/15
|DS=DS4
|Download=SWuebung9 2024.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Notation3 Logic: Semantics and Applications
|Room=APB E005
|Date=2024/01/17
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL-RL in N3
|Room=APB E005
|Date=2024/01/22
|DS=DS4
|Download=SW-uebung10 2024.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Shapes
|Room=APB E005
|Date=2024/01/24
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Shapes
|Room=APB E005
|Date=2024/01/29
|DS=DS4
|Download=Sw uebung 11 2024.pdf
}}

Foundations of Semantic Web Technologies (WS2023)

2024-01-26T15:20:22Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL: Hands On
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/12/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung 8 2024b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Rules and N3
|Room=APB E005
|Date=2024/01/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Notation3 Logic
|Room=APB E005
|Date=2024/01/15
|DS=DS4
|Download=SWuebung9 2024.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Notation3 Logic: Semantics and Applications
|Room=APB E005
|Date=2024/01/17
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL-RL in N3
|Room=APB E005
|Date=2024/01/22
|DS=DS4
|Download=SW-uebung10 2024.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Shapes
|Room=APB E005
|Date=2024/01/24
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Shapes
|Room=APB E005
|Date=2024/01/29
|DS=DS4
|Download=Sw uebung 11 2024.pdf,
}}

Datei:Sw uebung 11 2024.pdf

2024-01-26T15:20:17Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2024-01-19T17:34:10Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL: Hands On
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/12/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung 8 2024b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Rules and N3
|Room=APB E005
|Date=2024/01/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Notation3 Logic
|Room=APB E005
|Date=2024/01/15
|DS=DS4
|Download=SWuebung9 2024.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Notation3 Logic: Semantics and Applications
|Room=APB E005
|Date=2024/01/17
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL-RL in N3
|Room=APB E005
|Date=2024/01/22
|DS=DS4
|Download=SW-uebung10 2024.pdf,
}}

Datei:SW-uebung10 2024.pdf

2024-01-19T17:34:04Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2024-01-14T12:02:17Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL: Hands On
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/12/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung 8 2024b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Rules and N3
|Room=APB E005
|Date=2024/01/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Notation3 Logic
|Room=APB E005
|Date=2024/01/15
|DS=DS4
|Download=SWuebung9 2024.pdf,
}}

Datei:SWuebung9 2024.pdf

2024-01-14T12:02:03Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2024-01-08T10:38:48Z

Dörthe Arndt:

Datei:SW-uebung 8 2024b.pdf

2024-01-08T10:38:46Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2024-01-08T10:02:01Z

Dörthe Arndt:

Datei:SW-uebung 8 2024.pdf

2024-01-08T10:01:55Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2024-01-07T23:04:39Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/12/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung8 2024.pdf
}}

Foundations of Semantic Web Technologies (WS2023)

2024-01-07T23:02:57Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2023/01/20
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL Semantics
|Room=APB E005
|Date=2024/01/08
|DS=DS4
|Download=SW-uebung8 2024.pdf,
}}

Datei:SW-uebung8 2024.pdf

2024-01-07T23:02:51Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-12-18T10:04:03Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023c.pdf,
}}

Datei:Uebung 7 2023c.pdf

2023-12-18T10:03:59Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-12-15T18:03:12Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023b.pdf,
}}

Datei:Uebung 7 2023b.pdf

2023-12-15T18:03:04Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-12-15T18:00:22Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS4
|Download=Uebung 7 2023.pdf
}}

Foundations of Semantic Web Technologies (WS2023)

2023-12-15T17:59:35Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/18
|DS=DS1
|Download=Uebung 7 2023.pdf,
}}

Datei:Uebung 7 2023.pdf

2023-12-15T17:59:30Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-12-11T10:25:18Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/11/27
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL: Lecture+Exercise
|Room=APB E005
|Date=2023/12/11
|DS=DS1
|Download=Uebung6 2023.pdf,
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL DL
|Room=APB E005
|Date=2023/12/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=SPARQL
|Room=APB E005
|Date=2023/12/13
|DS=DS4
}}

Foundations of Semantic Web Technologies (WS2023)

2023-12-06T11:06:14Z

Dörthe Arndt:

{{Vorlesung
|Title=Foundations of Semantic Web Technologies
|Research group=Computational Logic
|Lecturers=Dörthe Arndt
|Term=WS
|Year=2023
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=Foundations of Semantic Web Technologies (winter semester 2023/24)

===Course Description===
The idea of the Semantic Web is to provide a machine understandable version of the World Wide Web which enables computers to not only make information accessible to the human users but to also actively use it on their own. In this lecture we give a basic introduction to the logics and standards used to realize this vision, such as e.g., RDF and OWL, its applications and the ongoing research topics in that field.

The course consists of lectures which introduce the general concepts and of exercise sessions which connect these concepts to practise.

===Schedule and Location===
Lecture: Wednesday, 13:00-14:30, APB/E005 (start: 11.10.2023),
Exercise: Monday 13:00-14:30, APB/E005 (start: 16.10.2022)

===Lecture plan===

The expected content of the lecture will be as follows:

Lecture 1: Introduction

Lecture 2: RDF Model & Syntax

Lecture 3: RDF Schema (RDFS)

Lecture 4: RDF(S) Semantics

Lecture 5: Web Ontology Language (I)

Lecture 6: Web Ontology Language (II)

Lecture 7: SPARQL

Lecture 8: SPARQL Semantics

Lecture 9: Rules and Notation 3 Logic

Lecture 10: Notation 3 Semantics and applications

Lecture 11: Linked Data

Lecture 12: Shapes

Lecture 13: RDB2RDF

Lecture 14: Conclusion

The plan is preliminary and will be adjusted during the term of the course. Slides will be added after each lecture.

===Contact===
Please, feel free to contact D. Arndt if you have any further questions.

===OPAL===
Please also register at opal: https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/41677160453/
(in case of problems, contact mailto:doerthe.arndt@tu-dresden.de)

===Matrix===
There is also a Matrix-chat for this course: https://matrix.to/#/#FSWT-2023:tu-dresden.de
|Literature=* A. Hogan: The web of data, 2020, https://aidanhogan.com/webofdatabook/
* P. Hitzler, ‎M. Krötzsch, ‎S. Rudolph: Foundations of Semantic Web Technologies, 2009, https://www.semantic-web-book.org
* P. Hitzler, ‎Markus Krötzsch, ‎S. Rudolph, Y. Sure: Semantic Web Grundlagen (in German), 2008, https://www.semantic-web-grundlagen.de
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Introduction
|Room=APB E005
|Date=2023/10/11
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF
|Room=APB E005
|Date=2023/10/18
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=The Web: Needles in a Haystack
|Room=APB E005
|Date=2023/10/16
|DS=DS4
|Download=Exercises01b.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF: Theory and hands on
|Room=APB E005
|Date=2023/10/23
|DS=DS4
|Download=Uebung RDF2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDFS
|Room=APB E005
|Date=2023/10/25
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDFS: Hands on
|Room=APB E005
|Date=2023/10/30
|DS=DS4
|Download=Uebung3 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=RDF/S semantics
|Room=APB E005
|Date=2023/11/01
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (combined with lecture)
|Room=APB E005
|Date=2023/11/06
|DS=DS4
|Download=Uebung4 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=No lecture
|Room=APB E005
|Date=2023/11/08
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=RDF/S semantics (cnd)
|Room=APB E005
|Date=2023/11/13
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL (I)
|Room=APB E005
|Date=2023/11/15
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL
|Room=APB E005
|Date=2023/11/20
|DS=DS4
|Download=Uebung5 2023.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Lecture+Exercise
|Room=APB E005
|Date=2023/12/06
|DS=DS4
|Download=Uebung6 2023.pdf,
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL: Decidability+Profiles
|Room=APB E005
|Date=2023/12/04
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=OWL
|Room=APB E005
|Date=2023/11/29
|DS=DS4
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=OWL (cnd)
|Room=APB E005
|Date=2023/12/27
|DS=DS4
}}

Datei:Uebung6 2023.pdf

2023-12-06T11:03:08Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-11-17T17:13:16Z

Dörthe Arndt:

Datei:Uebung5 2023.pdf

2023-11-17T17:13:09Z

Dörthe Arndt:

Foundations of Semantic Web Technologies (WS2023)

2023-11-03T17:53:07Z

Dörthe Arndt: