default search action
Search dblp for Publications
export results for "stream:conf/ore:"
@inproceedings{DBLP:conf/ore/Bak15, author = {Jaroslaw Bak}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {RuQAR : Reasoning with {OWL} 2 {RL} Using Forward Chaining Engines}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {31--37}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/ore/Bak15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/BonteOSMADBVTM15, author = {Pieter Bonte and Femke Ongenae and Jeroen Schaballie and Ben De Meester and D{\"{o}}rthe Arndt and Wim Dereuddre and Jabran Bhatti and Stijn Verstichel and Filip De Turck and Erik Mannens}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {Evaluation and Optimized Usage of {OWL} 2 Reasoners in an Event-based eHealth Context}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {53--59}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/BonteOSMADBVTM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/CeylanMP15, author = {{\.I}smail {\.I}lkan Ceylan and Julian Mendez and Rafael Pe{\~{n}}aloza}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {The Bayesian Ontology Reasoner is BORN!}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {8--14}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/CeylanMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/KoopmannS15, author = {Patrick Koopmann and Renate A. Schmidt}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {{LETHE:} Saturation-Based Reasoning for Non-Standard Reasoning Tasks}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {23--30}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/KoopmannS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/LeeMSP15, author = {Michael Lee and Nicolas Matentzoglu and Uli Sattler and Bijan Parsia}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {Verifying Reasoner Correctness - {A} Justication Based Method}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {46--52}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/LeeMSP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/MatentzogluLHSP15, author = {Nicolas Matentzoglu and Jared Leo and Valentino Hudhra and Uli Sattler and Bijan Parsia}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {A Survey of Current, Stand-alone {OWL} Reasoners}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {68--79}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/MatentzogluLHSP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SciosciaRS15, author = {Floriano Scioscia and Michele Ruta and Eugenio Di Sciascio}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {A Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {15--22}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SciosciaRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SolimandoJG15, author = {Alessandro Solimando and Ernesto Jim{\'{e}}nez{-}Ruiz and Giovanna Guerrini}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {On the Feasibility of Using {OWL} 2 Reasoners in Ontology Alignment Repair Problems}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {60--67}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SolimandoJG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/ValinciusNP15, author = {Edgaras Valincius and Hai H. Nguyen and Jeff Z. Pan}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {80--86}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/ValinciusNP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/YusBBM15, author = {Roberto Yus and Fernando Bobillo and Carlos Bobed and Eduardo Mena}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {The {OWL} Reasoner Evaluation Goes Mobile}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {38--45}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/YusBBM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/ZhouNGH15, author = {Yujiao Zhou and Yavor Nenov and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {Ontology-based Query Answering with PAGOdA}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, pages = {1--7}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/ZhouNGH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ore/2015, editor = {Michel Dumontier and Birte Glimm and Rafael S. Gon{\c{c}}alves and Matthew Horridge and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1387}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1387}, urn = {urn:nbn:de:0074-1387-2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/BobedBYEM14, author = {Carlos Bobed and Fernando Bobillo and Roberto Yus and Guillermo Esteban and Eduardo Mena}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Android Went Semantic: Time for Evaluation}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {23--29}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/ore/BobedBYEM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/BourguetP14, author = {Jean{-}R{\'{e}}mi Bourguet and Luca Pulina}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {TROvE: a Graphical Tool to Evaluate {OWL} Reasoners}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {30--35}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/BourguetP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/CalvaneseLRSX14, author = {Diego Calvanese and Davide Lanti and Martin Rezk and Mindaugas Slusnys and Guohui Xiao}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {A Scalable Benchmark for {OBDA} Systems: Preliminary Report}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {36--43}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/CalvaneseLRSX14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/EiterSSX14, author = {Thomas Eiter and Patrik Schneider and Mantas Simkus and Guohui Xiao}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {51--57}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/EiterSSX14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/KeetdKL14, author = {C. Maria Keet and Claudia d'Amato and Zubeida Casmod Khan and Agnieszka Lawrynowicz}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Exploring Reasoning with the {DMOP} Ontology}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {64--70}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/KeetdKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Kropotin14, author = {Alexander A. Kropotin}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Evaluating {OWL} 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {44--50}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Kropotin14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Ludwig14, author = {Michel Ludwig}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Just: a Tool for Computing Justifications w.r.t. {ELH} Ontologies}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {1--7}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Ludwig14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Minarro-Gimenez14, author = {Jos{\'{e}} Antonio Mi{\~{n}}arro{-}Gim{\'{e}}nez and Matthias Samwald}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision Support}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {58--63}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Minarro-Gimenez14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/RutaSLGIS14, author = {Michele Ruta and Floriano Scioscia and Giuseppe Loseto and Filippo Gramegna and Saverio Ieva and Eugenio Di Sciascio}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Mini-ME 2.0: Powering the Semantic Web of Things}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {8--15}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/RutaSLGIS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/StevensMSS14, author = {Robert Stevens and Nicolas Matentzoglu and Uli Sattler and Margaret Stevens}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {A Family History Knowledge Base in {OWL} 2}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {71--76}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/StevensMSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Tsarkov14, author = {Dmitry Tsarkov}, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {Incremental and Persistent Reasoning in FaCT++}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, pages = {16--22}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Tsarkov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ore/2014, editor = {Samantha Bail and Birte Glimm and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller}, title = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1207}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1207}, urn = {urn:nbn:de:0074-1207-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/BourguetP13, author = {Jean{-}R{\'{e}}mi Bourguet and Luca Pulina}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {FRaQuE: {A} Framework for Rapid Query Processing Evaluation}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {53--60}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/ore/BourguetP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/ChaudhriWH13, author = {Vinay K. Chaudhri and Michael A. Wessel and Stijn Heymans}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {KB{\_}Bio{\_}101 : {A} Challenge for {OWL} Reasoners}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {114--120}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/ChaudhriWH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Cruz-ToledoCD13, author = {Jose Cruz{-}Toledo and Alison Callahan and Michel Dumontier}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {134--139}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Cruz-ToledoCD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/DucLZC13, author = {Chan Le Duc and Myriam Lamolle and Antoine Zimmermann and Olivier Cur{\'{e}}}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {DRAOn: {A} Distributed Reasoner for Aligned Ontologies}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {81--86}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/DucLZC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/GoncalvesBJMPGK13, author = {Rafael S. Gon{\c{c}}alves and Samantha Bail and Ernesto Jim{\'{e}}nez{-}Ruiz and Nicolas Matentzoglu and Bijan Parsia and Birte Glimm and Yevgeny Kazakov}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {{OWL} Reasoner Evaluation {(ORE)} Workshop 2013 Results: Short Report}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {1--18}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/ore2013\_report.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/GoncalvesBJMPGK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/GrigorevI13, author = {Andrey V. Grigorev and Alexander G. Ivashko}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {TReasoner: System Description}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {26--31}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/GrigorevI13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/KazakovK13, author = {Yevgeny Kazakov and Pavel Klinov}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Experimenting with {ELK} Reasoner on Android}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {68--74}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/KazakovK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Metke-JimenezL13, author = {Alejandro Metke{-}Jimenez and Michael Lawley}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Snorocket 2.0: Concrete Domains and Concurrent Classification}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {32--38}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Metke-JimenezL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Oleksandr13, author = {Pospishnyi Oleksandr}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Extending Datatype Support for Tractable Reasoning with {OWL} 2 {EL} Ontologies}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {75--80}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_11.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Oleksandr13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/PanRJG13, author = {Jeff Z. Pan and Yuan Ren and Nophadol Jekjantuk and Jhonatan Garcia}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Reasoning the {FMA} Ontologies with TrOWL}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {107--113}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_18.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/PanRJG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Rodriguez-MuroKZ13, author = {Mariano Rodriguez{-}Muro and Roman Kontchakov and Michael Zakharyaschev}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {{OBDA} with Ontop}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {101--106}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Rodriguez-MuroKZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Rodriguez-MuroRHSBC13, author = {Mariano Rodriguez{-}Muro and Mart{\'{\i}}n Rezk and Josef Hardi and Mindaugas Slusnys and Timea Bagosi and Diego Calvanese}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Evaluating SPARQL-to-SQL Translation in Ontop}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {94--100}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_16.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Rodriguez-MuroRHSBC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/RomeroGHJ13, author = {Ana Armas Romero and Bernardo Cuenca Grau and Ian Horrocks and Ernesto Jim{\'{e}}nez{-}Ruiz}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {MORe: a Modular {OWL} Reasoner for Ontology Classification}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {61--67}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/RomeroGHJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Samwald13, author = {Matthias Samwald}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Genomic {CDS:} an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {128--133}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Samwald13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SchoenfischO13, author = {Joerg Schoenfisch and Jens Ortmann}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {YARR!: Yet Another Rewriting Reasoner}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {19--25}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SchoenfischO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Sertkaya13, author = {Baris Sertkaya}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {The ELepHant Reasoner System Description}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {87--93}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Sertkaya13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SesenJBB13, author = {M. Berkan Sesen and Ernesto Jim{\'{e}}nez{-}Ruiz and Ren{\'{e}} Ba{\~{n}}ares{-}Alc{\'{a}}ntara and Michael Brady}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Evaluating {OWL} 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {121--127}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SesenJBB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SongSD13, author = {Weihong Song and Bruce Spencer and Weichang Du}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {A Transformation Approach for Classifying {ALCHI(D)} Ontologies with a Consequence-based {ALCH} Reasoner}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {39--45}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SongSD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/YusBEBM13, author = {Roberto Yus and Carlos Bobed and Guillermo Esteban and Fernando Bobillo and Eduardo Mena}, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Android goes Semantic: {DL} Reasoners on Smartphones}, booktitle = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, pages = {46--52}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015/paper\_5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/YusBEBM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ore/2013, editor = {Samantha Bail and Birte Glimm and Rafael S. Gon{\c{c}}alves and Ernesto Jim{\'{e}}nez{-}Ruiz and Yevgeny Kazakov and Nicolas Matentzoglu and Bijan Parsia}, title = {Informal Proceedings of the 2nd International Workshop on {OWL} Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1015}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1015}, urn = {urn:nbn:de:0074-1015-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/0004YH12, author = {Yingjie Li and Yang Yu and Jeff Heflin}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Evaluating Reasoners Under Realistic Semantic Web Conditions}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper11.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/ore/0004YH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/BishopKTDS12, author = {Barry Bishop and Atanas Kiryakov and Zdravko Tashev and Mariana Damova and Kiril Ivanov Simov}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {{OWLIM} Reasoning over FactForge}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper14.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/BishopKTDS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/GarciaM12, author = {Mar{\'{\i}}a del Mar Rold{\'{a}}n Garc{\'{\i}}a and Jos{\'{e}} Francisco Aldana Montes}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Evaluating {DBOWL:} {A} Non-materializing {OWL} Reasoner based on Relational Database Technology}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper3.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/GarciaM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/GiacomoLLPRRS12, author = {Giuseppe De Giacomo and Domenico Lembo and Maurizio Lenzerini and Antonella Poggi and Riccardo Rosati and Marco Ruzzi and Domenico Fabio Savo}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {{MASTRO:} {A} Reasoner for Effective Ontology-Based Data Access}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/GiacomoLLPRRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/HorrocksMW12, author = {Ian Horrocks and Boris Motik and Zhe Wang}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {The HermiT {OWL} Reasoner}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper13.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/HorrocksMW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Jimenez-RuizGH12, author = {Ernesto Jim{\'{e}}nez{-}Ruiz and Bernardo Cuenca Grau and Ian Horrocks}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {On the Feasibility of Using {OWL} 2 {DL} Reasoners for Ontology Matching Problems}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper9.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Jimenez-RuizGH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/KangLK12, author = {Yong{-}Bin Kang and Yuan{-}Fang Li and Shonali Krishnaswamy}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {A Rigorous Characterization of Classification Performance - {A} Tale of Four Reasoners}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper8.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/KangLK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/KazakovKS12, author = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Frantisek Simancik}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {{ELK} Reasoner: Architecture and Evaluation}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper10.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/KazakovKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/Mendez12, author = {Julian Mendez}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {jcel: {A} Modular Rule-based Reasoner}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper12.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/Mendez12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/RutaSSGL12, author = {Michele Ruta and Floriano Scioscia and Eugenio Di Sciascio and Filippo Gramegna and Giuseppe Loseto}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Mini-ME: the Mini Matchmaking Engine}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/RutaSSGL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/SongSD12, author = {Weihong Song and Bruce Spencer and Weichang Du}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {WSReasoner: {A} Prototype Hybrid Reasoner for {ALCHOI} Ontology Classification using a Weakening and Strengthening Approach}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/SongSD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/TsarkovP12, author = {Dmitry Tsarkov and Ignazio Palmisano}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Chainsaw: a Metareasoner for Large Ontologies}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/TsarkovP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/WuREKK12, author = {Zhe Wu and Karl Rieb and George Eadon and Ankesh Khandelwal and Vladimir Kolovski}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Advancing the Enterprise-class {OWL} Inference Engine in Oracle Database}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/WuREKK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ore/YehiaS12, author = {Wael Yehia and Mikhail Soutchanski}, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Solving the Projection Problem with {OWL2} Reasoners: Experimental Study}, booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858/ore2012\_paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/YehiaS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ore/2012, editor = {Ian Horrocks and Mikalai Yatskevich and Ernesto Jim{\'{e}}nez{-}Ruiz}, title = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {858}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-858}, urn = {urn:nbn:de:0074-858-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ore/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.