|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 59 publication records. Showing 59 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrick Koopmann, Renate A. Schmidt |
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks.  |
ORE  |
2015 |
DBLP BibTeX RDF |
|
| 1 | Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena |
The OWL Reasoner Evaluation Goes Mobile. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Jaroslaw Bak |
RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio |
A Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ismail Ilkan Ceylan, Julian Mendez 0001, Rafael Peñaloza |
The Bayesian Ontology Reasoner is BORN! |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Edgaras Valincius, Hai H. Nguyen, Jeff Z. Pan |
A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia |
Verifying Reasoner Correctness - A Justication Based Method. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini |
On the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology-based Query Answering with PAGOdA. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Michel Dumontier, Birte Glimm, Rafael S. Gonçalves 0001, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos (eds.) |
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 |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia |
A Survey of Current, Stand-alone OWL Reasoners. |
ORE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Tsarkov |
Incremental and Persistent Reasoning in FaCT++. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | C. Maria Keet, Claudia d'Amato, Zubeida Casmod Khan, Agnieszka Lawrynowicz |
Exploring Reasoning with the DMOP Ontology. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | José Antonio Miñarro-Giménez, Matthias Samwald |
An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision Support. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Robert Stevens 0001, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens |
A Family History Knowledge Base in OWL 2. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller (eds.) |
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 |
2014 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001 |
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena |
Android Went Semantic: Time for Evaluation. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Michel Ludwig |
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Luca Pulina |
TROvE: a Graphical Tool to Evaluate OWL Reasoners. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao 0001 |
A Scalable Benchmark for OBDA Systems: Preliminary Report. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Kropotin |
Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development. |
ORE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese |
Evaluating SPARQL-to-SQL Translation in Ontop. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans |
KB_Bio_101 : A Challenge for OWL Reasoners. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé |
DRAOn: A Distributed Reasoner for Aligned Ontologies. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jose Cruz-Toledo, Alison Callahan, Michel Dumontier |
A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alejandro Metke-Jimenez, Michael Lawley |
Snorocket 2.0: Concrete Domains and Concurrent Classification. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Joerg Schoenfisch, Jens Ortmann |
YARR!: Yet Another Rewriting Reasoner. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Pavel Klinov |
Experimenting with ELK Reasoner on Android. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena |
Android goes Semantic: DL Reasoners on Smartphones. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev |
OBDA with Ontop. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Matthias Samwald |
Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Samantha Bail, Birte Glimm, Rafael S. Gonçalves 0001, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia (eds.) |
Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jean-Rémi Bourguet, Luca Pulina |
FRaQuE: A Framework for Rapid Query Processing Evaluation. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andrey V. Grigorev, Alexander G. Ivashko |
TReasoner: System Description. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Rafael S. Gonçalves 0001, 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 |
DBLP BibTeX RDF |
|
| 1 | Weihong Song, Bruce Spencer, Weichang Du |
A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks 0001, Ernesto Jiménez-Ruiz |
MORe: a Modular OWL Reasoner for Ontology Classification. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jeff Z. Pan, Yuan Ren 0001, Nophadol Jekjantuk, Jhonatan Garcia |
Reasoning the FMA Ontologies with TrOWL. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | M. Berkan Sesen, Ernesto Jiménez-Ruiz, René Bañares-Alcántara, Michael Brady 0001 |
Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pospishnyi Oleksandr |
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Baris Sertkaya |
The ELepHant Reasoner System Description. |
ORE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov |
OWLIM Reasoning over FactForge. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo |
MASTRO: A Reasoner for Effective Ontology-Based Data Access. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yingjie Li 0004, Yang Yu 0029, Jeff Heflin |
Evaluating Reasoners Under Realistic Semantic Web Conditions. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski |
Advancing the Enterprise-class OWL Inference Engine in Oracle Database. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Julian Mendez 0001 |
jcel: A Modular Rule-based Reasoner. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy |
A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Weihong Song, Bruce Spencer, Weichang Du |
WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto |
Mini-ME: the Mini Matchmaking Engine. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Wael Yehia, Mikhail Soutchanski |
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks 0001, Boris Motik, Zhe Wang 0001 |
The HermiT OWL Reasoner. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Tsarkov, Ignazio Palmisano |
Chainsaw: a Metareasoner for Large Ontologies. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks 0001 |
On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks 0001, Mikalai Yatskevich, Ernesto Jiménez-Ruiz (eds.) |
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012 |
ORE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik |
ELK Reasoner: Architecture and Evaluation. |
ORE |
2012 |
DBLP BibTeX RDF |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license