{"id":429973,"date":"2018-06-14T08:24:23","date_gmt":"2018-06-14T08:24:23","guid":{"rendered":"https:\/\/essaypaper.org\/matthew-horridge-phd-thesis-proposal\/"},"modified":"2018-10-24T09:00:38","modified_gmt":"2018-10-24T09:00:38","slug":"matthew-horridge-phd-thesis-proposal","status":"publish","type":"post","link":"https:\/\/www.benedictsol.com\/blogs\/matthew-horridge-phd-thesis-proposal\/","title":{"rendered":"Matthew horridge phd thesis proposal"},"content":{"rendered":"
\n
\n\t\t\t \"Order\n\t\t<\/div>\n
\"Matthew<\/div>\n

Contacting me<\/h2>\n

tel:<\/b> 00 44 (0) 161 275 0667<\/p>\n

Room 2.89
Kilburn Building
School of Computer Science
The University of Manchester
Oxford Road
Manchester
M13 9PL<\/p>\n

I am a PhD student in the School of Computer Science at the University of Manchester, where I am supervised by Bijan Parsia and Uli Sattler. My research is centred around explanation of entailments in OWL ontologies. More specifically, I am currently looking at precise justifications and how justifications can be enhanced in order to provide a basis for making them easier to understand.<\/p>\n

Prior to working in this area, I obtained an undergraduate degree (MEng) in Aerospace Engineering (1997 \u2013 2001) in the School of Engineering at the University of Manchester. I then completed a Masters degree in Computer Science (2002 \u2013 2003). My Masters project, \u201cOntology Visualisation in OilEd\u201d, was supervised by Ian Horrocks. who was largely responsible for introducing me to and inspiring me to work in this area. After completing my Masters degree, I took up a position as a software developer on the CO-ODE project. with Alan Rector, where I developed tools to create and maintain OWL ontologies.<\/p>\n

I also work on and maintain the OWL API. which is a high level API for creating and manipulating OWL ontologies. The API was the first API for dealing with OWL 2 ontologies. While the first version of the API was designed by Sean Bechhofer and Raphael Volz, I am responsible for the latest design and implementation which supports OWL 2<\/p>\n

\"Low<\/div>\n

Publications<\/h2>\n

2010<\/h3>\n

Matthew Horridge. Bijan Parsia and Ulrike Sattler\u201cJustification Oriented Proofs in OWL\u201d<\/i> The 9th International Semantic Web Conference (ISWC 2010), November 2010 Shanghai, China.<\/p>\n

Matthew Horridge.\n<\/p>\n

\"Matthew<\/div>\n

Bijan Parsia. \u201cFrom Justifications towards Proofs for Ontology Engineering\u201d<\/i> 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, Canada.<\/p>\n

Matthew Horridge. Bijan Parsia, Ulrike Sattler. \u201cJustification Masking in OWL\u201d<\/i> 23rd International Workshop on Description Logics (DL 2010), Waterloo, Canada.<\/p>\n

Katy Wolstencroft, Stuart Owen, Matthew Horridge and Carole Goble. RightField: Rich Annotation of Experimental Biology Through Stealth Using Spreadsheets<\/i> Microsoft e-Science 2010, October 2010, San Francisco, California, USA.<\/p>\n

Janna Hastings, Duncan Hull, Matthew Horridge. Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Horne and Katarina Britz Representing chemicals using OWL, Description Graphs and Rules<\/i> OWL Experiences and Directions (OWLED 2010), June 2010, San Francisco, California, USA.<\/p>\n

2009<\/h3>\n

Matthew Horridge. Bijan Parsia, Ulrike Sattler. \u201cFrom Justifications to Proofs for Entailments in OWL\u201d<\/i> OWL Experiences and Directions (OWLED 2009), Washington D.C. USA.<\/p>\n

Matthew Horridge. Sean Bechhofer. \u201cThe OWL API: A Java API for Working with OWL 2 Ontologies\u201d<\/i> OWL Experiences and Directions (OWLED 2009), Washington D.C. USA.<\/p>\n

Birte Glimm, Matthew Horridge. Bijan Parsia, Peter F. Patel-Schneider. \u201cA Syntax for Rules in OWL 2\u201d<\/i> OWL Experiences and Directions (OWLED 2009), Washington D.C. USA.<\/p>\n

Matthew Horridge. Bijan Parsia, Ulrike Sattler. \u201cExplaining Inconsistencies in OWL Ontologies\u201d<\/i> 3rd International Conference on Scalable Uncertainty Management (SUM 2009), Washington D.C.\n<\/p>\n

\"Matthew<\/div>\n

USA.<\/p>\n

Matthew Horridge. Bijan Parsia, Ulrike Sattler. \u201cLemmas for Justifications in OWL\u201d<\/i> 22nd International Workshop on Description Logics (DL 2009), Oxford, England. pdf bib<\/p>\n

Matthew Horridge. Bijan Parsia, Ulrike Sattler. \u201cComputing Explanations for Entailments in Description Logic Based Ontologies<\/i> 16th Automated Reasoning Workshop (ARW 2009), Liverpoool, England. pdf bib<\/p>\n

2008<\/h3>\n

Matthew Horridge<\/b> and Bijan Parsia and Ulrike Sattler (2008). \u201cLaconic and Precise Justifications in OWL.\u201d<\/i> International Semantic Web Conference 2008, Karlsruhe, Germany. (Supported by the TONES Project ) (Winner of the Best Paper award, ISWC 2008 ) pdf bib<\/p>\n

Watch the presentation given at ISWC<\/p>\n

Matthew Horridge and Johannes Bauer and Bijan Parsia and Ulrike Sattler. \u201cUnderstanding Entailments in OWL\u201d<\/i>. OWL: Experiences and Directions (OWLED 08 EU), Karlsruhe, Germany.(Supported by the TONES Project )<\/p>\n

Alan Rector, Matthew Horridge. Luigi Iannone Iannone and Nick Drummond. \u201cUse Cases for Building OWL Ontologies as Modules: Localizing, Ontology and Programming Interfaces Extensions\u201d<\/i>. 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2008), Karlsruhe, Germany.<\/p>\n

Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge. Sean Bechhofer, Dmitry Tsarkov and Evren Sirin. \u201cOWLlink: DIG for OWL 2\u201d<\/i>. OWL: Experiences and Directions (OWLED 08 EU), Karlsruhe, Germany.<\/p>\n

Matthew Horridge and Peter F. Patel-Schneider. \u201cManchester OWL Syntax for OWL 1.1\u201d<\/i> OWL: Experiences and Directions (OWLED 08 DC), Gaithersberg, Maryland.<\/p>\n

2007<\/h3>\n

R. Stevens, M. E. Aranguren, K. Wolstencroft, U. Sattler, N. Drummond, Matthew Horridge<\/b> and A. Rector (2007). \u201cUsing owl to model biological knowledge.\u201d<\/i> International Journal of Human Computer Studies 65(7): 583-594.<\/p>\n

Matthew Horridge<\/b> and Sean Bechhofer and Olaf Noppens (2007). \u201cIgniting the OWL 1.1 Touch Paper: The OWL API\u201d<\/i> OWL: Experiences and Directions (OWLED 07), Innsbruck, Austria<\/p>\n

Aditya Kalyanpur, Bijan Parsia, MatthewHorridge<\/b>. Evren Sirin. \u201cFinding all Justifications of OWL DL Entailments\u201d.<\/i> International Semantic Web Conference 2007, Busan Korea<\/p>\n

Christine Golbreich, Matthew Horridge<\/b>. Ian Horrocks, Boris Motik, Rob Shearer \u201cOBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences\u201d.<\/i> International Semantic Web Conference 2007, Busan Korea<\/p>\n

2006<\/h3>\n

Matthew Horridge<\/b> and Dmitry Tsarkov and Timothy Redmond. Supporting Early Adoption of OWL 1.1 with Protege-OWL and FaCT++.<\/i> OWL: Experiences and Directions (OWLED 06), Athens, Georgia,<\/p>\n

Matthew Horridge<\/b>. Nicholas Drummond, John Goodwin, Alan Rector, Robert Stevens and Hai Wang (2006). The Manchester OWL syntax.<\/i> OWL: Experiences and Directions (OWLED 06), Athens, Georgia, CEUR<\/p>\n

Nicholas Drummond, Alan Rector, Robert Stevens, Georgina Moulton, Matthew Horridge<\/b>. Hai Wang and Julian Sedenberg (2006). Putting OWL in Order: Paterns for sequences in OWL.<\/i> OWL Experexperiences and Directions (OWLEd 2006), Athens Georgia<\/p>\n

2005<\/h3>\n

Knublauch, H. M. Horridge<\/b>. M. Musen, A. Rector, R. Stevens, N. Drummond, P. Lord, N. F. Noy, J. Seidenberg and H. Wang (2005). The Protege OWL experience.<\/i> OWL Experiences and Directions (OWLEd 2005), Galway, Ireland<\/p>\n

Wang, H. M. Horridge<\/b>. A. L. Rector, N. Drummond and J. Seidenberg (2005). Debugging OWL-DL Ontologies: A heuristic approach.<\/i> 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, Springer LNCS 3729: 745-757.<\/p>\n

2004<\/h3>\n

M. Horridge<\/b>. M. H. Knublauch, A. Rector, R. Stevens and C. Wroe (2004). A practical guide to building OWL ontologies using the Protege-OWL plugin and CO-ODE tools.<\/i> University of Manchester, CO-ODE project<\/p>\n

Rector, A. N. Drummond, M. Horridge<\/b>. H. Knublauch, J. Rogers, R. Stevens, H. Wang and C. Wroe (2004). Designing User interfaces to Minimise Common Errors in Ontology Development: The CO-ODE and HyOntUse Projects.<\/i> UK E-Science All Hands Meeting 2004, Nottingham: (in press).<\/p>\n

Rector, A. N. Drummond, M. Horridge<\/b>. J. Rogers, H. Knublauch, R. Stevens, H. Wang and C. Wroe (2004). OWL Pizzas: Common errors & common patterns from practical experience of teaching OWL-DL.<\/i> European Knowledge Acquisition Workshop (EKAW-2004), Northampton, England, Springer Verlag: 63-81.<\/p>\n

2003<\/h3>\n

Matthew Horridge.<\/b>Ontology Visualisation in OilEd<\/i> Masters Thesis, The University of Manchester.<\/p>\n<\/p><\/div>\n","protected":false},"excerpt":{"rendered":"

Contacting me tel: 00 44 (0) 161 275 0667 Room 2.89Kilburn BuildingSchool of Computer ScienceThe University of ManchesterOxford RoadManchesterM13 9PL I am a PhD student in the School of Computer Science at the University of Manchester, where I am supervised Read More …<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15,36],"tags":[],"class_list":["post-429973","post","type-post","status-publish","format-standard","hentry","category-essay-paper-writing","category-proposal"],"_links":{"self":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/429973","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/comments?post=429973"}],"version-history":[{"count":0,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/posts\/429973\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/media?parent=429973"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/categories?post=429973"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.benedictsol.com\/blogs\/wp-json\/wp\/v2\/tags?post=429973"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}