VSL 2014: VIENNA SUMMER OF LOGIC 2014

ORE 2014 PROCEEDINGS

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Editor: Ernesto Jimenez-Ruiz

AuthorsTitlePaperTalk
Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban and Eduardo MenaAndroid Went Semantic: Time for EvaluationJul 13 12:40
Michel LudwigJust: a Tool for Computing Justifications w.r.t. ELH OntologiesJul 13 12:20
Jean-Rémi Bourguet and Luca PulinaTROvE: a Graphical Tool to Evaluate OWL ReasonersJul 13 11:00
José Antonio Minarro-Giménez and Matthias SamwaldAn update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision supportJul 13 14:50
Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys and Guohui XiaoA Scalable Benchmark for OBDA Systems: Preliminary ReportJul 13 11:40
Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva and Eugenio Di SciascioMini-ME 2.0: powering the Semantic Web of ThingsJul 13 16:30
Dmitry TsarkovIncremental and Persistent Reasoning in FaCT++Jul 13 16:50
Alexander KropotinEvaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software DevelopmentJul 13 12:00
C. Maria Keet, Claudia D'Amato, Zubeida Khan and Agnieszka LawrynowiczExploring Reasoning with the DMOP OntologyJul 13 14:30
Thomas Eiter, Patrik Schneider, Mantas Simkus and Guohui XiaoUsing OpenStreetMap Data to Create Benchmarks for Description Logic ReasonersJul 13 11:20
Robert Stevens, Nicolas Matentzoglu and Uli SattlerA Family History Knowledge Base in OWL 2 Jul 13 15:10
Disclaimer | Powered by EasyChair Smart Program