Andrew Bate
Andrew Bate
Interests
My research interests include knowledge representation and reasoning, ontologies, automated reasoning, the implementation and optimisation of semantic reasoning systems, and applications including the Semantic Web. I am also interested in concurrent programming languages, and in particular the implementation of CSP-based languages.
Please visit my personal website for more information.
Biography
I am member of the Knowledge Representation and Reasoning group.
I am the developer of the Sequoia reasoner. For the latest release of Sequoia, please visit the GitHub repository.
I read Computer Science at University College, Oxford and received an MCompSci in Computer Science in 2012. From 2012, I was a research student under the supervision of Professor Ian Horrocks, Professor Bernardo Cuenca Grau and Professor Boris Motik. During my DPhil I was a student at Pembroke College, Oxford, and a Non-Stipendiary College Lecturer in Computer Science at St Catherine's College, Oxford. I completed my DPhil in early 2017.
Awards
- Best Student Paper Prize for my publication Scalable Performance for Scala Message-Passing Concurrency.
Contact
My email address is cs@andrewbate.com.
Selected Publications
-
Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ David Tena Cucala‚ Frantisek Simancik and Ian Horrocks
In J. Artif. Intell. Res.. Vol. 63. Pages 625–690. 2018.
Details about Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | BibTeX data for Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | DOI (10.1613/jair.1.11257) | Link to Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions
-
Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
arXiv:1602.04498 [cs.AI]. February, 2016.
Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Link to Extending Consequence−Based Reasoning to SRIQ
-
Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks
In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.
Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Download paper.pdf of Extending Consequence−Based Reasoning to SRIQ | Download slides.pdf of Extending Consequence−Based Reasoning to SRIQ