|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 23-30, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena |
The OWL Reasoner Evaluation Goes Mobile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 38-45, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Jaroslaw Bak |
RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 31-37, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 15-22, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Ismail Ilkan Ceylan, Julian Mendez 0001, Rafael Peñaloza |
The Bayesian Ontology Reasoner is BORN! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 8-14, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Edgaras Valincius, Hai H. Nguyen, Jeff Z. Pan |
A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 80-86, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia |
Verifying Reasoner Correctness - A Justication Based Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 46-52, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 60-67, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology-based Query Answering with PAGOdA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 1-7, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 53-59, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia |
A Survey of Current, Stand-alone OWL Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 68-79, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Dmitry Tsarkov |
Incremental and Persistent Reasoning in FaCT++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 16-22, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | C. Maria Keet, Claudia d'Amato, Zubeida Casmod Khan, Agnieszka Lawrynowicz |
Exploring Reasoning with the DMOP Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 64-70, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 58-63, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Robert Stevens 0001, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens |
A Family History Knowledge Base in OWL 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 71-76, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 8-15, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001 |
Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 51-57, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena |
Android Went Semantic: Time for Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 23-29, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Michel Ludwig |
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 1-7, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Jean-Rémi Bourguet, Luca Pulina |
TROvE: a Graphical Tool to Evaluate OWL Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 30-35, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao 0001 |
A Scalable Benchmark for OBDA Systems: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 36-43, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Alexander A. Kropotin |
Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: 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., pp. 44-50, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 94-100, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans |
KB_Bio_101 : A Challenge for OWL Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 114-120, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé |
DRAOn: A Distributed Reasoner for Aligned Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 81-86, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jose Cruz-Toledo, Alison Callahan, Michel Dumontier |
A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 134-139, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alejandro Metke-Jimenez, Michael Lawley |
Snorocket 2.0: Concrete Domains and Concurrent Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 32-38, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Joerg Schoenfisch, Jens Ortmann |
YARR!: Yet Another Rewriting Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 19-25, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Yevgeny Kazakov, Pavel Klinov |
Experimenting with ELK Reasoner on Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 68-74, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena |
Android goes Semantic: DL Reasoners on Smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 46-52, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev |
OBDA with Ontop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 101-106, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Matthias Samwald |
Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 128-133, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jean-Rémi Bourguet, Luca Pulina |
FRaQuE: A Framework for Rapid Query Processing Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 53-60, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Andrey V. Grigorev, Alexander G. Ivashko |
TReasoner: System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 26-31, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 1-18, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 39-45, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 61-67, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Jeff Z. Pan, Yuan Ren 0001, Nophadol Jekjantuk, Jhonatan Garcia |
Reasoning the FMA Ontologies with TrOWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 107-113, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 121-127, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Pospishnyi Oleksandr |
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 75-80, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Baris Sertkaya |
The ELepHant Reasoner System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 87-93, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov |
OWLIM Reasoning over FactForge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yingjie Li 0004, Yang Yu 0029, Jeff Heflin |
Evaluating Reasoners Under Realistic Semantic Web Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Julian Mendez 0001 |
jcel: A Modular Rule-based Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy |
A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto |
Mini-ME: the Mini Matchmaking Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Wael Yehia, Mikhail Soutchanski |
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ian Horrocks 0001, Boris Motik, Zhe Wang 0001 |
The HermiT OWL Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Dmitry Tsarkov, Ignazio Palmisano |
Chainsaw: a Metareasoner for Large Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik |
ELK Reasoner: Architecture and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|