Program of UniDL

Tuesday, July 20th

Tuesday's program is also available with abstracts and side by side with other events.

09:00‑10:00 Opening
Location: IF 1.15
09:00 Welcoming introduction
09:05 Ralf Möller (University of Hamburg-Harburg)
Invited talk: A Probabilistic Abduction Engine for Media Interpretation based on Ontologies
10:30‑12:30 Technical Papers
Location: IF 1.15
10:30 Pavel Klinov and Bijan Parsia
Relationships between Probabilistic Description and First-Order Logics
10:55 Paulo Santos, Fabio Cozman, Valquiria Fenelon Pereira and Britta Hummel
Probabilistic Logic Encoding of Spatial Domains
11:20 Oliver Gries and Ralf Möller
Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies
11:45 Anni-Yasmin Turhan and Rafael Peñaloza
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
12:10 Rommel Carvalho, Kathryn Laskey and Paulo Costa
Compatibility Formalization Between PR-OWL and OWL
14:00‑15:00 System Descriptions
Location: IF 1.15
14:00 Pavel Klinov and Bijan Parsia
Pronto: A Practical Probabilistic Description Logic Reasoner
14:25 Nicola Vitucci, Mario Arrigoni Neri and Giuseppina Gini
Using f-SHIN to Represent Objects: An Aid to Visual Grasping