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
Location: FH, Seminarraum 101A
11:00-13:00 Session 28A: Evaluation and Benchmarks
Location: FH, Seminarraum 101A
11:00
TROvE: a Graphical Tool to Evaluate OWL Reasoners (abstract)
11:20
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners (abstract)
11:40
A Scalable Benchmark for OBDA Systems: Preliminary Report (abstract)
12:00
Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development (abstract)
12:20
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies (abstract)
12:40
Android Went Semantic: Time for Evaluation (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 31H: Ontologies
Location: FH, Seminarraum 101A
14:30
Exploring Reasoning with the DMOP Ontology (abstract)
14:50
An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support (abstract)
15:10
A Family History Knowledge Base in OWL 2 (abstract)
16:00-16:30Coffee Break
16:30-17:10 Session 34J: Reasoners
Location: FH, Seminarraum 101A
16:30
Mini-ME 2.0: powering the Semantic Web of Things (abstract)
16:50
Incremental and Persistent Reasoning in FaCT++ (abstract)
17:10-17:15 Session 35: ORE closing
Location: FH, Seminarraum 101A