Lehrbeauftragter: | Prof. Dr. Till Mossakowski |
Sprache: | English |
Wochenstunden: | 2 SWh |
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 examples | We 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 Thosar | Creative 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 Institution | The 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 Proving | Given 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 API | The 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. |
Webmaster