BibTeX records: Matthew Horridge

download as .bib file

@article{DBLP:journals/jair/VescovoHPSSZ20,
  author       = {Chiara Del Vescovo and
                  Matthew Horridge and
                  Bijan Parsia and
                  Uli Sattler and
                  Thomas Schneider and
                  Haoruo Zhao},
  title        = {Modular Structures and Atomic Decomposition in Ontologies},
  journal      = {J. Artif. Intell. Res.},
  volume       = {69},
  pages        = {963--1021},
  year         = {2020},
  url          = {https://doi.org/10.1613/jair.1.12151},
  doi          = {10.1613/JAIR.1.12151},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/VescovoHPSSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PernischovaDHBB19,
  author       = {Romana Pernischov{\'{a}} and
                  Daniele Dell'Aglio and
                  Matthew Horridge and
                  Matthias Baumgartner and
                  Abraham Bernstein},
  editor       = {Mari Carmen Su{\'{a}}rez{-}Figueroa and
                  Gong Cheng and
                  Anna Lisa Gentile and
                  Christophe Gu{\'{e}}ret and
                  C. Maria Keet and
                  Abraham Bernstein},
  title        = {Toward Predicting Impact of Changes in Evolving Knowledge Graphs},
  booktitle    = {Proceedings of the {ISWC} 2019 Satellite Tracks (Posters {\&}
                  Demonstrations, Industry, and Outrageous Ideas) co-located with 18th
                  International Semantic Web Conference {(ISWC} 2019), Auckland, New
                  Zealand, October 26-30, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2456},
  pages        = {137--140},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2456/paper36.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:06 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/PernischovaDHBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GoncalvesHLLMNO19,
  author       = {Rafael S. Gon{\c{c}}alves and
                  Matthew Horridge and
                  Rui Li and
                  Yu Liu and
                  Mark A. Musen and
                  Csongor I. Nyulas and
                  Evelyn Obamos and
                  Dhananjay Shrouty and
                  David Temple},
  editor       = {Chiara Ghidini and
                  Olaf Hartig and
                  Maria Maleshkova and
                  Vojtech Sv{\'{a}}tek and
                  Isabel F. Cruz and
                  Aidan Hogan and
                  Jie Song and
                  Maxime Lefran{\c{c}}ois and
                  Fabien Gandon},
  title        = {Use of {OWL} and Semantic Web Technologies at Pinterest},
  booktitle    = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
                  Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11779},
  pages        = {418--435},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30796-7\_26},
  doi          = {10.1007/978-3-030-30796-7\_26},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/GoncalvesHLLMNO19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/HorridgeGNTM19,
  author       = {Matthew Horridge and
                  Rafael S. Gon{\c{c}}alves and
                  Csongor I. Nyulas and
                  Tania Tudorache and
                  Mark A. Musen},
  editor       = {Sihem Amer{-}Yahia and
                  Mohammad Mahdian and
                  Ashish Goel and
                  Geert{-}Jan Houben and
                  Kristina Lerman and
                  Julian J. McAuley and
                  Ricardo Baeza{-}Yates and
                  Leila Zia},
  title        = {WebProt{\'{e}}g{\'{e}}: {A} Cloud-Based Ontology Editor},
  booktitle    = {Companion of The 2019 World Wide Web Conference, {WWW} 2019, San Francisco,
                  CA, USA, May 13-17, 2019},
  pages        = {686--689},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3308560.3317707},
  doi          = {10.1145/3308560.3317707},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/HorridgeGNTM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08251,
  author       = {Matthew Horridge and
                  Rafael S. Gon{\c{c}}alves and
                  Csongor I. Nyulas and
                  Mark A. Musen},
  title        = {WebProt{\'{e}}g{\'{e}}: {A} Cloud-Based Ontology Editor},
  journal      = {CoRR},
  volume       = {abs/1902.08251},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.08251},
  eprinttype    = {arXiv},
  eprint       = {1902.08251},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-08251.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-02106,
  author       = {Rafael S. Gon{\c{c}}alves and
                  Matthew Horridge and
                  Rui Li and
                  Yu Liu and
                  Mark A. Musen and
                  Csongor I. Nyulas and
                  Evelyn Obamos and
                  Dhananjay Shrouty and
                  David Temple},
  title        = {Use of {OWL} and Semantic Web Technologies at Pinterest},
  journal      = {CoRR},
  volume       = {abs/1907.02106},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.02106},
  eprinttype    = {arXiv},
  eprint       = {1907.02106},
  timestamp    = {Tue, 06 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-02106.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/HorridgeGNTM18,
  author       = {Matthew Horridge and
                  Rafael S. Gon{\c{c}}alves and
                  Csongor I. Nyulas and
                  Tania Tudorache and
                  Mark A. Musen},
  editor       = {Pankaj Jaiswal and
                  Laurel Cooper and
                  Melissa A. Haendel and
                  Christopher J. Mungall},
  title        = {Prot{\'{e}}g{\'{e}} 5.5 - Improvements for Editing Biomedical
                  Ontologies},
  booktitle    = {Proceedings of the 9th International Conference on Biological Ontology
                  {(ICBO} 2018), Corvallis, Oregon, USA, August 7-10, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2285},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2285/ICBO\_2018\_paper\_23.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/HorridgeGNTM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/SchekotihinRSHT18,
  author       = {Konstantin Schekotihin and
                  Patrick Rodler and
                  Wolfgang Schmid and
                  Matthew Horridge and
                  Tania Tudorache},
  editor       = {Pankaj Jaiswal and
                  Laurel Cooper and
                  Melissa A. Haendel and
                  Christopher J. Mungall},
  title        = {Test-Driven Ontology Development in Prot{\'{e}}g{\'{e}}},
  booktitle    = {Proceedings of the 9th International Conference on Biological Ontology
                  {(ICBO} 2018), Corvallis, Oregon, USA, August 7-10, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2285},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2285/ICBO\_2018\_paper\_31.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/SchekotihinRSHT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/SchekotihinRSHT18a,
  author       = {Konstantin Schekotihin and
                  Patrick Rodler and
                  Wolfgang Schmid and
                  Matthew Horridge and
                  Tania Tudorache},
  editor       = {Pankaj Jaiswal and
                  Laurel Cooper and
                  Melissa A. Haendel and
                  Christopher J. Mungall},
  title        = {A Prot{\'{e}}g{\'{e}} Plug-In for Test-Driven Ontology Development},
  booktitle    = {Proceedings of the 9th International Conference on Biological Ontology
                  {(ICBO} 2018), Corvallis, Oregon, USA, August 7-10, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2285},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2285/ICBO\_2018\_paper\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/SchekotihinRSHT18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeGNTM18,
  author       = {Matthew Horridge and
                  Rafael S. Gon{\c{c}}alves and
                  Csongor I. Nyulas and
                  Tania Tudorache and
                  Mark A. Musen},
  editor       = {Marieke van Erp and
                  Medha Atre and
                  Vanessa L{\'{o}}pez and
                  Kavitha Srinivas and
                  Carolina Fortuna},
  title        = {WebProt{\'{e}}g{\'{e}} 3.0 - Collaborative {OWL} Ontology
                  Engineering in the Cloud},
  booktitle    = {Proceedings of the {ISWC} 2018 Posters {\&} Demonstrations, Industry
                  and Blue Sky Ideas Tracks co-located with 17th International Semantic
                  Web Conference {(ISWC} 2018), Monterey, USA, October 8th - to - 12th,
                  2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2180},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2180/paper-26.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeGNTM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icbo/2017,
  editor       = {Matthew Horridge and
                  Phillip Lord and
                  Jennifer D. Warrender},
  title        = {Proceedings of the 8th International Conference on Biomedical Ontology
                  {(ICBO} 2017), Newcastle-upon-Tyne, United Kingdom, September 13th
                  - 15th, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2137},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2137},
  urn          = {urn:nbn:de:0074-2137-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2017wop,
  editor       = {Eva Blomqvist and
                  {\'{O}}scar Corcho and
                  Matthew Horridge and
                  David Carral and
                  Rinke Hoekstra},
  title        = {Proceedings of the 8th Workshop on Ontology Design and Patterns {(WOP}
                  2017) co-located with the 16th International Semantic Web Conference
                  {(ISWC} 2017), Vienna, Austria, October 21, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2043},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2043},
  urn          = {urn:nbn:de:0074-2043-C},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/2017wop.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/ShimizuHH17,
  author       = {Cogan Shimizu and
                  Pascal Hitzler and
                  Matthew Horridge},
  editor       = {Eva Blomqvist and
                  Katja Hose and
                  Heiko Paulheim and
                  Agnieszka Lawrynowicz and
                  Fabio Ciravegna and
                  Olaf Hartig},
  title        = {Rendering {OWL} in Description Logic Syntax},
  booktitle    = {The Semantic Web: {ESWC} 2017 Satellite Events - {ESWC} 2017 Satellite
                  Events, Portoro{\v{z}}, Slovenia, May 28 - June 1, 2017, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10577},
  pages        = {109--113},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70407-4\_21},
  doi          = {10.1007/978-3-319-70407-4\_21},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/ShimizuHH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ekaw/2016s,
  editor       = {Paolo Ciancarini and
                  Francesco Poggi and
                  Matthew Horridge and
                  Jun Zhao and
                  Tudor Groza and
                  Mari Carmen Su{\'{a}}rez{-}Figueroa and
                  Mathieu d'Aquin and
                  Valentina Presutti},
  title        = {Knowledge Engineering and Knowledge Management - {EKAW} 2016 Satellite
                  Events, {EKM} and Drift-an-LOD, Bologna, Italy, November 19-23, 2016,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10180},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-58694-6},
  doi          = {10.1007/978-3-319-58694-6},
  isbn         = {978-3-319-58693-9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ekaw/2016s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2016knowlod,
  editor       = {Heiko Paulheim and
                  Jens Lehmann and
                  Vojtech Sv{\'{a}}tek and
                  Craig A. Knoblock and
                  Matthew Horridge and
                  Patrick Lambrix and
                  Bijan Parsia},
  title        = {Joint Proceedings of the 5th Workshop on Data Mining and Knowledge
                  Discovery meets Linked Open Data and the 1st International Workshop
                  on Completing and Debugging the Semantic Web (Know@LOD-2016, CoDeS-2016)
                  co-located with 13th {ESWC} 2016, Heraklion, Greece, May 30th, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1586},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1586},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/2016knowlod.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/ZhangTHM15,
  author       = {Yuhao Zhang and
                  Tania Tudorache and
                  Matthew Horridge and
                  Mark A. Musen},
  editor       = {Bo Begole and
                  Jinwoo Kim and
                  Kori Inkpen and
                  Woontack Woo},
  title        = {Helping Users Bootstrap Ontologies: An Empirical Investigation},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
                  Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
                  2015},
  pages        = {3395--3398},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2702123.2702433},
  doi          = {10.1145/2702123.2702433},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/ZhangTHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeM15,
  author       = {Matthew Horridge and
                  Mark A. Musen},
  editor       = {Valentina A. M. Tamma and
                  Mauro Dragoni and
                  Rafael S. Gon{\c{c}}alves and
                  Agnieszka Lawrynowicz},
  title        = {Snap-SPARQL: {A} Java Framework for Working with {SPARQL} and {OWL}},
  booktitle    = {Ontology Engineering - 12th International Experiences and Directions
                  Workshop on OWL, {OWLED} 2015, co-located with {ISWC} 2015, Bethlehem,
                  PA, USA, October 9-10, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9557},
  pages        = {154--165},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-33245-1\_16},
  doi          = {10.1007/978-3-319-33245-1\_16},
  timestamp    = {Tue, 06 Sep 2022 08:18:32 +0200},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeM15.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}
}
@article{DBLP:journals/bioinformatics/HorridgeTNVNM14,
  author       = {Matthew Horridge and
                  Tania Tudorache and
                  Csongor Nyulas and
                  Jennifer Vendetti and
                  Natalya Fridman Noy and
                  Mark A. Musen},
  title        = {WebProt{\'{e}}g{\'{e}}: a collaborative Web-based platform
                  for editing biomedical ontologies},
  journal      = {Bioinform.},
  volume       = {30},
  number       = {16},
  pages        = {2384--2385},
  year         = {2014},
  url          = {https://doi.org/10.1093/bioinformatics/btu256},
  doi          = {10.1093/BIOINFORMATICS/BTU256},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/HorridgeTNVNM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/HorridgePNM14,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Natasha F. Noy and
                  Mark A. Musen},
  title        = {Reasoning Based Quality Assurance of Medical Ontologies: {A} Case
                  Study},
  booktitle    = {{AMIA} 2014, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 15-19, 2014},
  publisher    = {{AMIA}},
  year         = {2014},
  url          = {https://knowledge.amia.org/56638-amia-1.1540970/t-004-1.1544972/f-004-1.1544973/a-164-1.1545181/a-165-1.1545178},
  timestamp    = {Wed, 17 Apr 2024 11:47:48 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/HorridgePNM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/HorridgeBPR14,
  author       = {Matthew Horridge and
                  Sebastian Brandt and
                  Bijan Parsia and
                  Alan L. Rector},
  title        = {A Domain Specific Ontology Authoring Environment for a Clinical Documentation
                  System},
  booktitle    = {2014 {IEEE} 27th International Symposium on Computer-Based Medical
                  Systems, New York, NY, USA, May 27-29, 2014},
  pages        = {329--334},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CBMS.2014.84},
  doi          = {10.1109/CBMS.2014.84},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/HorridgeBPR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeTNM14,
  author       = {Matthew Horridge and
                  Tania Tudorache and
                  Csongor Nyulas and
                  Mark A. Musen},
  editor       = {C. Maria Keet and
                  Valentina A. M. Tamma},
  title        = {WebProt{\'{e}}g{\'{e}}: a Web-based Development Environment
                  for {OWL} Ontologies},
  booktitle    = {Proceedings of the 11th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2014) co-located with 13th International Semantic
                  Web Conference on {(ISWC} 2014), Riva del Garda, Italy, October 17-18,
                  2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1265},
  pages        = {109--120},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1265/owled2014\_submission\_15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeTNM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeMPSM14,
  author       = {Matthew Horridge and
                  Jonathan Mortensen and
                  Bijan Parsia and
                  Ulrike Sattler and
                  Mark A. Musen},
  editor       = {Peter Mika and
                  Tania Tudorache and
                  Abraham Bernstein and
                  Chris Welty and
                  Craig A. Knoblock and
                  Denny Vrandecic and
                  Paul Groth and
                  Natasha F. Noy and
                  Krzysztof Janowicz and
                  Carole A. Goble},
  title        = {A Study on the Atomic Decomposition of Ontologies},
  booktitle    = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
                  Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8797},
  pages        = {65--80},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11915-1\_5},
  doi          = {10.1007/978-3-319-11915-1\_5},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeMPSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2014wodoom,
  editor       = {Patrick Lambrix and
                  Guilin Qi and
                  Matthew Horridge and
                  Bijan Parsia},
  title        = {Proceedings of the Third International Workshop on Debugging Ontologies
                  and Ontology Mappings, WoDOOM 2014, co-located with 11th Extended
                  Semantic Web Conference {(ESWC} 2014), Anissaras/Hersonissou, Greece,
                  May 26, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1162},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1162},
  urn          = {urn:nbn:de:0074-1162-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/2014wodoom.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2014p,
  editor       = {Matthew Horridge and
                  Marco Rospocher and
                  Jacco van Ossenbruggen},
  title        = {Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track
                  a track within the 13th International Semantic Web Conference, {ISWC}
                  2014, Riva del Garda, Italy, October 21, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1272},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1272},
  urn          = {urn:nbn:de:0074-1272-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/2014p.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/WolstencroftOHJKSPMSG13,
  author       = {Katherine Wolstencroft and
                  Stuart Owen and
                  Matthew Horridge and
                  Simon Jupp and
                  Olga Krebs and
                  Jacky L. Snoep and
                  Franco B. du Preez and
                  Wolfgang M{\"{u}}ller and
                  Robert Stevens and
                  Carole A. Goble},
  title        = {Stealthy annotation of experimental biology by spreadsheets},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {25},
  number       = {4},
  pages        = {467--480},
  year         = {2013},
  url          = {https://doi.org/10.1002/cpe.2941},
  doi          = {10.1002/CPE.2941},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/WolstencroftOHJKSPMSG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/HorridgeBPS13,
  author       = {Matthew Horridge and
                  Samantha Bail and
                  Bijan Parsia and
                  Uli Sattler},
  title        = {Toward cognitive support for {OWL} justifications},
  journal      = {Knowl. Based Syst.},
  volume       = {53},
  pages        = {66--79},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.knosys.2013.08.021},
  doi          = {10.1016/J.KNOSYS.2013.08.021},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kbs/HorridgeBPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/HorridgeMTVNMN13,
  author       = {Matthew Horridge and
                  Jonathan Mortensen and
                  Tania Tudorache and
                  Jennifer Vendetti and
                  Csongor Nyulas and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  editor       = {Michel Dumontier and
                  Robert Hoehndorf and
                  Christopher J. O. Baker},
  title        = {Introducing WebProt{\'{e}}g{\'{e}} 2 as a Collaborative
                  Platform for Editing Biomedical Ontologies},
  booktitle    = {Proceedings of the 4th International Conference on Biomedical Ontology,
                  {ICBO} 2013, Montreal, Canada, July 7-12, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1060},
  pages        = {138--139},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1060/icbo2013\_submission\_66.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/HorridgeMTVNMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeRTM13,
  author       = {Matthew Horridge and
                  Timothy Redmond and
                  Tania Tudorache and
                  Mark A. Musen},
  editor       = {Mariano Rodriguez{-}Muro and
                  Simon Jupp and
                  Kavitha Srinivas},
  title        = {Binary {OWL}},
  booktitle    = {Proceedings of the 10th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2013) co-located with 10th Extended Semantic
                  Web Conference {(ESWC} 2013), Montpellier, France, May 26-27, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1080},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1080/owled2013\_12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeRTM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeTVNMN13,
  author       = {Matthew Horridge and
                  Tania Tudorache and
                  Jennifer Vendetti and
                  Csongor Nyulas and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  editor       = {Harith Alani and
                  Lalana Kagal and
                  Achille Fokoue and
                  Paul Groth and
                  Chris Biemann and
                  Josiane Xavier Parreira and
                  Lora Aroyo and
                  Natasha F. Noy and
                  Chris Welty and
                  Krzysztof Janowicz},
  title        = {Simplified {OWL} Ontology Editing for the Web: Is WebProt{\'{e}}g{\'{e}}
                  Enough?},
  booktitle    = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
                  Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8218},
  pages        = {200--215},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41335-3\_13},
  doi          = {10.1007/978-3-642-41335-3\_13},
  timestamp    = {Tue, 07 Sep 2021 13:48:20 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeTVNMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esws/2013wodoom,
  editor       = {Patrick Lambrix and
                  Guilin Qi and
                  Matthew Horridge and
                  Bijan Parsia},
  title        = {Proceedings of the Second International Workshop on Debugging Ontologies
                  and Ontology Mappings, Montpellier, France, May 27, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {999},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-999},
  urn          = {urn:nbn:de:0074-999-7},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/2013wodoom.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ao/RectorBDHPS12,
  author       = {Alan L. Rector and
                  Sebastian Brandt and
                  Nick Drummond and
                  Matthew Horridge and
                  Colin Puleston and
                  Robert Stevens},
  title        = {Engineering use cases for modular development of ontologies in {OWL}},
  journal      = {Appl. Ontology},
  volume       = {7},
  number       = {2},
  pages        = {113--132},
  year         = {2012},
  url          = {https://doi.org/10.3233/AO-2012-0107},
  doi          = {10.3233/AO-2012-0107},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ao/RectorBDHPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/JuppHIKOSWS12,
  author       = {Simon Jupp and
                  Matthew Horridge and
                  Luigi Iannone and
                  Julie Klein and
                  Stuart Owen and
                  Joost Schanstra and
                  Katy Wolstencroft and
                  Robert Stevens},
  title        = {Populous: a tool for building {OWL} ontologies from templates},
  journal      = {{BMC} Bioinform.},
  volume       = {13},
  number       = {{S-1}},
  pages        = {S5},
  year         = {2012},
  url          = {https://doi.org/10.1186/1471-2105-13-S1-S5},
  doi          = {10.1186/1471-2105-13-S1-S5},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/JuppHIKOSWS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/MortensenHMN12,
  author       = {Jonathan Mortensen and
                  Matthew Horridge and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  title        = {Applications of Ontology Design Patterns in Biomedical Ontologies},
  booktitle    = {{AMIA} 2012, American Medical Informatics Association Annual Symposium,
                  Chicago, Illinois, USA, November 3-7, 2012},
  publisher    = {{AMIA}},
  year         = {2012},
  url          = {https://knowledge.amia.org/amia-55142-a2012a-1.636547/t-003-1.640625/f-001-1.640626/a-075-1.641008/a-076-1.641005},
  timestamp    = {Wed, 17 Apr 2024 11:48:03 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/MortensenHMN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/WolstencroftOHMBSPNKG12,
  author       = {Katy Wolstencroft and
                  Stuart Owen and
                  Matthew Horridge and
                  Wolfgang M{\"{u}}ller and
                  Finn Bacall and
                  Jacky L. Snoep and
                  Franco B. du Preez and
                  Quyen Nguyen and
                  Olga Krebs and
                  Carole A. Goble},
  editor       = {Annette ten Teije and
                  Johanna V{\"{o}}lker and
                  Siegfried Handschuh and
                  Heiner Stuckenschmidt and
                  Mathieu d'Aquin and
                  Andriy Nikolov and
                  Nathalie Aussenac{-}Gilles and
                  Nathalie Hernandez},
  title        = {RightField: Scientific Knowledge Acquisition by Stealth through Ontology-Enabled
                  Spreadsheets},
  booktitle    = {Knowledge Engineering and Knowledge Management - 18th International
                  Conference, {EKAW} 2012, Galway City, Ireland, October 8-12, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7603},
  pages        = {438--441},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33876-2\_42},
  doi          = {10.1007/978-3-642-33876-2\_42},
  timestamp    = {Wed, 25 Sep 2019 18:22:28 +0200},
  biburl       = {https://dblp.org/rec/conf/ekaw/WolstencroftOHMBSPNKG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorridgePS12,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Gerhard Brewka and
                  Thomas Eiter and
                  Sheila A. McIlraith},
  title        = {Justification Masking in Ontologies},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
                  June 10-14, 2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4555},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/HorridgePS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeAMMN12,
  author       = {Matthew Horridge and
                  Mikel Ega{\~{n}}a Aranguren and
                  Jonathan Mortensen and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  editor       = {Eva Blomqvist and
                  Aldo Gangemi and
                  Karl Hammar and
                  Mari Carmen Su{\'{a}}rez{-}Figueroa},
  title        = {Ontology Design Pattern Language Expressivity Requirements},
  booktitle    = {Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA,
                  November 12, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {929},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-929/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeAMMN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS12,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Philippe Cudr{\'{e}}{-}Mauroux and
                  Jeff Heflin and
                  Evren Sirin and
                  Tania Tudorache and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Manfred Hauswirth and
                  Josiane Xavier Parreira and
                  Jim Hendler and
                  Guus Schreiber and
                  Abraham Bernstein and
                  Eva Blomqvist},
  title        = {Extracting Justifications from BioPortal Ontologies},
  booktitle    = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
                  Boston, MA, USA, November 11-15, 2012, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7650},
  pages        = {287--299},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35173-0\_19},
  doi          = {10.1007/978-3-642-35173-0\_19},
  timestamp    = {Tue, 07 Sep 2021 13:47:51 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgePS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MortensenHMN12,
  author       = {Jonathan Mortensen and
                  Matthew Horridge and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  editor       = {Eva Blomqvist and
                  Aldo Gangemi and
                  Karl Hammar and
                  Mari Carmen Su{\'{a}}rez{-}Figueroa},
  title        = {Modest Use of Ontology Design Patterns in a Repository of Biomedical
                  Ontologies},
  booktitle    = {Proceedings of the 3rd Workshop on Ontology Patterns, Boston, USA,
                  November 12, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {929},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-929/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/MortensenHMN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SalvadoresHAFMN12,
  author       = {Manuel Salvadores and
                  Matthew Horridge and
                  Paul R. Alexander and
                  Ray W. Fergerson and
                  Mark A. Musen and
                  Natalya Fridman Noy},
  editor       = {Philippe Cudr{\'{e}}{-}Mauroux and
                  Jeff Heflin and
                  Evren Sirin and
                  Tania Tudorache and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Manfred Hauswirth and
                  Josiane Xavier Parreira and
                  Jim Hendler and
                  Guus Schreiber and
                  Abraham Bernstein and
                  Eva Blomqvist},
  title        = {Using {SPARQL} to Query BioPortal Ontologies and Metadata},
  booktitle    = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
                  Boston, MA, USA, November 11-15, 2012, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7650},
  pages        = {180--195},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35173-0\_12},
  doi          = {10.1007/978-3-642-35173-0\_12},
  timestamp    = {Tue, 07 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/SalvadoresHAFMN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ekaw/2012wodoom,
  editor       = {Patrick Lambrix and
                  Guilin Qi and
                  Matthew Horridge},
  title        = {Proceedings of the First International Workshop on Debugging Ontologies
                  and Ontology Mappings, WoDOOM 2012, Galway, Ireland, October 8, 2012},
  publisher    = {Link{\"{o}}ping Electronic Conference Proceedings},
  year         = {2012},
  url          = {http://www.ida.liu.se/\%7Epatla/conferences/WoDOOM12/},
  timestamp    = {Mon, 30 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ekaw/2012wodoom.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/owled/2012,
  editor       = {Pavel Klinov and
                  Matthew Horridge},
  title        = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
                  Crete, Greece, May 27-28, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {849},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-849},
  urn          = {urn:nbn:de:0074-849-5},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Horridge11,
  author       = {Matthew Horridge},
  title        = {Justification based explanation in ontologies},
  school       = {University of Manchester, {UK}},
  year         = {2011},
  url          = {http://www.manchester.ac.uk/escholar/uk-ac-man-scw:131699},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Horridge11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/WolstencroftOHKMSPG11,
  author       = {Katy Wolstencroft and
                  Stuart Owen and
                  Matthew Horridge and
                  Olga Krebs and
                  Wolfgang M{\"{u}}ller and
                  Jacky L. Snoep and
                  Franco B. du Preez and
                  Carole A. Goble},
  title        = {RightField: embedding ontology annotation in spreadsheets},
  journal      = {Bioinform.},
  volume       = {27},
  number       = {14},
  pages        = {2021--2022},
  year         = {2011},
  url          = {https://doi.org/10.1093/bioinformatics/btr312},
  doi          = {10.1093/BIOINFORMATICS/BTR312},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/WolstencroftOHKMSPG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/HorridgeB11,
  author       = {Matthew Horridge and
                  Sean Bechhofer},
  title        = {The {OWL} {API:} {A} Java {API} for {OWL} ontologies},
  journal      = {Semantic Web},
  volume       = {2},
  number       = {1},
  pages        = {11--21},
  year         = {2011},
  url          = {https://doi.org/10.3233/SW-2011-0025},
  doi          = {10.3233/SW-2011-0025},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/semweb/HorridgeB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorridgeBPS11,
  author       = {Matthew Horridge and
                  Samantha Bail and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Riccardo Rosati and
                  Sebastian Rudolph and
                  Michael Zakharyaschev},
  title        = {The Cognitive Complexity of {OWL} Justifications},
  booktitle    = {Proceedings of the 24th International Workshop on Description Logics
                  {(DL} 2011), Barcelona, Spain, July 13-16, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {745},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-745/paper\_52.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HorridgeBPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbo/JuppHIKOSWS11,
  author       = {Simon Jupp and
                  Matthew Horridge and
                  Luigi Iannone and
                  Julie Klein and
                  Stuart Owen and
                  Joost Schanstra and
                  Katy Wolstencroft and
                  Robert Stevens},
  editor       = {Olivier Bodenreider and
                  Maryann E. Martone and
                  Alan Ruttenberg},
  title        = {Populous: {A} Tool for Populating an Ontology},
  booktitle    = {Proceedings of the 2nd International Conference on Biomedical Ontology,
                  Buffalo, NY, USA, July 26-30, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {833},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-833/paper53.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:24 +0100},
  biburl       = {https://dblp.org/rec/conf/icbo/JuppHIKOSWS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BailHPS11,
  author       = {Samantha Bail and
                  Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Lora Aroyo and
                  Chris Welty and
                  Harith Alani and
                  Jamie Taylor and
                  Abraham Bernstein and
                  Lalana Kagal and
                  Natasha Fridman Noy and
                  Eva Blomqvist},
  title        = {The Justificatory Structure of the {NCBO} BioPortal Ontologies},
  booktitle    = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
                  Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7031},
  pages        = {67--82},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25073-6\_5},
  doi          = {10.1007/978-3-642-25073-6\_5},
  timestamp    = {Tue, 07 Sep 2021 13:47:52 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/BailHPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeBPS11,
  author       = {Matthew Horridge and
                  Samantha Bail and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Lora Aroyo and
                  Chris Welty and
                  Harith Alani and
                  Jamie Taylor and
                  Abraham Bernstein and
                  Lalana Kagal and
                  Natasha Fridman Noy and
                  Eva Blomqvist},
  title        = {The Cognitive Complexity of {OWL} Justifications},
  booktitle    = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
                  Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7031},
  pages        = {241--256},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25073-6\_16},
  doi          = {10.1007/978-3-642-25073-6\_16},
  timestamp    = {Tue, 07 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeBPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorridgePS10,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Volker Haarslev and
                  David Toman and
                  Grant E. Weddell},
  title        = {Justification Masking in {OWL}},
  booktitle    = {Proceedings of the 23rd International Workshop on Description Logics
                  {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {573},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-573/paper\_31.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HorridgePS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HorridgeP10,
  author       = {Matthew Horridge and
                  Bijan Parsia},
  editor       = {Fangzhen Lin and
                  Ulrike Sattler and
                  Miroslaw Truszczynski},
  title        = {From Justifications Towards Proofs for Ontology Engineering},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
                  Canada, May 9-13, 2010},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1263},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/HorridgeP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HastingsDHHSSSHB10,
  author       = {Janna Hastings and
                  Michel Dumontier and
                  Duncan Hull and
                  Matthew Horridge and
                  Christoph Steinbeck and
                  Robert Stevens and
                  Ulrike Sattler and
                  Tertia H{\"{o}}rne and
                  Katarina Britz},
  editor       = {Evren Sirin and
                  Kendall Clark},
  title        = {Representing Chemicals Using OWL, Description Graphs and Rules},
  booktitle    = {Proceedings of the 7th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2010), San Francisco, California, USA, June
                  21-22, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {614},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-614/owled2010\_submission\_13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HastingsDHHSSSHB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS10,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Peter F. Patel{-}Schneider and
                  Yue Pan and
                  Pascal Hitzler and
                  Peter Mika and
                  Lei Zhang and
                  Jeff Z. Pan and
                  Ian Horrocks and
                  Birte Glimm},
  title        = {Justification Oriented Proofs in {OWL}},
  booktitle    = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
                  {ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
                  Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6496},
  pages        = {354--369},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17746-0\_23},
  doi          = {10.1007/978-3-642-17746-0\_23},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgePS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/WolstencroftHOMBSKG10,
  author       = {Katy Wolstencroft and
                  Matthew Horridge and
                  Stuart Owen and
                  Wolfgang M{\"{u}}ller and
                  Finn Bacall and
                  Jacky L. Snoep and
                  Olga Krebs and
                  Carole A. Goble},
  editor       = {Axel Polleres and
                  Huajun Chen},
  title        = {Rightfield: Embedding Ontology Term Selection into Spreadsheets for
                  the Annotation of Biological Data},
  booktitle    = {Proceedings of the {ISWC} 2010 Posters {\&} Demonstrations Track:
                  Collected Abstracts, Shanghai, China, November 9, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {658},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-658/paper499.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:09 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/WolstencroftHOMBSKG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/JuppHIKOSSW10,
  author       = {Simon Jupp and
                  Matthew Horridge and
                  Luigi Iannone and
                  Julie Klein and
                  Stuart Owen and
                  Joost Schanstra and
                  Robert Stevens and
                  Katy Wolstencroft},
  editor       = {Albert Burger and
                  M. Scott Marshall and
                  Paolo Romano and
                  Adrian Paschke and
                  Andrea Splendiani},
  title        = {Populous: {A} Tool for Populating Templates for {OWL} Ontologies},
  booktitle    = {Proceedings of the Workshop on Semantic Web Applications and Tools
                  for Life Sciences, Berlin, Germany, December 10, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {698},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-698/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/JuppHIKOSSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1745,
  author       = {Simon Jupp and
                  Matthew Horridge and
                  Luigi Iannone and
                  Julie Klein and
                  Stuart Owen and
                  Joost Schanstra and
                  Robert Stevens and
                  Katy Wolstencroft},
  title        = {Populous: {A} tool for populating ontology templates},
  journal      = {CoRR},
  volume       = {abs/1012.1745},
  year         = {2010},
  url          = {http://arxiv.org/abs/1012.1745},
  eprinttype    = {arXiv},
  eprint       = {1012.1745},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-1745.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HorridgePS09,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Lemmas for Justifications in {OWL}},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_24.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HorridgePS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GlimmHPP08,
  author       = {Birte Glimm and
                  Matthew Horridge and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider},
  editor       = {Rinke Hoekstra and
                  Peter F. Patel{-}Schneider},
  title        = {A Syntax for Rules in {OWL} 2},
  booktitle    = {Proceedings of the 5th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2009), Chantilly, VA, United States, October
                  23-24, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {529},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-529/owled2009\_submission\_16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/GlimmHPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgeB08,
  author       = {Matthew Horridge and
                  Sean Bechhofer},
  editor       = {Rinke Hoekstra and
                  Peter F. Patel{-}Schneider},
  title        = {The {OWL} {API:} {A} Java {API} for Working with {OWL} 2 Ontologies},
  booktitle    = {Proceedings of the 5th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2009), Chantilly, VA, United States, October
                  23-24, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {529},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-529/owled2009\_submission\_29.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgeB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08b,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Rinke Hoekstra and
                  Peter F. Patel{-}Schneider},
  title        = {From Justifications to Proofs for Entailments in {OWL}},
  booktitle    = {Proceedings of the 5th International Workshop on {OWL:} Experiences
                  and Directions {(OWLED} 2009), Chantilly, VA, United States, October
                  23-24, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {529},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-529/owled2009\_submission\_30.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgePS08b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/HorridgePS09,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Llu{\'{\i}}s Godo and
                  Andrea Pugliese},
  title        = {Explaining Inconsistencies in {OWL} Ontologies},
  booktitle    = {Scalable Uncertainty Management, Third International Conference, {SUM}
                  2009, Washington, DC, USA, September 28-30, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5785},
  pages        = {124--137},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04388-8\_11},
  doi          = {10.1007/978-3-642-04388-8\_11},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/HorridgePS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/RectorHD08,
  author       = {Alan L. Rector and
                  Matthew Horridge and
                  Nick Drummond},
  title        = {Building Modular Ontologies and Specifying Ontology Joining, Binding,
                  Localizing and Programming Interfaces in Ontologies Implemented in
                  {OWL}},
  booktitle    = {Symbiotic Relationships between Semantic Web and Knowledge Engineering,
                  Papers from the 2008 {AAAI} Spring Symposium, Technical Report SS-08-07,
                  Stanford, California, USA, March 26-28, 2008},
  pages        = {69--73},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-07-010.php},
  timestamp    = {Fri, 17 Feb 2012 14:19:28 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/RectorHD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeBPS08,
  author       = {Matthew Horridge and
                  Johannes Bauer and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Catherine Dolbear and
                  Alan Ruttenberg and
                  Ulrike Sattler},
  title        = {Understanding Entailments in {OWL}},
  booktitle    = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
                  Directions, collocated with the 7th International Semantic Web Conference
                  (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {432},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_23.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeBPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeP08,
  author       = {Matthew Horridge and
                  Peter F. Patel{-}Schneider},
  editor       = {Kendall Clark and
                  Peter F. Patel{-}Schneider},
  title        = {Manchester Syntax for {OWL} 1.1},
  booktitle    = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and
                  Directions, Washington, DC, USA, 1-2 April 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {496},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LiebigLNRCWHBTS08,
  author       = {Thorsten Liebig and
                  Marko Luther and
                  Olaf Noppens and
                  Mariano Rodriguez and
                  Diego Calvanese and
                  Michael Wessel and
                  Matthew Horridge and
                  Sean Bechhofer and
                  Dmitry Tsarkov and
                  Evren Sirin},
  editor       = {Catherine Dolbear and
                  Alan Ruttenberg and
                  Ulrike Sattler},
  title        = {OWLlink: {DIG} for {OWL} 2},
  booktitle    = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
                  Directions, collocated with the 7th International Semantic Web Conference
                  (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {432},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_26.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/LiebigLNRCWHBTS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Amit P. Sheth and
                  Steffen Staab and
                  Mike Dean and
                  Massimo Paolucci and
                  Diana Maynard and
                  Timothy W. Finin and
                  Krishnaprasad Thirunarayan},
  title        = {Laconic and Precise Justifications in {OWL}},
  booktitle    = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
                  {ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5318},
  pages        = {323--338},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88564-1\_21},
  doi          = {10.1007/978-3-540-88564-1\_21},
  timestamp    = {Tue, 07 Sep 2021 13:47:52 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgePS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HorridgePS08a,
  author       = {Matthew Horridge and
                  Bijan Parsia and
                  Ulrike Sattler},
  editor       = {Christian Bizer and
                  Anupam Joshi},
  title        = {Explanation of {OWL} Entailments in Protege 4},
  booktitle    = {Proceedings of the Poster and Demonstration Session at the 7th International
                  Semantic Web Conference (ISWC2008), Karlsruhe, Germany, October 28,
                  2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {401},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-401/iswc2008pd\_submission\_47.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:06 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/HorridgePS08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/StevensAWSDHR07,
  author       = {Robert Stevens and
                  Mikel Ega{\~{n}}a Aranguren and
                  Katy Wolstencroft and
                  Ulrike Sattler and
                  Nick Drummond and
                  Matthew Horridge and
                  Alan L. Rector},
  title        = {Using {OWL} to model biological knowledge},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {65},
  number       = {7},
  pages        = {583--594},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ijhcs.2007.03.006},
  doi          = {10.1016/J.IJHCS.2007.03.006},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/StevensAWSDHR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeBN07,
  author       = {Matthew Horridge and
                  Sean Bechhofer and
                  Olaf Noppens},
  editor       = {Christine Golbreich and
                  Aditya Kalyanpur and
                  Bijan Parsia},
  title        = {Igniting the {OWL} 1.1 Touch Paper: The {OWL} {API}},
  booktitle    = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
                  Directions, Innsbruck, Austria, June 6-7, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {258},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-258/paper19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeBN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GolbreichHHMS07,
  author       = {Christine Golbreich and
                  Matthew Horridge and
                  Ian Horrocks and
                  Boris Motik and
                  Robert D. C. Shearer},
  editor       = {Karl Aberer and
                  Key{-}Sun Choi and
                  Natasha Fridman Noy and
                  Dean Allemang and
                  Kyung{-}Il Lee and
                  Lyndon J. B. Nixon and
                  Jennifer Golbeck and
                  Peter Mika and
                  Diana Maynard and
                  Riichiro Mizoguchi and
                  Guus Schreiber and
                  Philippe Cudr{\'{e}}{-}Mauroux},
  title        = {{OBO} and {OWL:} Leveraging Semantic Web Technologies for the Life
                  Sciences},
  booktitle    = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
                  Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
                  November 11-15, 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4825},
  pages        = {169--182},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76298-0\_13},
  doi          = {10.1007/978-3-540-76298-0\_13},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/GolbreichHHMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KalyanpurPHS07,
  author       = {Aditya Kalyanpur and
                  Bijan Parsia and
                  Matthew Horridge and
                  Evren Sirin},
  editor       = {Karl Aberer and
                  Key{-}Sun Choi and
                  Natasha Fridman Noy and
                  Dean Allemang and
                  Kyung{-}Il Lee and
                  Lyndon J. B. Nixon and
                  Jennifer Golbeck and
                  Peter Mika and
                  Diana Maynard and
                  Riichiro Mizoguchi and
                  Guus Schreiber and
                  Philippe Cudr{\'{e}}{-}Mauroux},
  title        = {Finding All Justifications of {OWL} {DL} Entailments},
  booktitle    = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
                  Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
                  November 11-15, 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4825},
  pages        = {267--280},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76298-0\_20},
  doi          = {10.1007/978-3-540-76298-0\_20},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/KalyanpurPHS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/DrummondRSMHWS06,
  author       = {Nick Drummond and
                  Alan L. Rector and
                  Robert Stevens and
                  Georgina Moulton and
                  Matthew Horridge and
                  Hai Wang and
                  Julian Seidenberg},
  editor       = {Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Conor Shankey and
                  Evan Wallace},
  title        = {Putting {OWL} in Order: Patterns for Sequences in {OWL}},
  booktitle    = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
                  Athens, Georgia, USA, November 10-11, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {216},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-216/submission\_12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/DrummondRSMHWS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeDGRSW06,
  author       = {Matthew Horridge and
                  Nick Drummond and
                  John Goodwin and
                  Alan L. Rector and
                  Robert Stevens and
                  Hai Wang},
  editor       = {Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Conor Shankey and
                  Evan Wallace},
  title        = {The Manchester {OWL} Syntax},
  booktitle    = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
                  Athens, Georgia, USA, November 10-11, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {216},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-216/submission\_9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeDGRSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HorridgeT06,
  author       = {Matthew Horridge and
                  Dmitry Tsarkov},
  editor       = {Bernardo Cuenca Grau and
                  Pascal Hitzler and
                  Conor Shankey and
                  Evan Wallace},
  title        = {Supporting Early Adoption of {OWL} 1.1 with Protege-OWL and FaCT++},
  booktitle    = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
                  Athens, Georgia, USA, November 10-11, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {216},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-216/submission\_15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/HorridgeT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KnublauchHMRSDLNSW05,
  author       = {Holger Knublauch and
                  Matthew Horridge and
                  Mark A. Musen and
                  Alan L. Rector and
                  Robert Stevens and
                  Nick Drummond and
                  Phillip W. Lord and
                  Natalya Fridman Noy and
                  Julian Seidenberg and
                  Hai Wang},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Bijan Parsia and
                  Peter F. Patel{-}Schneider},
  title        = {The Protege {OWL} Experience},
  booktitle    = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
                  Galway, Ireland, November 11-12, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {188},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-188/sub14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:02 +0100},
  biburl       = {https://dblp.org/rec/conf/owled/KnublauchHMRSDLNSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/WangHRDS05,
  author       = {Hai Wang and
                  Matthew Horridge and
                  Alan L. Rector and
                  Nick Drummond and
                  Julian Seidenberg},
  editor       = {Yolanda Gil and
                  Enrico Motta and
                  V. Richard Benjamins and
                  Mark A. Musen},
  title        = {Debugging {OWL-DL} Ontologies: {A} Heuristic Approach},
  booktitle    = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
                  {ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3729},
  pages        = {745--757},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11574620\_53},
  doi          = {10.1007/11574620\_53},
  timestamp    = {Tue, 07 Sep 2021 13:47:46 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/WangHRDS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/RectorDHRKSWW04,
  author       = {Alan L. Rector and
                  Nick Drummond and
                  Matthew Horridge and
                  Jeremy Rogers and
                  Holger Knublauch and
                  Robert Stevens and
                  Hai Wang and
                  Chris Wroe},
  editor       = {Enrico Motta and
                  Nigel Shadbolt and
                  Arthur Stutt and
                  Nicholas Gibbins},
  title        = {{OWL} Pizzas: Practical Experience of Teaching {OWL-DL:} Common Errors
                  {\&} Common Patterns},
  booktitle    = {Engineering Knowledge in the Age of the Semantic Web, 14th International
                  Conference, {EKAW} 2004, Whittlebury Hall, UK, October 5-8, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3257},
  pages        = {63--81},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30202-5\_5},
  doi          = {10.1007/978-3-540-30202-5\_5},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ekaw/RectorDHRKSWW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics