VSL 2014: VIENNA SUMMER OF LOGIC 2014

DL ON THURSDAY, JULY 17TH: TALK VIEW

Days:
next day
all days

View: with abstractssession overviewside by side with other conferences

10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
23:00
23:30
10:45-11:45
Invited Talk: New Perspectives on Query Reformulation
Michael Benedikt
11:45-12:10
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs
Pierre Bourhis, Michael Morak, Andreas Pieris
12:10-12:35
Complexities of Nominal Schemas
Markus Krötzsch, Sebastian Rudolph
12:35-12:38
Comparing the Expressiveness of Description Logics
Ali Rezaei Divroodi
12:38-12:41
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies
Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
12:41-12:44
Predicting OWL Reasoners: Locally or Globally?
Viachaslau Sazonau, Uli Sattler, Gavin Brown
12:44-12:47
Bridging the Gap between Tableau and Consequence-Based Reasoning
Yevgeny Kazakov, Pavel Klinov
12:47-12:50
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
12:50-12:53
How to Best Nest Regular Path Queries
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
12:53-12:56
Typed Higher-Order Variant of SROIQ - Why Not?
Martin Homola, Jan Kluka, Vojtěch Svátek, Miroslav Vacura
12:56-12:59
Practical query answering over Hi (DL-LiteR) knowledge bases
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
14:30-14:55
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
D. Carral, C. Feier, A. Armas Romero, B. Cuenca-Grau, P. Hitzler, I. Horrocks
14:55-15:20
Abstraction Refinement for Ontology Materialization
Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard
15:20-15:45
Shape and Content: Incorporating Domain Knowledge into Shape Analysis
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
15:45-15:48
An ABox Revision Algorithm for the Description Logic EL_\bot
Liang Chang, Uli Sattler, Tianlong Gu
15:48-15:51
Instance-driven TBox Revision in DL-Lite
Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li
15:51-15:54
Rational Elimination of DL-Lite TBox Axioms
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou
15:54-15:57
Rational closure in SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
15:57-16:00
DIP: A Defeasible-Inference Platform for OWL Ontologies
Kody Moodley, Thomas Meyer, Uli Sattler
16:00-16:50 Poster Session (with coffee break)
16:50-17:15
Goal-Directed Tracing of Inferences in EL Ontologies
Yevgeny Kazakov, Pavel Klinov
17:15-17:40
Brave and Cautious Reasoning in EL
Michel Ludwig, Rafael Peñaloza
17:40-18:05
Matching with respect to general concept inclusions in the Description Logic EL
Franz Baader, Barbara Morawska
18:05-18:30
Contextualized Knowledge Repositories with Justifiable Exceptions
Loris Bozzato, Thomas Eiter, Luciano Serafini
19:00-21:00 DL/NMR Welcome Reception
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-17:30
Foundations and Technology Competitions Award Ceremony
Kurt Gödel Research Prize Fellowships Program
17:30-18:15
FLoC Olympic Games Award Ceremony 1
Floc Olympic Games
18:15-18:30
FLoC Closing Week 1
Helmut Veith
21:00-23:59 VSL Student Reception 1
Disclaimer | Powered by EasyChair Smart Program