Ian Horrocks : Publications
-
[1]
Foundations of Ontology−Based Data Access under Bag Semantics
Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Artificial Intelligence. 2019.
Details about Foundations of Ontology−Based Data Access under Bag Semantics | BibTeX data for Foundations of Ontology−Based Data Access under Bag Semantics | DOI (10.1016/j.artint.2019.02.003)
-
[2]
Modular Materialisation of Datalog Programs
Pan Hu‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Modular Materialisation of Datalog Programs | BibTeX data for Modular Materialisation of Datalog Programs
-
[3]
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
Jiaoyan Chen‚ Ernesto Jimenez−‐Ruiz‚ Ian Horrocks and Charles Sutton
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about ColNet: Embedding the Semantics of Web Tables for Column Type Prediction | BibTeX data for ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
-
[4]
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
-
[5]
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 571–581. 2018.
Details about The Window Validity Problem in Rule−Based Stream Reasoning | BibTeX data for The Window Validity Problem in Rule−Based Stream Reasoning | Link to The Window Validity Problem in Rule−Based Stream Reasoning
-
[6]
Knowledge−Based Transfer Learning Explanation
Jiaoyan Chen‚ Freddy Lécué‚ Jeff Z. Pan‚ Ian Horrocks and Huajun Chen
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 349–358. 2018.
Details about Knowledge−Based Transfer Learning Explanation | BibTeX data for Knowledge−Based Transfer Learning Explanation
-
[7]
Stream Reasoning in Temporal Datalog
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ (AAAI−18)‚ New Orleans‚ Louisiana‚ USA‚ February 2–7‚ 2018. Pages 1941–1948. 2018.
Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog
-
[8]
Stratified Negation in Limit Datalog Programs
Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks
In Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden.. Pages 1875–1881. 2018.
Details about Stratified Negation in Limit Datalog Programs | BibTeX data for Stratified Negation in Limit Datalog Programs | DOI (10.24963/ijcai.2018/259) | Link to Stratified Negation in Limit Datalog Programs
-
[9]
Optimised Maintenance of Datalog Materialisations
Pan Hu‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.
Details about Optimised Maintenance of Datalog Materialisations | BibTeX data for Optimised Maintenance of Datalog Materialisations | Link to Optimised Maintenance of Datalog Materialisations
-
[10]
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Jérôme Lang, editor, Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden. Pages 1970–1976. ijcai.org. 2018.
Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | DOI (10.24963/ijcai.2018/272) | Link to Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals