| Date |
Speaker |
Topic |
Abstract |
Slides |
| 2015, October 21 |
Thosar, Madhura |
Tool Substitution – Overview |
Abstract
| Slides
|
| 2015, October 28 |
Mossakowski, Till |
Networks and Refinements in DOL |
Abstract
| Slides
|
| 2015, November 4 |
Dirsumilli, Ramya |
RESTful Encapsulation of OWLAPI |
Abstract
| Slides
|
| 2015, November 18 |
Mossakowski, Till |
The Distributed Ontology, Modeling and Specification Language (DOL):
Entailments and Equivalences |
Abstract
| Slides
|
| 2015, November 25 |
Katragadda, Rajendra Kumar |
Anti-Unification for Web Ontology Language |
Abstract
| Slides
|
| 2015, December 2 |
Günther, Stephan |
Institutions Exemplified 2: Morphisms |
Abstract
| Slides
|
| 2015, December 9 |
Günther, Stephan |
Institutions Exemplified 2: Part 2 – Return of the Comorphisms |
Abstract
| Slides
|
| 2015, December 16
|
Glauer, Martin |
open_eGo – Open Energy Platform |
Abstract
| Slides
|
| 2016, January 13 |
Neuhaus, Fabian |
Introduction to Common Logic |
Abstract
| Slides
|
| 2016, January 20 |
Engel, Christoph |
Domain Specific Corpus Creation for Natural Language Processing |
Abstract
| Slides
|
| 2016, January 27 |
Günther, Stephan |
Matching Logic – One of the Formalisms Behind the K Semantic Framework |
Abstract
| Slides
|
| 2016, March 2 |
Mossakowski, Till |
The Business Process Modeling Notation (BPMN) |
Abstract
| Slides
|
2016, March 9
11 o'clock, s. t. ! |
Mossakowski, Till |
The Business Process Modeling Notation (BPMN), Part II |
Abstract
| Slides
|