VSL 2014: VIENNA SUMMER OF LOGIC 2014
ORE PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-11:00 Session 26K: ORE Opening
Chair:
Bijan Parsia
Location: FH, Seminarraum 101A
11:00-13:00 Session 28A: Evaluation and Benchmarks
Chair:
Dmitry Tsarkov
Location: FH, Seminarraum 101A
11:00
Jean-Rémi Bourguet and Luca Pulina
TROvE: a Graphical Tool to Evaluate OWL Reasoners (abstract)
11:20
Thomas Eiter, Patrik Schneider, Mantas Simkus and Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners (abstract)
11:40
Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys and Guohui Xiao
A Scalable Benchmark for OBDA Systems: Preliminary Report (abstract)
12:00
Alexander Kropotin
Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development (abstract)
12:20
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies (abstract)
12:40
Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban and Eduardo Mena
Android Went Semantic: Time for Evaluation (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 31H: Ontologies
Chair:
Floriano Scioscia
Location: FH, Seminarraum 101A
14:30
C. Maria Keet, Claudia D'Amato, Zubeida Khan and Agnieszka Lawrynowicz
Exploring Reasoning with the DMOP Ontology (abstract)
14:50
José Antonio Minarro-Giménez and Matthias Samwald
An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support (abstract)
15:10
Robert Stevens, Nicolas Matentzoglu and Uli Sattler
A Family History Knowledge Base in OWL 2 (abstract)
15:30-16:00 Session 33A: ORE Competition Session
Chair:
Bijan Parsia
Location: FH, Seminarraum 101A
16:00-16:30Coffee Break
16:30-17:10 Session 34J: Reasoners
Chair:
Fernando Bobillo
Location: FH, Seminarraum 101A
16:30
Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva and Eugenio Di Sciascio
Mini-ME 2.0: powering the Semantic Web of Things (abstract)
16:50
Dmitry Tsarkov
Incremental and Persistent Reasoning in FaCT++ (abstract)
17:10-17:15 Session 35: ORE closing
Chair:
Bijan Parsia
Location: FH, Seminarraum 101A