Second Workshop

The second Hybris Workshop will take place on May 27th-28th 2013 at the technical faculty of the University of Freiburg, Germany.

Venue

Click here for directions.

Program

Sunday, May 26

Travel to Freiburg

Monday, May 27

Tuesday, May 28

09:00-10:30	Talks by project partners
B1	Alina Petrova, TU Dresden. Learning Formal Definitions for Biomedical Concepts
B2	Maria Kissa, TU Dresden. From Correlation to Causality in Predicted Drug Target Interactions
	George Tsatsaronis,  TU Dresden. Towards Document Retrieval with Semantic Relatedness over Multiple Contexts
10:30-11:00	Coffee break
11:00-13:00	Gerhard Lakemeyer, RWTH Aachen University. The Situation Calculus and Golog -- A Tutorial Slides (272.5 KB)
13:00	Lunch and Farewell

Abstracts

Lessons from Teaching Non-Computer Scientists OWL and Ontologies

Invited talk by Robert Stevens, University of Manchester

Abstract: If people learning OWL are asked "from the axiom 'Person and hasPet some not Cat', How many pets can a person have?", the answer is almost invariably incorrect. OWL is a complex language, ontologies built with OWL can be complex, with complex implications. In Manchester we have been teaching OWL and ontology modelling to a broad range of people, mostly life-scientists, for over a decade. Our tutorials have been constructed to deal with what we see to be common pitfalls and mis-understandings of OWL. The tutorials are also constructed to encourage use of OWL's facilities. In biomedical ontologies we have seen a move from simple taxonomies to sophisticated use of OWL and automated reasoners. From this we can think about what it will take to make using OWL and it's facilities more accessible to a wider audience. Life-scientists have produced a large number of ontologies that have become a fantastic resource for computer scientists; by making OWL easier to use and pushing more applications of ontologies within software applications for managing and analysing data, we can create a virtuous circle of fundamentals of computer science and their application in problem areas. In this talk I will review issues in teaching and using ontologies and throw out some challenges to the community.

Hybrid Reasoning for Angry Birds

Invited talk by Jochen Renz, Australian National University

Abstract: During the IJCAI 2011 workshop on Benchmarks and Applications of Spatial Reasoning we decided that it would benefit our community to have some realistic Challenge Problems that require a substantial amount of spatial reasoning, both qualitative and quantitative. The goal was to have a way of testing the methods that have been and are being developed in a realistic setting and to identify what works and what doesn't, as well identifying gaps that cannot yet be solved using existing techniques. One of the possible problems we discussed was the popular Angry Birds game that is essentially a spatial problem.

We have now set up the Angry Birds challenge problem and provide a basic game playing framework that allows participants to focus on the underlying reasoning tasks. (seehttp://aibirds.org). We held an initial test competition in December 2012 and will have the first major competition at IJCAI 2013 this year.

While Angry Birds may appear to be a simple problem, it is actually very hard to solve for computers and consists of a number of underlying open problems from different areas of AI. I will discuss some of these problems and present in more detail one problem that cannot be solved by qualitative or quantitative reasoning alone, but requires hybrid reasoning. I will present a novel hybrid reasoning technique that is successful in solving this problem and that can be generalised to other problems.