VSL 2014: VIENNA SUMMER OF LOGIC 2014

DL ON FRIDAY, JULY 18TH: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
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
08:45-09:45
Invited Talk: Fragments of Logic, Language, and Computation
Patrick Blackburn
09:45-10:15
On the Non-Monotonic Description Logic ALC+Tmin
Oliver Fernandez Gil
08:45-09:45
Invited Talk: Fragments of Logic, Language, and Computation
Patrick Blackburn
09:45-10:15
On the Non-Monotonic Description Logic ALC+Tmin
Oliver Fernandez Gil
10:45-11:10
Towards Practical Deletion Repair of Inconsistent DL-programs
Thomas Eiter, Michael Fink, Daria Stepanova
11:10-11:35
An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC
Wenzhao Qiao, Nico Roos
11:35-12:00
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
10:45-11:10
Towards Practical Deletion Repair of Inconsistent DL-programs
Thomas Eiter, Michael Fink, Daria Stepanova
11:10-11:35
An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC
Wenzhao Qiao, Nico Roos
11:35-12:00
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics
Camille Bourgaux, Meghyn Bienvenu, François Goasdoué
12:00-12:25
Temporal OBDA with LTL and DL-Lite
A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, M. Zakharyaschev
12:25-12:50
Complexity of Temporal Query Abduction in DL-Lite
Szymon Klarman, Thomas Meyer
12:50-12:53
Temporalising EL Concepts with Time Intervals
Jared Leo, Ulrike Sattler, Bijan Parsia
12:53-12:56
Transition Constraints for Temporal Attributes
E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer
12:56-12:59
A Stream-Temporal Query Language for Ontology Based Data Access
Özgür Lütfü Özcep, Ralf Möller, Christian Neuenstadt
14:30-14:55
Gödel FL_0 with Greatest Fixed-Point Semantics
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
14:55-15:20
Fuzzy DLs over Finite Lattices with Nominals
Stefan Borgwardt
15:20-15:23
A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB
Fernando Bobillo, Umberto Straccia
15:23-15:26
Complexity sources in FDL
Marco Cerami, Umberto Straccia
15:26-15:29
Gödel Description Logics with General Models
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
15:29-15:32
Certain Answers in a Rough World
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
15:32-15:35
Bayesian Description Logics
Ismail Ilkan Ceylan, Rafael Peñaloza
15:35-15:38
Reasoning about Belief Uncertainty in DL-Lite N bool
Ala Djeddai, Hassina Seridi, Tarek Khadir
15:38-15:41
Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information
F. Cerutti, G. de Mel, T. Norman, N. Oren, A. Parvizi, P. Sullivan, A. Toniolo
15:41-15:44
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure?
Tahani Alsubait, Bijan Parsia, Uli Sattler
15:44-15:47
Mary, What's Like All Cats?
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
15:50-16:40 Poster Session (with coffee break)
16:40-17:05
Datalog Rewriting Techniques for Non-Horn Ontologies
Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau
17:05-17:30
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries
Meghyn Bienvenu, Stanislav Kikot, Vladimir Podolskii
18:00-23:30 DL/NMR Social Event and Dinner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program