Corporate Semantic Web
In der Veranstaltung werden verschiedene Themen des Semantic Webs und der deklarativen Wissensrepräsentation und Logikprogrammierung im betrieblichen Anwendungskontext behandelt.
| Type | Proseminar |
|---|---|
| Instructor | Prof. Dr. Adrian Paschke |
| Room | Takustraße 9 SR 046 |
| Start | Apr 10, 2012 |
| end | Sep 17, 2012 |
| Time | Dienstag 16 - 18 Uhr |
| Zeitraum: | 10.04.2012 bis 10.07.2012 |
| Haupttermine: | Dienstag 16 - 18 Uhr - Takustraße 9 SR 046 |
| Termin | Thema | Referent |
| 10.04.2012 | Einführung und Themenvergabe | |
| 24.4. | ISO Prolog syntax, declarative versus sequential programming constructs |
Christian Windolf |
| 8.5. | Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution |
Mirjam Plietzsch |
| 15.5. | Semantik - Beschreibungslogiken |
Tim Wieschalla |
| 15.5. | Semantic Web, RDF, Named Graphs |
Julian Pfeifer |
| 22.5. | SPARQL, Triple Stores |
Samuel Gfrörer |
| 22.5. | Linked Open Data |
Carl Witt |
| 29.5. | Ontology Engineering |
Lidia Krus |
| 5.6. | Ontology Cost Models |
Max Ficht |
| 12.6. | Ontology Design Patterns |
Florian Herm |
| 19.6. | Semantic Web Application |
Christian Anese |
| 19.6. | Semantic Desktops und Personal Information Management |
Michael Pluhatsch |
| 26.6. | NLP in Semantic Web |
Benjamin Wild |
| 2.7. | Semantic Complex Event Processing | Pascal Triebsch |
Templates für Präsentation und Seminararbeit
Ablauf und Leistungserbringung
siehe http://www.ag-nbi.de/lehre/seminare.html
Bitte beachten Sie auch die Hinweise zu Plagiaten.
Themen
(Betreuer: AP = Adrian Paschke, GC = Gökhan Coscun, RH = Ralf Heese, RO = Radoslaw Oldakowski, RS = Ralph Schäfermeier, OS = Olga Streibel, AT = Alexandru Todor, MH = Marco Harasic, Kia Teymourian = KT)1 Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (KT)
2 Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (KT)
3 Logic Programming: Datalog, Horn Logic, Rules, and Deductive Databases (KT)
4 Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution (KT)
5 Semantics of Logic Programs - Model Theoretic Semantics (Stable Model and Well-Founded Semantics) (AP)
6 Semantik - Beschreibungslogiken (AP, KT)
7 Description Logic Programs (AP, KT)
8 Semantic Web, RDF, Named Graphs (Betreuer: GC)
9 SPARQL, Triple Stores (Betreuer: RH)
10 Linked Open Data (Betreuer: AT)
11 Semantic Web Ontologiesprachen - RDFS und OWL (Betreuer: MH)
12 Semantic Web Regelsprachen - RuleML und RIF (AT)
13 Ontology Engineering (rs)
14 Ontology Cost Models (rs)
15 Ontology Design Patterns (rs)
16 Ontology Modularization und Ontology Partitioning (gc)
17 Semantic Web Applications (ro)
18 Semantic Search (ro)
19 Semantic Recommender (MH)
20 Semantic Desktops und Personal Information Management (rs)
21 Personalization (ro)
22 Folksonomy, Tagging, Tag Ontologies: Structure and Use in Social Networks (os)
23 Natural Language Processing in Semantic Web: String similarity functions in Text-to-Ontology matching (by the Example of GATE tool) (os)
24 Provenance (rh)
25 Semantic Complex Event Processing (KT)