Date |
Speaker |
Topic |
Abstract |
Slides |
2016, June 8 |
Engel, Christoph |
Practical Experiences in the Application of Graph Databases |
Abstract |
|
2016, June 1 |
Peyras, Quentin |
Presentation of some UML Tools |
Abstract
| |
2016, May 25 |
Günther, Stephan |
Reachability Logic |
Abstract |
|
2016, May 18 |
Neuhaus, Fabian |
RDFS and Quad Stores |
Abstract
| Slides 1,
Slides 2 |
2016, May 11 |
Neuhaus, Fabian |
RDF Semantics |
Abstract
| Slides 1,
Slides 2 |
2016, May 4 |
Mossakowski, Till |
Institutions Abstract Logical Systems for Computer Science, Part II |
Abstract
| |
2016, April 27 |
Mossakowski, Till |
Institutions Abstract Logical Systems for Computer Science |
Abstract
| Slides |
2016, April 20 |
Mossakowski, Till |
Database Scheme Integration Using DOL and Spivak's Categorical Databases |
Abstract
| |
2016, April 13 |
Mossakowski, Till |
Spivak's Categorical Databases |
Abstract
| |
2016, March 9 |
Mossakowski, Till |
The Business Process Modeling Notation (BPMN), Part II |
Abstract
| Slides
|
2016, March 2 |
Mossakowski, Till |
The Business Process Modeling Notation (BPMN) |
Abstract |
Slides
|
2016, January 27 |
Günther, Stephan |
Matching Logic One of the Formalisms Behind the K Semantic Framework |
Abstract |
|
2016, January 20 |
Engel, Christoph |
Domain Specific Corpus Creation for Natural Language Processing |
Abstract |
|
2016, January 13 |
Neuhaus, Fabian |
Introduction to Common Logic |
Abstract |
|
2015, December 16
|
Glauer, Martin |
open_eGo Open Energy Platform |
Abstract |
|
2015, December 9 |
Günther, Stephan |
Institutions Exemplified 2: Part 2 Return of the Comorphisms |
Abstract |
|
2015, December 2 |
Günther, Stephan |
Institutions Exemplified 2: Morphisms |
Abstract |
|
2015, November 25 |
Katragadda, Rajendra Kumar |
Anti-Unification for Web Ontology Language |
Abstract |
|
2015, November 18 |
Mossakowski, Till |
The Distributed Ontology, Modeling and Specification Language (DOL):
Entailments and Equivalences |
Abstract |
|
2015, November 4 |
Dirsumilli, Ramya |
RESTful Encapsulation of OWLAPI |
Abstract |
|
2015, October 28 |
Mossakowski, Till |
Networks and Refinements in DOL |
Abstract |
|
2015, October 21 |
Thosar, Madhura |
Tool Substitution – Overview |
Abstract |
|