Boris Motik : Publications
-
[1]
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
-
[2]
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