Oberseminar: Heterogene formale Methoden

Wintersemester 2014/15


Lehrbeauftragter: Prof. Dr. Till Mossakowski
Sprache: English
Wochenstunden: 2 SWh

Contents:

The research seminar includes three kind of activities:

Initial plan

Date Speaker Topic Abstract, slides
Nov. 12, 2014 Till Mossakowski The distributed ontology, modeling and specification language (DOL) - a gentle introduction with examples We present the distributed ontology, modeling and specification language (DOL) that has been recently submitted as a OMG standard. We will discuss syntax, semantics and examples.

Slides
Nov. 19, 2014 Maria Hedblom On the cognitive and logical role of Image schema in conceptual blending In cognitive science image schemas are identified as the fundamental patterns for the cognition of objects, which are perceived, conceptualised and manipulated in space and time. The talk will introduce the theories of image schema and conceptual blending, and discuss the connection to computational concept creation. Image schema will be discussed in relation to analogical thinking and how they could be utilized in the base space of formalised approaches to conceptual blending.

Slides
Nov. 26, 2014 Fabian Neuhaus Ontology Evaluation -- Challenges and Opportunities There seems to be unanimous agreement among ontologists that the evaluation of ontologies is critically important. Ontology evaluation has been an area of active research for at least 20 years. Nevertheless, ontology evaluation techniques play no significant role during the development of ontologies. In this presentation I try to explain why.
Dec.  3, 2014  Cancelled due to illness.
Dec. 10, 2014 Martin   Glauer An Institution for (hierarchical) UML State Machines This talk will present a way to model UML State Machines using institutions. It will cover the main aspects of simple machines and the current way to model them. Based on this we will discuss an extension of aforementioned principle which allows the modelling of hierarcical states and parallel processing.

Slides
Dec. 17, 2014 Mihai Codescu 3/2 colimits In this talk we present 3/2 colimits in ordered categories, a categorical notion used by Joseph Goguen in conceptual blending. We discuss a characterisation of 3/2 colimits in the category of sets and partial functions and propose a way to construct all 3/2 colimits for an arbitrary diagram.

Slides
Jan.  7, 2015    Planning
Jan. 14, 2015 Till Mossakowski The distributed ontology, modeling and specification language (DOL) - a gentle introduction with examplesWe continue the DOL tutorial with a discussion on OMS mappings: syntax, similarities, differences.

Slides
Jan. 21, 2015 Stephan Günther Parallelizing the Growing Self-Organizing Maps algorithm using Software Transactional Memory This talk will present the Growing Self-Organizing Maps clustering algorithm as well as the concurrency abstraction called Software Transactional Memory. After introducing and explaining both, the ways in which the latter can be applied to exploit parallelization opportunities in the former will be analyzed and the consequences of doing so will be demonstrated.

Slides
Jan. 28, 2015 Oliver       Kutz Contextual and Distributed Reasoning with Ontologies We will motivate and introduce several logics and semantics to handle problems of contextualised or distributed reasoning with ontologies that go beyond mere alignment. In particular, we will introduce the basic definitions and features of distributed description logics (DDL) and E-connections and discuss ways of integrating them into the distributed ontology language DOL.
Feb.  4, 2015 Madhura ThosarCreative use of tools in robotics Tool-usage is considered as one aspect of intelligence. Humans as well as animals make extensive use of tools in conventional and unconventional ways to solve tasks. On the other hand robots are still restricted in a way they use tools. It is common among humans and animals to be creative with a tool by using it in an unconventional way when a conventional tool is not available to solve a task. Although robots possess primitive abilities of humans like reaching, grasping and manipulating tools to solve a predefined task, the creativity in using tools is very limited or even absent. The question I would like to address in my PhD research is, given the tool manipulation abilities, can a robot creatively use a tool to solve a task when a conventional tool is not available?
Feb. 11, 2015 Semester break   
Feb. 18, 2015 Till Mossakowski Modularity of Ontologies in an Arbitrary InstitutionThe notion of module extraction has been studied extensively in the ontology community. The idea is to extract, from a large ontology, those axioms that are relevant to certain concepts of interest (formalised as a subsignature). The technical concept used for the definition of module extraction is that of inseparability, which is related to indistinguishability known from observational specifications. Module extraction has been mainly studied for description logics and the Web Ontology Language OWL. In this work, we generalise previous definitions and results to an arbitrary inclusive institution. We reveal a small inaccuracy in the formal definition of inseparability, and show that some results hold in an arbitrary inclusive institution, while others need weak union-exactness of the institution. This work provides the basis for the treatment of module extraction within the institution-independent semantics of the distributed ontology, modeling and specification language (DOL), which is currently under submission to the Object Management Group (OMG).

Slides
Feb. 24, 2015 (first talk) Eugen Kuksa Driving in the Rain and Eating Ice Cream - Do We Need This? Axiom Selection for Automated Theorem ProvingGiven large theories, automated theorem provers don't always choose the axioms to use for proving a conjecture wisely. Mostly only a handful of axioms is actually needed while dozens are supplied. This results in provers wasting resources on "useless" information and reaching their timeout before finding a proof. In this work, we develop and integrate axiom selection algorithms into Ontohub to speed up and even enable proving in those large theories.
Feb. 24, 2015 (second talk) Tim Reddehase Ontohub APIThe Ontohub Application is one that should also be used by other tools. In order for these tools work with Ontohub in a safe and reliable manner we will define a web-based RESTful API that will allow such tools to access information on Ontohub and interact with it. This presentation will provide information on the more general concepts of REST, the basic decisions regarding the API (Ontohub Loc/Ids) and specification of the API and data formats.


Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster