Abstract is missing.
- Just: a Tool for Computing Justifications w.r.t. ELH OntologiesMichel Ludwig. 1-7 [doi]
- Mini-ME 2.0: Powering the Semantic Web of ThingsMichele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva, Eugenio Di Sciascio. 8-15 [doi]
- Incremental and Persistent Reasoning in FaCT++Dmitry Tsarkov. 16-22 [doi]
- Android Went Semantic: Time for EvaluationCarlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena. 23-29 [doi]
- TROvE: a Graphical Tool to Evaluate OWL ReasonersJean-Rémi Bourguet, Luca Pulina. 30-35 [doi]
- A Scalable Benchmark for OBDA Systems: Preliminary ReportDiego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao. 36-43 [doi]
- Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software DevelopmentAlexander A. Kropotin. 44-50 [doi]
- Using OpenStreetMap Data to Create Benchmarks for Description Logic ReasonersThomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao. 51-57 [doi]
- An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision SupportJosé Antonio Miñarro-Giménez, Matthias Samwald. 58-63 [doi]
- Exploring Reasoning with the DMOP OntologyC. Maria Keet, Claudia d'Amato, Zubeida Casmod Khan, Agnieszka Lawrynowicz. 64-70 [doi]
- A Family History Knowledge Base in OWL 2Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens. 71-76 [doi]