@article{argyridis2015spor,
    title={A fuzzy spatial reasoner for multi-scale GEOBIA ontologies},
    author={Argyridis, Argyros and Argialas, Demetre P},
    journal={Photogrammetric Engineering \& Remote Sensing},
    volume={81},
    number={6},
    pages={491--498},
    year={2015},
    publisher={Elsevier}
}

@inproceedings{armas2012more,
    title={MORe: Modular combination of OWL reasoners for ontology classification},
    author={Armas Romero, Ana and Cuenca Grau, Bernardo and Horrocks, Ian},
    booktitle={The Semantic Web--ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I 11},
    pages={1--16},
    year={2012},
    organization={Springer}
}

@inproceedings{bak2014ruqar,
    title={RuQAR: Reasoning framework for OWL 2 RL ontologies},
    author={Bak, Jaroslaw and Nowak, Maciej and Jedrzejek, Czeslaw},
    booktitle={The Semantic Web: ESWC 2014 Satellite Events: ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers 11},
    pages={195--198},
    year={2014},
    organization={Springer}
}

@inproceedings{balhoff2018arachne,
    title={Arachne: an OWL RL Reasoner Applied to Gene Ontology Causal Activity Models (and Beyond).},
    author={Balhoff, James P and Good, Benjamin M and Carbon, Seth and Mungall, Chris},
    booktitle={ISWC (P\&D/Industry/BlueSky)},
    year={2018}
}

@inproceedings{bate2016sequoia,
    title={Extending consequence-based reasoning to SRIQ},
    author={Bate, Andrew and Motik, Boris and Grau, Bernardo Cuenca and Siman{\v{c}}{\'\i}k, Franti{\v{s}}ek and Horrocks, Ian},
    booktitle={Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning},
    year={2016}
}

@inproceedings{bento2022lirot,
    title={Do Arduinos dream of efficient reasoners?},
    author={Bento, Alexandre and M{\'e}dini, Lionel and Singh, Kamal and Laforest, Fr{\'e}d{\'e}rique},
    booktitle={The Semantic Web: 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29--June 2, 2022, Proceedings},
    pages={289--304},
    year={2022},
    organization={Springer}
}

@inproceedings{bishop2011owlim,
    title={Implementing OWL 2 RL and OWL 2 QL Rule-Sets for OWLIM.},
    author={Bishop, Barry and Bojanov, Spas},
    booktitle={OWLED},
    volume={796},
    year={2011}
}

@article{bobillo2016fuzzy,
    title={The fuzzy ontology reasoner fuzzyDL},
    author={Bobillo, Fernando and Straccia, Umberto},
    journal={Knowledge-Based Systems},
    volume={95},
    pages={12--34},
    year={2016},
    publisher={Elsevier}
}

@inproceedings{bourguet2014trove,
    title={TROvE: a Graphical Tool to Evaluate OWL Reasoners.},
    author={Bourguet, Jean-R{\'e}mi and Pulina, Luca},
    booktitle={ORE},
    pages={30--35},
    year={2014},
    organization={Citeseer}
}

@inproceedings{carroll2004jena,
    title={Jena: implementing the semantic web recommendations},
    author={Carroll, Jeremy J and Dickinson, Ian and Dollin, Chris and Reynolds, Dave and Seaborne, Andy and Wilkinson, Kevin},
    booktitle={Proceedings of the 13th international World Wide Web conference on Alternate track papers \& posters},
    pages={74--83},
    year={2004}
}

@inproceedings{carral2019vlog,
    title={Vlog: A rule engine for knowledge graphs},
    author={Carral, David and Dragoste, Irina and Gonz{\'a}lez, Larry and Jacobs, Ceriel and Kr{\"o}tzsch, Markus and Urbani, Jacopo},
    booktitle={The Semantic Web--ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26--30, 2019, Proceedings, Part II 18},
    pages={19--35},
    year={2019},
    organization={Springer}
}

@inproceedings{ceylan2015bayesian,
    title={The Bayesian ontology reasoner is born!},
    author={Ceylan, {\.I}smail {\.I}lkan and Mendez, Julian and Pe{\~n}aloza, Rafael},
    booktitle={ORE},
    pages={8--14},
    year={2015}
}

@inproceedings{ciclop2003using,
    title={Using Semantics for Efficient Information},
    author={Todirascu, Amalia and de Beuvron, Fran{\c{c}}ois and G{\'a}lea, Dan and Keith, Bernard and Rousselot, Fran{\c{c}}ois},
    booktitle={Natural Language Processing and Information Systems: 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers},
    pages={239},
    year={2003},
    organization={Springer}
}

@article{ciclopensaisoptimized,
    title={An Optimized Tableau Structure for Explicit Representation of Disjunction},
    author={Ensais, France}
}

@article{cucala2019sequoia,
    title={Sequoia: A Consequence Based Reasoner for SROIQ.},
    author={Cucala, David Tena and Grau, Bernardo Cuenca and Horrocks, Ian},
    journal={Description Logics},
    volume={2373},
    year={2019}
}

@article{david2011alignment,
    title={The alignment API 4.0},
    author={David, J{\'e}r{\^o}me and Euzenat, J{\'e}r{\^o}me and Scharffe, Fran{\c{c}}ois and Trojahn dos Santos, C{\'a}ssia},
    journal={Semantic web},
    volume={2},
    number={1},
    pages={3--10},
    year={2011},
    publisher={IOS Press}
}

@inproceedings{dbowl2012evaluating,
    title={Evaluating DBOWL: A Nonmaterializing OWL Reasoner based on Relational Database Technology},
    author={del Mar Roldan-Garcia, Maria and Aldana-Montes, Jose F},
    booktitle={OWL Reasoner Evaluation Workshop (ORE 2012)},
    year={2012}
}

@inproceedings{de2015eye,
    title={Event-Driven Rule-Based Reasoning using EYE.},
    author={De Meester, Ben and Arndt, D{\"o}rthe and Bonte, Pieter and Bhatti, Jabran and Dereuddre, Wim and Verborgh, Ruben and Ongenae, Femke and De Turck, Filip and Mannens, Erik and Van de Walle, Rik},
    booktitle={SSN-TC/OrdRing@ ISWC},
    pages={75--86},
    year={2015}
}

@inproceedings{distel2014developing,
    title={Developing a distributed reasoner for the Semantic Web.},
    author={Mutharaju, Raghava and Mateti, Prabhaker and Hitzler, Pascal},
    booktitle={ISWC (Developers Workshop)},
    pages={108--112},
    year={2014}
}

@article{dolby2009sher,
    title={Scalable highly expressive reasoner (SHER)},
    author={Dolby, Julian and Fokoue, Achille and Kalyanpur, Aditya and Schonberg, Edith and Srinivas, Kavitha},
    journal={Journal of Web Semantics},
    volume={7},
    number={4},
    pages={357--361},
    year={2009},
    publisher={Elsevier}
}

@techreport{doorenbos1995production,
    title={Production Matching for Large Learning Systems.},
    author={Doorenbos, Robert B},
    year={1995},
    institution={Carnegie-Mellon Univ Pittsburgh PA Dept of Computer Science}
}

@inproceedings{elenius2012swrliq,
    title={SWRL-IQ: A Prolog-based Query Tool for OWL and SWRL.},
    author={Elenius, Daniel},
    booktitle={OWLED},
    year={2012}
}

@inproceedings{fernandes2018graph,
    title={Graph Databases Comparison: AllegroGraph, ArangoDB, InfiniteGraph, Neo4J, and OrientDB.},
    author={Fernandes, Diogo and Bernardino, Jorge},
    booktitle={Data},
    pages={373--380},
    year={2018}
}

@article{gennari2003evolution,
    title={The evolution of Prot{\'e}g{\'e}: an environment for knowledge-based systems development},
    author={Gennari, John H and Musen, Mark A and Fergerson, Ray W and Grosso, William E and Crub{\'e}zy, Monica and Eriksson, Henrik and Noy, Natalya F and Tu, Samson W},
    journal={International Journal of Human-computer studies},
    volume={58},
    number={1},
    pages={89--123},
    year={2003},
    publisher={Elsevier}
}

@article{glimm2014hermit,
    title={HermiT: an OWL 2 reasoner},
    author={Glimm, Birte and Horrocks, Ian and Motik, Boris and Stoilos, Giorgos and Wang, Zhe},
    journal={Journal of Automated Reasoning},
    volume={53},
    pages={245--269},
    year={2014},
    publisher={Springer}
}

@inproceedings{grigorev2013treasoner,
    title={TReasoner: System Description.},
    author={Grigorev, Andrey V and Ivashko, Alexander G},
    booktitle={ORE},
    pages={26--31},
    year={2013}
}

@inproceedings{giordano2017ratowl,
    title={An efficient reasoner for description logics of typicality and rational closure},
    author={Giordano, Laura and Gliozzi, Valentina and Pozzato, Gian Luca and Renzulli, Riccardo and others},
    booktitle={CEUR WORKSHOP PROCEEDINGS},
    volume={1879},
    pages={1--13},
    year={2017},
    organization={CEUR-WS}
}

@inproceedings{haarslev2001racer,
    title={RACER system description},
    author={Haarslev, Volker and M{\"o}ller, Ralf},
    booktitle={Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18--22, 2001 Proceedings 1},
    pages={701--705},
    year={2001},
    organization={Springer}
}

@article{haarslev2012racerpro,
    title={The RacerPro knowledge representation and reasoning system},
    author={Haarslev, Volker and Hidde, Kay and M{\"o}ller, Ralf and Wessel, Michael},
    journal={Semantic Web},
    volume={3},
    number={3},
    pages={267--277},
    year={2012},
    publisher={IOS Press}
}

@article{hitzler2005screech,
    title={The screech owl reasoner-scalable approximate abox reasoning with owl},
    author={Hitzler, Pascal and Vrandecic, Denny},
    year={2005}
}

@article{horridge2011owl,
    title={The owl api: A java api for owl ontologies},
    author={Horridge, Matthew and Bechhofer, Sean},
    journal={Semantic web},
    volume={2},
    number={1},
    pages={11--21},
    year={2011},
    publisher={IOS Press}
}

@inproceedings{jang2004bossam,
    title={Bossam: An extended rule engine for OWL inferencing},
    author={Jang, Minsu and Sohn, Joo-Chan},
    booktitle={Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings 3},
    pages={128--138},
    year={2004},
    organization={Springer}
}

@article{kang2020r2o2,
    title={Understanding and improving ontology reasoning efficiency through learning and ranking},
    author={Kang, Yong-Bin and Krishnaswamy, Shonali and Sawangphol, Wudhichart and Gao, Lianli and Li, Yuan-Fang},
    journal={Information Systems},
    volume={87},
    pages={101412},
    year={2020},
    publisher={Elsevier}
}

@article{kazakov2012elk,
    title={ELK: a reasoner for OWL EL ontologies},
    author={Kazakov, Yevgeny and Krötzsch, Markus and Simančík, František},
    journal={System Description},
    year={2012}
}

@article{kazakov2015consequence,
    title={Consequence-Driven Reasoning for Horn SHIQ Ontologies},
    author={Kazakov, Yevgeny},
    year={2015}
}

@article{khamparia2017comprehensive,
    title={Comprehensive analysis of semantic web reasoners and tools: a survey},
    author={Khamparia, Aditya and Pandey, Babita},
    journal={Education and Information Technologies},
    volume={22},
    pages={3121--3145},
    year={2017},
    publisher={Springer}
}

@inproceedings{kovacs2013vampirefol,
    title={First-order theorem proving and Vampire},
    author={Kov{\'a}cs, Laura and Voronkov, Andrei},
    booktitle={International Conference on Computer Aided Verification},
    pages={1--35},
    year={2013},
    organization={Springer}
}

@article{lam2023performance,
    title={A Performance Evaluation of OWL 2 DL Reasoners using ORE 2015 and Very Large Bio Ontologies},
    author={Lam, An Ngoc and Elves{\ae}ter, Brian and Martin-Recuerda, Francisco},
    year={2023}
}

@inproceedings{le2013draon,
    title={DRAOn: A Distributed Reasoner for Aligned Ontologies.},
    author={Le Duc, Chan and Lamolle, Myriam and Zimmermann, Antoine and Cur{\'e}, Olivier},
    booktitle={ORE},
    pages={81--86},
    year={2013}
}

@inproceedings{lembo2013quonto,
    title={Graph-based ontology classification in OWL 2 QL},
    author={Lembo, Domenico and Santarelli, Valerio and Savo, Domenico Fabio},
    booktitle={The Semantic Web: Semantics and Big Data: 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings 10},
    pages={320--334},
    year={2013},
    organization={Springer}
}

@incollection{li2020r2o2star,
    title={Towards Meta-reasoning for Ontologies: A Roadmap},
    author={Li, Yuan-Fang and Kang, Yong-Bin},
    booktitle={ECAI 2020},
    pages={2913--2914},
    year={2020},
    publisher={IOS Press}
}

@inproceedings{liu2017spowl,
    title={Spowl: Spark-based owl 2 reasoning materialisation},
    author={Liu, Yu and McBrien, Peter},
    booktitle={Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond},
    pages={1--10},
    year={2017}
}

@inproceedings{lopes2017nohr,
    title={Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond},
    author={Lopes, Carlos and Knorr, Matthias and Leite, Jo{\~a}o},
    booktitle={Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings 14},
    pages={236--249},
    year={2017},
    organization={Springer}
}

@inproceedings{matentzoglu2015survey,
    title={A Survey of Current, Stand-alone OWL Reasoners.},
    author={Matentzoglu, Nicolas and Leo, Jared and Hudhra, Valentino and Sattler, Uli and Parsia, Bijan},
    booktitle={ORE},
    pages={68--79},
    year={2015},
    organization={Citeseer}
}

@inproceedings{matheus2006basevisor,
    title={Basevisor: A forward-chaining inference engine optimized for rdf/owl triples},
    author={Matheus, C and Dionne, B and Parent, D and Baclawski, Kenneth and Kokar, M},
    booktitle={Digital Proceedings of the 5th International Semantic Web Conference, ISWC},
    pages={263--271},
    year={2006}
}

@article{meditskos2008odevice,
    title={A rule-based object-oriented OWL reasoner},
    author={Meditskos, Georgios and Bassiliades, Nick},
    journal={IEEE Transactions on Knowledge and Data Engineering},
    volume={20},
    number={3},
    pages={397--410},
    year={2008},
    publisher={IEEE}
}

@article{meditskos2010dlejena,
    title={DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet},
    author={Meditskos, Georgios and Bassiliades, Nick},
    journal={Journal of Web Semantics},
    volume={8},
    number={1},
    pages={89--94},
    year={2010},
    publisher={Elsevier}
}

@inproceedings{mendez2009cel,
    title={Reintroducing CEL as an OWL 2 EL reasoner.},
    author={Mendez, Julian and Suntisrivaraporn, Boontawee},
    booktitle={Description Logics},
    year={2009}
}

@article{metke2013snorocket,
    title={Snorocket 2.0: Concrete Domains and Concurrent Classification.},
    author={Metke-Jimenez, Alejandro and Lawley, Michael},
    journal={ORE},
    volume={1015},
    pages={32--38},
    year={2013},
    publisher={Citeseer}
}

@inproceedings{mendez2012jcel,
    title={jcel: A Modular Rule-based Reasoner.},
    author={Mendez, Julian},
    booktitle={ORE},
    year={2012}
}

@inproceedings{michel2019flower,
    title={Efficient TBox reasoning with value restrictions—introducing the FLower reasoner},
    author={Michel, Friedrich and Turhan, Anni-Yasmin and Zarrie{\ss}, Benjamin},
    booktitle={Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019)},
    year={2019},
    organization={LNCS, Bolzano, Italy. Springer}
}

@article{mishra2011semantic,
    title={Semantic web reasoners and languages},
    author={Mishra, Ravi Bhushan and Kumar, Sandeep},
    journal={Artificial Intelligence Review},
    volume={35},
    pages={339--368},
    year={2011},
    publisher={Springer}
}

@inproceedings{motik2006kaon2,
    title={A comparison of reasoning techniques for querying large description logic aboxes},
    author={Motik, Boris and Sattler, Ulrike},
    booktitle={Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings 13},
    pages={227--241},
    year={2006},
    organization={Springer}
}

@inproceedings{mrozek2018aabox,
    title={ABox Abduction Solver Exploiting Multiple DL Reasoners.},
    author={Mrozek, Drahomir and Pukancova, Julia and Homola, Martin},
    booktitle={Description Logics},
    year={2018}
}

@phdthesis{mutharaju2016sparkel,
    title={Distributed rule-based ontology reasoning},
    author={Mutharaju, Raghava},
    year={2016},
    school={Wright State University}
}

@article{neelam2022ergs,
    title={Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases},
    author={Neelam, Sumit and Sharma, Udit and Bhatia, Sumit and Karanam, Hima and Likhyani, Ankita and Abdelaziz, Ibrahim and Fokoue, Achille and Subramaniam, LV},
    journal={arXiv preprint arXiv:2209.05828},
    year={2022}
}

@inproceedings{nenov2015rdfox,
    title={RDFox: A highly-scalable RDF store},
    author={Nenov, Yavor and Piro, Robert and Motik, Boris and Horrocks, Ian and Wu, Zhe and Banerjee, Jay},
    booktitle={The Semantic Web-ISWC 2015: 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II 14},
    pages={3--20},
    year={2015},
    organization={Springer}
}

@inproceedings{niepert2011log,
    title={Log-linear description logics},
    author={Niepert, Mathias and Noessner, Jan and Stuckenschmidt, Heiner},
    booktitle={IJCAI},
    pages={2153--2158},
    year={2011}
}

@article{o2011coror,
    title={COROR: A COmposable Rule-entailment Owl Reasoner for Resource-Constrained Devices, LNCS Rule-Based Reasoning, Programming, and Applications},
    author={O'SULLIVAN, DECLAN},
    year={2011}
}

@article{pan2012exploiting,
    title={Exploiting tractable fuzzy and crisp reasoning in ontology applications},
    author={Pan, Jeff Z and Thomas, Edward and Ren, Yuan and Taylor, Stuart},
    journal={IEEE Computational Intelligence Magazine},
    volume={7},
    number={2},
    pages={45--53},
    year={2012},
    publisher={IEEE}
}

@article{papadakis2011proton,
    title={Proton: A prolog reasoner for temporal ontologies in owl},
    author={Papadakis, Nikos and Stravoskoufos, Kostas and Baratis, Evdoxios and Petrakis, Euripides GM and Plexousakis, Dimitris},
    journal={Expert Systems with Applications},
    volume={38},
    number={12},
    pages={14660--14667},
    year={2011},
    publisher={Elsevier}
}

@inproceedings{parsia2004pellet,
    title={Pellet: An owl dl reasoner},
    author={Parsia, Bijan and Sirin, Evren},
    booktitle={Third international semantic web conference-poster},
    volume={18},
    pages={13},
    year={2004}
}

@article{parsia2017owl,
    title={The OWL reasoner evaluation (ORE) 2015 competition report},
    author={Parsia, Bijan and Matentzoglu, Nicolas and Goncalves, Rafael S and Glimm, Birte and Steigmiller, Andreas},
    journal={Journal of Automated Reasoning},
    volume={59},
    pages={455--482},
    year={2017},
    publisher={Springer}
}

@inproceedings{patel1999dlp,
    title={DLP and FaCT},
    author={Patel-Schneider, Peter F and Horrocks, Ian},
    booktitle={Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7--11, 1999 Proceedings 8},
    pages={19--23},
    year={1999},
    organization={Springer}
}

@article{perez2010tractable,
    title={Tractable query answering and rewriting under description logic constraints},
    author={P{\'e}rez-Urbina, H{\'e}ctor and Motik, Boris and Horrocks, Ian},
    journal={Journal of Applied Logic},
    volume={8},
    number={2},
    pages={186--209},
    year={2010},
    publisher={Elsevier}
}

@inproceedings{quest2012obda,
    title = "Quest, an OWL 2 QL Reasoner for Ontology-Based Data Access",
    year = "2012",
    author = "Mariano Rodriguez-Muro and Diego Calvanese",
    booktitle = "Proc. of the 9th Int. Workshop on OWL: Experiences and
    Directions (OWLED 2012)",
    volume = "849",
    publisher = "CEUR-WS.org",
    series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}

@inproceedings{riguzzi2013bundle,
    title={BUNDLE: A reasoner for probabilistic ontologies},
    author={Riguzzi, Fabrizio and Bellodi, Elena and Lamma, Evelina and Zese, Riccardo},
    booktitle={Web Reasoning and Rule Systems: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings 7},
    pages={183--197},
    year={2013},
    organization={Springer}
}

@article{rodriguez2012quest,
    title={Quest: efficient SPARQL-to-SQL for RDF and OWL},
    author={Rodriguez-Muro, Mariano and Hardi, Josef and Calvanese, Diego},
    journal={Proceedings of the ISWC 2012 Posters \& Demonstrations Track: ISWC 2012 Posters \& Demos, Collected Abstracts, November 11-15, 2012},
    volume={914},
    pages={53--56},
    year={2012},
    publisher={RWTH}
}

@inproceedings{rudolph2017wolpertinger,
    title={Wolpertinger: A Fixed-Domain Reasoner.},
    author={Rudolph, Sebastian and Schweizer, Lukas and Tirtarasa, Satyadharma},
    booktitle={ISWC (Posters, Demos \& Industry Tracks)},
    year={2017}
}

@inproceedings{ruta2019minime,
    title={Mini-ME Swift: the first mobile OWL reasoner for iOS},
    author={Ruta, Michele and Scioscia, Floriano and Gramegna, Filippo and Bilenchi, Ivano and Di Sciascio, Eugenio},
    booktitle={The Semantic Web: 16th International Conference, ESWC 2019, Portoro{\v{z}}, Slovenia, June 2--6, 2019, Proceedings 16},
    pages={298--313},
    year={2019},
    organization={Springer}
}

@incollection{scioscia2018minime,
    title={Mini-ME matchmaker and reasoner for the Semantic Web of Things},
    author={Scioscia, Floriano and Ruta, Michele and Loseto, Giuseppe and Gramegna, Filippo and Ieva, Saverio and Pinto, Agnese and Di Sciascio, Eugenio},
    booktitle={Innovations, Developments, and Applications of Semantic Web and Information Systems},
    pages={262--294},
    year={2018},
    publisher={IGI Global}
}

@inproceedings{sertkaya2011search,
    title={In the search of improvements to the EL+ classification algorithm},
    author={Sertkaya, Bar{\i}s},
    booktitle={Proc. 24th Int. Workshop on Description Logics (DL’11)},
    volume={745},
    pages={389--399},
    year={2011},
    organization={Citeseer}
}

@inproceedings{sertkaya2013elephant,
    title={The ELepHant Reasoner System Description.},
    author={Sertkaya, Baris},
    booktitle={ORE},
    pages={87--93},
    year={2013}
}

@article{shokohinia2022method,
    title={A METHOD FOR IMPROVING REASONING AND REALIZATION PROBLEM SOLVING IN DESCRIPTIVE LOGIC-BASED AND ONTOLOGY-BASED REASONERS},
    author={Shokohinia, Mojtaba and Dideban, Abbas and Yaghmaee, Farzin},
    journal={Malaysian Journal of Computer Science},
    volume={35},
    number={1},
    pages={37--55},
    year={2022}
}

@inproceedings{sim2006minerva,
    title={Applying Inference Engine to Context-Aware Computing Services},
    author={Sim, Jaemoon and Kim, Jihoon and Kwon, Ohbyung and Lee, Sean S and Kim, Jungho and Jang, HK and Lee, Myungchul},
    booktitle={Proceedings of the Second International Workshop on Personalized Context Modeling and Management for UbiComp Applications, Orange County, CA},
    year={2006}
}

@article{siorpaes2010elp,
    title={An elp reasoner},
    author={Siorpaes, Katharina and Winkler, Daniel},
    year={2010}
}

@article{sirin2007pellet,
    title={Pellet: A practical owl-dl reasoner},
    author={Sirin, Evren and Parsia, Bijan and Grau, Bernardo Cuenca and Kalyanpur, Aditya and Katz, Yarden},
    journal={Journal of Web Semantics},
    volume={5},
    number={2},
    pages={51--53},
    year={2007},
    publisher={Elsevier}
}

@inproceedings{singh2020owl2bench,
    title={OWL2Bench: a benchmark for OWL 2 reasoners},
    author={Singh, Gunjan and Bhatia, Sumit and Mutharaju, Raghava},
    booktitle={The Semantic Web--ISWC 2020: 19th International Semantic Web Conference, Athens, Greece, November 2--6, 2020, Proceedings, Part II 19},
    pages={81--96},
    year={2020},
    organization={Springer}
}

@inproceedings{sinner2005krhyper,
    title={Krhyper--in your pocket},
    author={Sinner, Alex and Kleemann, Thomas},
    booktitle={Automated Deduction--CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings 20},
    pages={452--457},
    year={2005},
    organization={Springer}
}

@article{sivakumar2011ontology,
    title={Ontology visualization PROT{\'E}G{\'E} tools--a review},
    author={Sivakumar, R and Arivoli, PV},
    journal={International Journal of Advanced Information Technology (IJAIT) Vol},
    volume={1},
    year={2011}
}

@article{slater2016using,
    title={Using AberOWL for fast and scalable reasoning over BioPortal ontologies},
    author={Slater, Luke and Gkoutos, Georgios V and Schofield, Paul N and Hoehndorf, Robert},
    journal={Journal of Biomedical Semantics},
    volume={7},
    number={1},
    pages={1--6},
    year={2016},
    publisher={BioMed Central}
}

@inproceedings{song2012wsreasoner,
    title={WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach.},
    author={Song, Weihong and Spencer, Bruce and Du, Weichang},
    booktitle={ORE},
    year={2012},
    organization={Citeseer}
}

@techreport{song2013wsclassifier,
    title={Technical report of a transformation approach for classifying ALCHI (D) ontologies with a consequence-based ALCH reasoner},
    author={Song, Weihong and Spencer, Bruce and Du, Weichang},
    year={2013},
    institution={Tech. rep}
}

@article{steigmiller2014konclude,
    title={Konclude: system description},
    author={Steigmiller, Andreas and Liebig, Thorsten and Glimm, Birte},
    journal={Journal of Web Semantics},
    volume={27},
    pages={78--85},
    year={2014},
    publisher={Elsevier}
}

@inproceedings{stocker2008owlgres,
    title={Owlgres: A scalable OWL reasoner.},
    author={Stocker, Markus and Smith, Michael},
    booktitle={OWLED},
    volume={432},
    year={2008}
}

@inproceedings{stoilos2014hydrowl,
    title={Hydrowl: A hybrid query answering system for OWL 2 DL ontologies},
    author={Stoilos, Giorgos},
    booktitle={Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings 8},
    pages={230--238},
    year={2014},
    organization={Springer}
}

@inproceedings{straccia2010softfacts,
    title={Softfacts: A top-k retrieval engine for ontology mediated access to relational databases},
    author={Straccia, Umberto},
    booktitle={2010 IEEE International Conference on Systems, Man and Cybernetics},
    pages={4115--4122},
    year={2010},
    organization={IEEE}
}

@inproceedings{terdjimi2015hylar,
    title={Hylar: Hybrid location-agnostic reasoning},
    author={Terdjimi, Mehdi and M{\'e}dini, Lionel and Mrissa, Michael},
    booktitle={ESWC Developers Workshop 2015},
    pages={1},
    year={2015}
}

@inproceedings{terdjimi2016hylarplus,
    title={Hylar+ improving hybrid location-agnostic reasoning with incremental rule-based update},
    author={Terdjimi, Mehdi and M{\'e}dini, Lionel and Mrissa, Michael},
    booktitle={Proceedings of the 25th International Conference Companion on World Wide Web},
    pages={259--262},
    year={2016}
}

@article{thomas2010trowl,
    title={TrOWL: Tractable OWL 2 Reasoning Infrastructure.},
    author={Thomas, Edward and Pan, Jeff Z and Ren, Yuan},
    journal={ESWC (2)},
    volume={6089},
    pages={431--435},
    year={2010}
}

@inproceedings{tsarkov2004vampire,
    title={Using Vampire to reason with OWL},
    author={Tsarkov, Dmitry and Riazanov, Alexandre and Bechhofer, Sean and Horrocks, Ian},
    booktitle={The Semantic Web--ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings 3},
    pages={471--485},
    year={2004},
    organization={Springer}
}

@inproceedings{tsarkov2006fact++,
    title={FaCT++ description logic reasoner: System description},
    author={Tsarkov, Dmitry and Horrocks, Ian},
    booktitle={Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings 3},
    pages={292--297},
    year={2006},
    organization={Springer}
}

@inproceedings{tsarkov2012chainsaw,
    title={Chainsaw: a Metareasoner for Large Ontologies.},
    author={Tsarkov, Dmitry and Palmisano, Ignazio},
    booktitle={ORE},
    year={2012}
}

@inproceedings{tsatsou2014lifr,
    title={LiFR: A lightweight fuzzy DL reasoner},
    author={Tsatsou, Dorothea and Dasiopoulou, Stamatia and Kompatsiaris, Ioannis and Mezaris, Vasileios},
    booktitle={The Semantic Web: ESWC 2014 Satellite Events: ESWC 2014 Satellite Events, Anissaras, Crete, Greece, May 25-29, 2014, Revised Selected Papers 11},
    pages={263--267},
    year={2014},
    organization={Springer}
}

@article{urbani2010webpie,
    title={OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples.},
    author={Urbani, Jacopo and Kotoulas, Spyros and Maassen, Jason and Van Harmelen, Frank and Bal, Henri E},
    journal={ESWC (1)},
    volume={6088},
    pages={213--227},
    year={2010}
}

@inproceedings{urbani2011querypie,
    title={QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases},
    author={Urbani, Jacopo and Van Harmelen, Frank and Schlobach, Stefan and Bal, Henri},
    booktitle={The Semantic Web--ISWC 2011: 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I 10},
    pages={730--745},
    year={2011},
    organization={Springer}
}

@article{verborgh2015drawing,
    title={Drawing conclusions from linked data on the web: The EYE reasoner},
    author={Verborgh, Ruben and De Roo, Jos},
    journal={IEEE Software},
    volume={32},
    number={3},
    pages={23--27},
    year={2015},
    publisher={IEEE}
}

@article{wang2019comr,
    title={ComR: a combined OWL reasoner for ontology classification},
    author={Wang, Changlong and Feng, Zhiyong and Zhang, Xiaowang and Wang, Xin and Rao, Guozheng and Fu, Daoxun},
    journal={Frontiers of Computer Science},
    volume={13},
    pages={139--156},
    year={2019},
    publisher={Springer}
}

@inproceedings{wu2012oraclerequiem,
    title={Advancing the Enterprise-class OWL Inference Engine in Oracle Database.},
    author={Wu, Zhe and Rieb, Karl and Eadon, George and Khandelwal, Ankesh and Kolovski, Vladimir},
    booktitle={ORE},
    year={2012}
}

@inproceedings{wu2012deslog,
    title={A Parallel Reasoner for the Description Logic ALC},
    author={Wu, Kejia and Haarslev, Volker},
    booktitle={25th International Workshop on Description Logics},
    pages={378},
    year={2012},
    organization={Citeseer}
}

@inproceedings{wu2016prose,
    title={PROSE: A plugin-based paraconsistent OWL reasoner},
    author={Wu, Wenrui and Feng, Zhiyong and Zhang, Xiaowang and Wang, Xin and Rao, Guozheng},
    booktitle={Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers 5},
    pages={255--270},
    year={2016},
    organization={Springer}
}

@book{wullinger2018supporting,
    title={Supporting format migration with ontology model comparison},
    author={Wullinger, Peter},
    volume={29},
    year={2018},
    publisher={University of Bamberg Press}
}

@inproceedings{xiao2010drew,
    title={DReW: a reasoner for datalog-rewritable description logics and dl-programs},
    author={Xiao, Guohui and Heymans, Stijn and Eiter, Thomas},
    booktitle={Proc. 1st Int. Workshop on Business Models, Business Rules and Ontologies (BuRO’10)},
    pages={1--14},
    year={2010}
}

@inproceedings{zese2013trill,
    title={A Description Logics Tableau Reasoner in Prolog.},
    author={Zese, Riccardo and Bellodi, Elena and Lamma, Evelina and Riguzzi, Fabrizio},
    booktitle={CILC},
    pages={33--47},
    year={2013}
}

@inproceedings{zou2005fowl,
    title={F-owl: An inference engine for semantic web},
    author={Zou, Youyong and Finin, Tim and Chen, Harry},
    booktitle={Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers 3},
    pages={238--248},
    year={2005},
    organization={Springer}
}

@inproceedings{zhou2006minerva,
    title={Minerva: A scalable OWL ontology storage and inference system},
    author={Zhou, Jian and Ma, Li and Liu, Qiaoling and Zhang, Lei and Yu, Yong and Pan, Yue},
    booktitle={The Semantic Web--ASWC 2006: First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings 1},
    pages={429--443},
    year={2006},
    organization={Springer}
}

@article{zhou2015pagoda,
    title={Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner},
    author={Zhou, Yujiao and Grau, Bernardo Cuenca and Nenov, Yavor and Kaminski, Mark and Horrocks, Ian},
    journal={Journal of Artificial Intelligence Research},
    volume={54},
    pages={309--367},
    year={2015}
}