![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
ORE 2012: Manchester, UK
- 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 - Wael Yehia, Mikhail Soutchanski:
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. - Dmitry Tsarkov, Ignazio Palmisano:
Chainsaw: a Metareasoner for Large Ontologies. - María del Mar Roldán García, José Francisco Aldana Montes:
Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology. - Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski:
Advancing the Enterprise-class OWL Inference Engine in Oracle Database. - Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto:
Mini-ME: the Mini Matchmaking Engine. - Weihong Song, Bruce Spencer, Weichang Du:
WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach. - 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. - Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy:
A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners. - Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks:
On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. - Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
ELK Reasoner: Architecture and Evaluation. - Yingjie Li, Yang Yu, Jeff Heflin:
Evaluating Reasoners Under Realistic Semantic Web Conditions. - Julian Mendez:
jcel: A Modular Rule-based Reasoner. - Ian Horrocks, Boris Motik, Zhe Wang:
The HermiT OWL Reasoner. - Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov:
OWLIM Reasoning over FactForge.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.