| Lehrbeauftragter: | Prof. Dr. Till Mossakowski |
| Sprache: | English |
| Wochenstunden: | 2 SWh |
| Regulärer Termin im Wintersemester 2019/20: | Tuesday, 11 o'clock s. t., i. e., 11:00, in G29-018 |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 2019, Dezember 3 | No Oberseminar | |||
| 2019, November 26 | Daupayew, Nursultan | Multi-view Consistency of Energy System UML Models | Abstract | |
| 2019, November 12 | Siebert, Sophie | Commonsense Reasoning using Theorem Proving and Machine Learning | Abstract | |
| 2019, November 5 | Adamy, Rick | Algorithmische Umsetzung eines graphenbasierten Kalküls zum Lösen des 3SAT-Problems | Abstract | |
| 2019, October 29 | Mossakowski, Till | Data Integration with Ontologies | Abstract | Book and Slides |
| 2019, October 15 | Mossakowski, Till | We will plan the seminar in the winter semester. | ||
| 2019, July 2 | Glauer, Martin | Modelling Identity Rules with Neural Networks | Abstract | |
| 2019, June 25 | Mossakowski, Till | Data Integration XI | Abstract | Book and Slides |
| 2019, June 11 | Mossakowski, Till | Data Integration X | Abstract | Book and Slides |
| 2019, June 4 | Mossakowski, Till | Data Integration IX | Abstract | Book and Slides |
| 2019, May 28 | Mossakowski, Till and Glauer, Martin and Günther, Stephan |
A Report from the openMod Conference and the Forschungsnetzwerk Energie Meeting |
Abstract | |
| 2019, May 21 | Mossakowski, Till | An Ontology for Open Energy Modelling – An Updated Version | Abstract | |
| 2019, May 14 | Glauer, Martin and Günther, Stephan | An Ontology for Open Energy Modelling | Abstract | |
| 2019, May 7 | Mossakowski, Till | Data Integration VIII | Abstract | Book and Slides |
| 2019, April 30 | Mossakowski, Till | Data Integration VII | Abstract | Book and Slides |
| 2019, April 23 | Mossakowski, Till | Data Integration VI | Abstract | Book and Slides |
| 2019, April 16 | Mossakowski, Till | Data Integration V | Abstract | Book and Slides |
| 2019, April 9 | Mossakowski, Till | We will plan the seminar in the summer semester. | ||
| 2019, March 26 | Mossakowski, Till | Data Integration IV | Abstract | Book and Slides |
| 2019, March 14 | Mossakowski, Till | Data Integration III | Abstract | Book and Slides |
| 2019, February 26 | Mossakowski, Till | Data Integration II | Abstract | Book and Slides |
| 2019, February 19 | Mossakowski, Till | Data Integration | Abstract | Book and Slides |
| 2019, February 13 | Grimm, Claudius | Integrating Hets with the Atom Editor | Abstract | |
| 2019, January 22 | Thosar, Madhura | What Stands-in for a Missing Tool: A Prototypical Grounded Knowledge-based Approach to Tool Substitution | Abstract | |
| 2019, January 8 | Glauer, Martin and Günther, Stephan | Open Problems in Energy Modelling, Part II | Abstract | Slides |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 2018, December 18 | Glauer, Martin and Günther, Stephan | Open Problems in Energy Modelling | Abstract | |
| 2018, December 12 | Cordes, Sebastian and Vogt, Lukas | Die Entwicklung der Open Energy Ontology | Abstract | |
| 2018, December 4 | Pezler, Alexander | Ein energieübergreifender Betrieb von Industrie-Infrastrukturen fährt durch den Einsatz eines integrierten Daten- und Informationsaustausches zu mehr Zuverlässigkeit und zu einer wirtschaftlichen Nutzung | Abstract | |
| 2018, November 27 | Grimm, Claudius | Entwicklung und Umsetzung einer grafischen Benutzeroberfläche zur Darstellung von Entwicklungsgraphen (Bachelor Thesis Defense) | Abstract | |
| 2018, November 13 | Glauer, Martin and Günther, Stephan | Results and Current Developments in and of the open_eGo and open_FRED Projects | Abstract | |
| 2018, July 11 | Sportelli, Francesco | Supporting Conceptual Modelling in ORM by Reasoning | Abstract | Paper |
| 2018, June 27 | Mossakowski, Till and Glauer, Martin | Institutions for Database Schemas and Datasets | Abstract | |
| 2018, June 20 | Günther, Stephan | Redesigning the Hets RESTful Interface | Abstract | |
| 2018, June 13 | Günther, Stephan | A Demo of the Hets RESTful Interface | Abstract | |
| 2018, June 6 | Predoiu, Livia | Probabilistic Ontological Data Exchange | Abstract | |
| 2018, May 30 | Grimm, Claudius | A New GUI for Hets | Abstract | |
| 2018, May 23 | Sportelli, Francesco | Supporting Conceptual Modelling in ORM by Reasoning | Abstract | |
| 2018, May 16 | Mossakowski, Till and Neuhaus, Fabian | Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs | Abstract | |
| 2018, May 9 | Thosar, Madhura | Rock, Paper, Scissor: Suitable Stand-in for a Hammer? – Knowledge-Based Approach to Tool Substitution for Household Robots | Abstract | |
| 2018, April 25 | Mossakowski, Till and Glauer, Martin | Fuzzy Logic for Conceptors | Abstract | |
| 2018, April 18 | Glauer, Martin | Selected Talks on Artificial Intelligence for Automated Theorem Proving | Abstract | |
| 2018, April 11 | Neuhaus, Fabian | What is an Ontology? | Abstract |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 2017, November 29 | Diaconescu, Razvan | Many-Valued Truth in an Institutional Setting | Abstract | |
| 2017, November 15 | Codescu, Mihai | Hybridization of Institutions | Abstract | |
| 2017, October 25 | Krusch, Tim and Krusch, Tom | Ontohub Frontend Redesign – Softwareprojekt | Abstract | |
| 2017, July 5 | Glauer, Martin and Günther, Stephan | Recent and Upcoming Publications in the Context of the Open Energy Database | Abstract | |
| 2017, Mai 24 | Mossakowski, Till | Databases, Ontologies, Semantic Web – Part 2: Query Rewriting for Ontology Based Data Access | Abstract | Slides |
| 2017, Mai 17 | Mossakowski, Till | Databases, Ontologies, Semantic Web | Abstract | Slides |
| 2017, May 10 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution (Part 3) | Abstract | |
| 2017, May 3 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution (Part 2) | Abstract | |
| 2017, April 26 | Thosar, Madhura | Standing-in for a Hammer: An Incremental Learning Based Approach to Tool Substitution | Abstract | |
| 2017, April 12 | Günther, Stephan | Oemof, OpenMod.SH and openFRED: A Framework and two Projects |
Abstract | |
| 2017, April 12 | Glauer, Martin | open_eGo and the Open Energy Platform | Abstract | |
| 2017, April 5 | Mossakowski, Till | Logic Tensor Networks | Abstract | Paper |
| 2017, March 15 | Kuksa, Eugen | Logic-independent Premise Selection for Automated Theorem Proving in Ontohub | Abstract | |
| 2017, March 8 | Siebert, Sophie | The Cognitive Architecture Clarion | Abstract | |
| 2017, March 1 | Günther, Stephan | Stratified Institutions | Abstract | |
| 2017, February 15 | Mossakowski, Till | Inductive Reasoning | Abstract | Slides |
| 2017, February 8 | Mossakowski, Till | Monads | Abstract | Slides |
| 2017, February 1 | Mossakowski, Till | Temporal RCC8+QTC | Abstract | Slides |
| 2017, January 24 | Mossakowski, Till | Modal Logic | Abstract | |
| 2017, January 17 | Mossakowski, Till | Multi-view Consistency in UML, joint work with A. Knapp (Augsburg University) | Abstract | Slides |
| 2017, January 3 | Hedblom, Maria | Image Schemas as Conceptual Building Blocks for Concept Invention | Abstract |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 2016, December 13 | Glauer, Martin | An Equational Formalism and Design Pattern for Functorial Data Integration | Abstract | Slides |
| 2016, November 21 | Mossakowski, Till | Institutional Monads, Part II | Abstract | Slides |
| 2016, November 15 | Mossakowski, Till | Institutional Monads | Abstract | Slides |
| 2016, November 8 | Mossakowski, Till | Generalised Substitution Systems | Abstract | Slides, Paper |
| 2016, November 1 | Mossakowski, Till | Neuro-symbolic Integration | Abstract | Paper |
| 2016, October 25 | Mossakowski, Till Neuhaus, Fabian |
Evaluation of Arguments Involving Attacks and Supports in Weighted Graphs | Abstract | Slides |
| 2016, October 18 | Thosar, Madhura | Intelligence without Representation | Abstract | Slides, Paper |
| 2016, June 29 | Thosar, Madhura | Standing-in for a Hammer – A Computational System for Tool Substitution: Preliminary Results | Abstract | |
| 2016, June 22 | Engel, Christoph | Second Try: Practical Experiences in the Application of Graph Databases |
Abstract | |
| 2016, June 15 | Mossakowski, Till | Quad Stores | Abstract | |
| 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 |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 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 | |
| 2015, October 14 | Mossakowski, Till | We will plan the next talks. | ||
| 2015, July 8 | Dirsumilli, Ramya | RESTful Encapsulation of OWL API | Abstract | |
| 2015, June 24 | Engel, Christoph | Information Extraction for Traffic Management | Abstract | |
| 2015, June 10 | Katragadda, Rajendra | Anti-Unification for the Web Ontology Language | Abstract | |
| 2015, June 3 | Mossakowski, Till | Left and Right are Harder Than West and East – Qualitative Spatial Reasoning About Relative Orientation | Abstract | Slides |
| 2015, Mai 27 | Günther, Stephan | Institutions Exemplified | Abstract | |
| 2015, Mai 20 | Hedblom, Maria | Image Schema Structure and Relation to Conceptual Blending | Abstract | |
| 2015, Mai 6 | Mossakowski, Till | Distributed Ontology, Modeling and Specification Language – Final issues before the submission | Abstract | |
| 2015, April 29 | Ontology Matching and Alignment | Abstract | ||
| 2015, April 22 | Glauer, Martin (in cooperation with Alexander Knapp,
Till Mossakowski and Markus Roggenbach) |
An Institution for Simple UML State Machines | Abstract | |
| 2015, April 15 | Neuhaus, Fabian | SCenario-based ONtology Evaluation (Scone) | Abstract | |
| 2015, February 24 (second talk) | Reddehase, Tim | Ontohub API | Abstract | |
| 2015, February 24 (first talk) | Kuksa, Eugen | Driving in the Rain and Eating Ice Cream – Do We Need This? Axiom Selection for Automated Theorem Proving | Abstract | |
| 2015, February 18 | Mossakowski, Till | Modularity of Ontologies in an Arbitrary Institution | Abstract | Slides |
| 2015, February 4 | Thosar, Madhura | Creative Use of Tools in Robotics | Abstract | |
| 2015, January 28 | Kutz, Oliver | Contextual and Distributed Reasoning with Ontologies | Abstract | |
| 2015, January 21 | Günther, Stephan | Parallelizing the Growing Self-Organizing Maps Algorithm Using Software Transactional Memory | Abstract | Slides |
| 2015, January 14 | Mossakowski, Till | The Distributed Ontology, Modeling and Specification Language (DOL) – A Gentle Introduction with Examples (Part II) | Abstract | Slides |
| 2015, January 7 | Mossakowski, Till | We will plan the next talks. |
| Date | Speaker | Topic | Abstract | Slides/Paper |
|---|---|---|---|---|
| 2014, December 17 | Codescu, Mihai | 3/2 Colimits | Abstract | Slides |
| 2014, December 10 | Glauer, Martin | An Institution for (Hierarchical) UML State Machines | Abstract | Slides |
| 2014, November 26 | Neuhaus, Fabian | Ontology Evaluation – Challenges and Opportunities | Abstract | |
| 2014, November 19 | Hedblom, Maria | On the Cognitive and Logical Role of Image Schema in Conceptual Blending | Abstract | Slides |
| 2014, November 12 | Mossakowski, Till | The Distributed Ontology, Modeling and Specification Language (DOL) – A Gentle Introduction with Examples (Part I) | Abstract | Slides |