Andrew Bate : Publications
-
[1]
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
-
[2]
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
-
[3]
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
-
[4]
Consequence−Based Reasoning for SRIQ Ontologies
Andrew Bate
PhD Thesis University of Oxford. 2016.
Details about Consequence−Based Reasoning for SRIQ Ontologies | BibTeX data for Consequence−Based Reasoning for SRIQ Ontologies | Link to Consequence−Based Reasoning for SRIQ Ontologies
-
[5]
Extending Consequence−Based Reasoning to SHIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2015.
Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download (pdf) of Extending Consequence−Based Reasoning to SHIQ
-
[6]
Extending Consequence−Based Reasoning to SHIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks
Department of Computer Science‚ University of Oxford. June, 2015.
Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download (pdf) of Extending Consequence−Based Reasoning to SHIQ
-
[7]
Scalable Performance for Scala Message−Passing Concurrency
Andrew Bate
In Peter H. Welch‚ Frederick R. M. Barnes‚ Jan F. Broenink‚ Kevin Chalmers‚ Jan Bækgaard Pedersen and Adam T. Sampson, editors, Communicating Process Architectures 2013. Pages 113–132. November, 2013.
Details about Scalable Performance for Scala Message−Passing Concurrency | BibTeX data for Scalable Performance for Scala Message−Passing Concurrency | Download Bate13.pdf of Scalable Performance for Scala Message−Passing Concurrency | Download Bate13-slides.pdf of Scalable Performance for Scala Message−Passing Concurrency
-
[8]
Consequence−Based Reasoning for SHIQ
František Simančík and Andrew Bate
University of Oxford. 2013.
Details about Consequence−Based Reasoning for SHIQ | BibTeX data for Consequence−Based Reasoning for SHIQ | Download (pdf) of Consequence−Based Reasoning for SHIQ
-
[9]
A Debugger for Communicating Scala Objects
Andrew Bate and Gavin Lowe
In Peter H. Welch‚ Frederick R. M. Barnes‚ Kevin Chalmers‚ Jan Bækgaard Pedersen and Adam T. Sampson, editors, Communicating Process Architectures 2012. Pages 135–154. August, 2012.
Details about A Debugger for Communicating Scala Objects | BibTeX data for A Debugger for Communicating Scala Objects | Download (pdf) of A Debugger for Communicating Scala Objects
-
[10]
Query Answering via Query Rewriting
Andrew Bate
Master's Thesis University of Oxford. 2012.
Details about Query Answering via Query Rewriting | BibTeX data for Query Answering via Query Rewriting