ORE

Keyphrases

Publications

2015

Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia
A Survey of Current, Stand-alone OWL Reasoners. ORE (2015)
Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio
A Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts. ORE (2015)
Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza
The Bayesian Ontology Reasoner is BORN! ORE (2015)
Patrick Koopmann, Renate A. Schmidt
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE (2015)
Pieter Bonte, Femke Ongenae, Jeroen Schaballie, Ben De Meester, Dörthe Arndt, Wim Dereuddre, Jabran Bhatti, Stijn Verstichel, Filip De Turck, Erik Mannens
Evaluation and Optimized Usage of OWL 2 Reasoners in an Event-based eHealth Context. ORE (2015)
Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini
On the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems. ORE (2015)
Jaroslaw Bak
RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines. ORE (2015)
Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena
The OWL Reasoner Evaluation Goes Mobile. ORE (2015)
Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
Verifying Reasoner Correctness - A Justication Based Method. ORE (2015)
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
Ontology-based Query Answering with PAGOdA. ORE (2015)
Edgaras Valincius, Hai H. Nguyen, Jeff Z. Pan
A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices. ORE (2015)

volume 1387, 2015

Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015. ORE 1387 (2015)

2014

volume 1207, 2014

Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. ORE 1207 (2014)

2013

volume 1015, 2013

Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 ORE 1015 (2013)

2012

volume 858, 2012

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012 ORE 858 (2012)