VSL 2014: VIENNA SUMMER OF LOGIC 2014
Diego Calvanese
Organization: KRDB Research Centre, Free University of Bozen-Bolzano
Web site: http://www.inf.unibz.it/~calvanese/
Pages in this Program
All Proceedings Papers
DL 2014 Proceedings
DL 2014 Proceedings: Papers with Abstracts
DL on Saturday, July 19th
DL on Sunday, July 20th
DL on Thursday, July 17th
DL Program
DL Program Committee
KR 2014 Proceedings
KR 2014 Proceedings: Papers with Abstracts
KR on Monday, July 21st
KR on Tuesday, July 22nd
KR Program
KR Program Committee
ORE 2014 Proceedings
ORE 2014 Proceedings: Papers with Abstracts
ORE on Sunday, July 13th
ORE Program
Paper: A Scalable Benchmark for OBDA Systems: Preliminary Report
Paper: Expressive Identification Constraints to Capture Functional Dependencies in Description Logics
Paper: Nested Regular Path Queries in Description Logics
Paper: Planning Problems for Graph Structured Data in Description Logics
Paper: Shape and Content: Incorporating Domain Knowledge into Shape Analysis
Paper: SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment
Paper: State-Boundedness in Data-Aware Dynamic Systems
Program
Program for Monday, July 21st
Program for Saturday, July 19th
Program for Sunday, July 13th
Program for Sunday, July 20th
Program for Thursday, July 17th
Program for Tuesday, July 22nd
Disclaimer | Powered by EasyChair Smart Program