Corporate Semantic Web

In der Veranstaltung werden verschiedene Themen des Semantic Webs und der deklarativen Wissensrepräsentation und Logikprogrammierung im betrieblichen Anwendungskontext behandelt.

TypeProseminar
InstructorProf. Dr. Adrian Paschke
RoomTakustraße 9 SR 046
StartApr 10, 2012
endSep 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

Template Seminararbeit

Template Präsentation

 

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)