Search dblp for Publications

export results for "stream:conf/ore:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics