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 |
15:30‑17:00 Demos & Discussion
Location: IF 1.15