- Yevgeny Kazakov, Pavel Klinov:
Experimenting with ELK Reasoner on Android. ORE 2013: 68-74 - Alejandro Metke-Jimenez, Michael Lawley:
Snorocket 2.0: Concrete Domains and Concurrent Classification. ORE 2013: 32-38 - Pospishnyi Oleksandr:
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies. ORE 2013: 75-80 - Jeff Z. Pan, Yuan Ren, Nophadol Jekjantuk, Jhonatan Garcia:
Reasoning the FMA Ontologies with TrOWL. ORE 2013: 107-113 - Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev:
OBDA with Ontop. ORE 2013: 101-106 - Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese:
Evaluating SPARQL-to-SQL Translation in Ontop. ORE 2013: 94-100 - Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz:
MORe: a Modular OWL Reasoner for Ontology Classification. ORE 2013: 61-67 - Matthias Samwald:
Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support. ORE 2013: 128-133 - Joerg Schoenfisch, Jens Ortmann:
YARR!: Yet Another Rewriting Reasoner. ORE 2013: 19-25 - Baris Sertkaya:
The ELepHant Reasoner System Description. ORE 2013: 87-93 - M. Berkan Sesen, Ernesto Jiménez-Ruiz, René Bañares-Alcántara, Michael Brady:
Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection. ORE 2013: 121-127 - Weihong Song, Bruce Spencer, Weichang Du:
A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner. ORE 2013: 39-45 - Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena:
Android goes Semantic: DL Reasoners on Smartphones. ORE 2013: 46-52 - Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia:
Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013. CEUR Workshop Proceedings 1015, CEUR-WS.org 2013 [contents] - 2012
- Yingjie Li, Yang Yu, Jeff Heflin:
Evaluating Reasoners Under Realistic Semantic Web Conditions. ORE 2012 - Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov:
OWLIM Reasoning over FactForge. ORE 2012 - María del Mar Roldán García, José Francisco Aldana Montes:
Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology. ORE 2012 - Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012 - Ian Horrocks, Boris Motik, Zhe Wang:
The HermiT OWL Reasoner. ORE 2012 - Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. ORE 2012 - Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy:
A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners. ORE 2012 - Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
ELK Reasoner: Architecture and Evaluation. ORE 2012 - Julian Mendez:
jcel: A Modular Rule-based Reasoner. ORE 2012 - Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto:
Mini-ME: the Mini Matchmaking Engine. ORE 2012 - Weihong Song, Bruce Spencer, Weichang Du:
WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach. ORE 2012 - Dmitry Tsarkov, Ignazio Palmisano:
Chainsaw: a Metareasoner for Large Ontologies. ORE 2012 - Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski:
Advancing the Enterprise-class OWL Inference Engine in Oracle Database. ORE 2012 - Wael Yehia, Mikhail Soutchanski:
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. ORE 2012 - Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz:
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. CEUR Workshop Proceedings 858, CEUR-WS.org 2012 [contents]