Login / Signup
ORE
2012
2015
2012
2015
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
Alexander A. Kropotin
Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development.
ORE
(2014)
C. Maria Keet
,
Claudia d'Amato
,
Zubeida Casmod Khan
,
Agnieszka Lawrynowicz
Exploring Reasoning with the DMOP Ontology.
ORE
(2014)
Thomas Eiter
,
Patrik Schneider
,
Mantas Simkus
,
Guohui Xiao
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.
ORE
(2014)
Jean-Rémi Bourguet
,
Luca Pulina
TROvE: a Graphical Tool to Evaluate OWL Reasoners.
ORE
(2014)
Carlos Bobed
,
Fernando Bobillo
,
Roberto Yus
,
Guillermo Esteban
,
Eduardo Mena
Android Went Semantic: Time for Evaluation.
ORE
(2014)
Dmitry Tsarkov
Incremental and Persistent Reasoning in FaCT++.
ORE
(2014)
Robert Stevens
,
Nicolas Matentzoglu
,
Uli Sattler
,
Margaret Stevens
A Family History Knowledge Base in OWL 2.
ORE
(2014)
Michele Ruta
,
Floriano Scioscia
,
Giuseppe Loseto
,
Filippo Gramegna
,
Saverio Ieva
,
Eugenio Di Sciascio
Mini-ME 2.0: Powering the Semantic Web of Things.
ORE
(2014)
Diego Calvanese
,
Davide Lanti
,
Martin Rezk
,
Mindaugas Slusnys
,
Guohui Xiao
A Scalable Benchmark for OBDA Systems: Preliminary Report.
ORE
(2014)
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies.
ORE
(2014)
José Antonio Miñarro-Giménez
,
Matthias Samwald
An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision Support.
ORE
(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
Yevgeny Kazakov
,
Pavel Klinov
Experimenting with ELK Reasoner on Android.
ORE
(2013)
Jean-Rémi Bourguet
,
Luca Pulina
FRaQuE: A Framework for Rapid Query Processing Evaluation.
ORE
(2013)
Jose Cruz-Toledo
,
Alison Callahan
,
Michel Dumontier
A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology.
ORE
(2013)
Baris Sertkaya
The ELepHant Reasoner System Description.
ORE
(2013)
Vinay K. Chaudhri
,
Michael A. Wessel
,
Stijn Heymans
KB_Bio_101 : A Challenge for OWL Reasoners.
ORE
(2013)
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)
Roberto Yus
,
Carlos Bobed
,
Guillermo Esteban
,
Fernando Bobillo
,
Eduardo Mena
Android goes Semantic: DL Reasoners on Smartphones.
ORE
(2013)
Andrey V. Grigorev
,
Alexander G. Ivashko
TReasoner: System Description.
ORE
(2013)
Pospishnyi Oleksandr
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies.
ORE
(2013)
Jeff Z. Pan
,
Yuan Ren
,
Nophadol Jekjantuk
,
Jhonatan Garcia
Reasoning the FMA Ontologies with TrOWL.
ORE
(2013)
Chan Le Duc
,
Myriam Lamolle
,
Antoine Zimmermann
,
Olivier Curé
DRAOn: A Distributed Reasoner for Aligned Ontologies.
ORE
(2013)
Rafael S. Gonçalves
,
Samantha Bail
,
Ernesto Jiménez-Ruiz
,
Nicolas Matentzoglu
,
Bijan Parsia
,
Birte Glimm
,
Yevgeny Kazakov
OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.
ORE
(2013)
Ana Armas Romero
,
Bernardo Cuenca Grau
,
Ian Horrocks
,
Ernesto Jiménez-Ruiz
MORe: a Modular OWL Reasoner for Ontology Classification.
ORE
(2013)
Weihong Song
,
Bruce Spencer
,
Weichang Du
A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner.
ORE
(2013)
Alejandro Metke-Jimenez
,
Michael Lawley
Snorocket 2.0: Concrete Domains and Concurrent Classification.
ORE
(2013)
Mariano Rodriguez-Muro
,
Roman Kontchakov
,
Michael Zakharyaschev
OBDA with Ontop.
ORE
(2013)
Joerg Schoenfisch
,
Jens Ortmann
YARR!: Yet Another Rewriting Reasoner.
ORE
(2013)
Mariano Rodriguez-Muro
,
Martín Rezk
,
Josef Hardi
,
Mindaugas Slusnys
,
Timea Bagosi
,
Diego Calvanese
Evaluating SPARQL-to-SQL Translation in Ontop.
ORE
(2013)
Matthias Samwald
Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support.
ORE
(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
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)
Michele Ruta
,
Floriano Scioscia
,
Eugenio Di Sciascio
,
Filippo Gramegna
,
Giuseppe Loseto
Mini-ME: the Mini Matchmaking Engine.
ORE
(2012)
Yingjie Li
,
Yang Yu
,
Jeff Heflin
Evaluating Reasoners Under Realistic Semantic Web Conditions.
ORE
(2012)
Wael Yehia
,
Mikhail Soutchanski
Solving the Projection Problem with OWL2 Reasoners: Experimental Study.
ORE
(2012)
Ian Horrocks
,
Boris Motik
,
Zhe Wang
The HermiT OWL Reasoner.
ORE
(2012)
volume 858, 2012
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012
ORE
858 (2012)