Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
OWL2Vec*: Embedding of OWL Ontologies

Sep 30, 2020
Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks


  Access Paper or Ask Questions

Correcting Knowledge Base Assertions

Jan 19, 2020
Jiaoyan Chen, Xi Chen, Ian Horrocks, Ernesto Jimenez-Ruiz, Erik B. Myklebus

* Accepted by The Web Conference (WWW) 2020 

  Access Paper or Ask Questions

Datalog Reasoning over Compressed RDF Knowledge Bases

Aug 29, 2019
Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks

* CIKM 2019 

  Access Paper or Ask Questions

Canonicalizing Knowledge Base Literals

Jun 26, 2019
Jiaoyan Chen, Ernesto Jimenez-Ruiz, Ian Horrocks

* International Semantic Web Conference (ISWC) 2019 

  Access Paper or Ask Questions

Learning Semantic Annotations for Tabular Data

May 30, 2019
Jiaoyan Chen, Ernesto Jimenez-Ruiz, Ian Horrocks, Charles Sutton

* IJCAI 2019 
* 7 pages 

  Access Paper or Ask Questions

Modular Materialisation of Datalog Programs

Nov 13, 2018
Pan Hu, Boris Motik, Ian Horrocks

* Accepted at AAAI 2019 

  Access Paper or Ask Questions

ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

Nov 04, 2018
Jiaoyan Chen, Ernesto Jimenez-Ruiz, Ian Horrocks, Charles Sutton

* AAAI 2019 

  Access Paper or Ask Questions

The Window Validity Problem in Rule-Based Stream Reasoning

Aug 07, 2018
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks


  Access Paper or Ask Questions

Knowledge-based Transfer Learning Explanation

Jul 22, 2018
Jiaoyan Chen, Freddy Lecue, Jeff Z. Pan, Ian Horrocks, Huajun Chen

* Accepted by International Conference on Principles of Knowledge Representation and Reasoning, 2018 

  Access Paper or Ask Questions

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals

May 03, 2018
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks


  Access Paper or Ask Questions

Stratified Negation in Limit Datalog Programs

Apr 25, 2018
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

* 14 pages; full version of a paper accepted at IJCAI-18 

  Access Paper or Ask Questions

Optimised Maintenance of Datalog Materialisations

Nov 20, 2017
Pan Hu, Boris Motik, Ian Horrocks

* AAAI 2018 

  Access Paper or Ask Questions

Foundations of Declarative Data Analysis Using Limit Datalog Programs

Nov 12, 2017
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

* 23 pages; full version of a paper accepted at IJCAI-17; v2 fixes some typos and improves the acknowledgments 

  Access Paper or Ask Questions

Stream Reasoning in Temporal Datalog

Nov 10, 2017
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks


  Access Paper or Ask Questions

The Bag Semantics of Ontology-Based Data Access

May 19, 2017
Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks


  Access Paper or Ask Questions

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version)

Aug 15, 2016
Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, √Ėzg√ľr √Ėzcep, Christoforos Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis Ioannidis, Steffen Lamparter, Ralf M√∂ller


  Access Paper or Ask Questions

Extending Consequence-Based Reasoning to SRIQ

Feb 23, 2016
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, FrantiŇ°ek Simanńć√≠k, Ian Horrocks


  Access Paper or Ask Questions

Ontology Module Extraction via Datalog Reasoning

Nov 20, 2014
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

* 13 pages. To appear in AAAI-15 

  Access Paper or Ask Questions

Handling owl:sameAs via Rewriting

Nov 13, 2014
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

* This is the technical report supporting the AAAI 2015 Conference submission with the same title 

  Access Paper or Ask Questions

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Feb 04, 2014
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

* Journal Of Artificial Intelligence Research, Volume 47, pages 741-808, 2013 

  Access Paper or Ask Questions

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

Jan 18, 2014
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

* Journal Of Artificial Intelligence Research, Volume 43, pages 419-476, 2012 

  Access Paper or Ask Questions

Hypertableau Reasoning for Description Logics

Jan 15, 2014
Boris Motik, Rob Shearer, Ian Horrocks

* Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009 

  Access Paper or Ask Questions

A Description Logic Primer

Jun 03, 2013
Markus Krötzsch, Frantisek Simancik, Ian Horrocks


  Access Paper or Ask Questions

Computing Datalog Rewritings beyond Horn Ontologies

Apr 08, 2013
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

* 14 pages. To appear at IJCAI 2013 

  Access Paper or Ask Questions

Introducing Nominals to the Combined Query Answering Approaches for EL

Apr 01, 2013
Giorgio Stefanoni, Boris Motik, Ian Horrocks

* Extended version of a paper to appear on AAAI-13 

  Access Paper or Ask Questions

Conjunctive Query Answering for the Description Logic SHIQ

Oct 31, 2011
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

* Journal Of Artificial Intelligence Research, Volume 31, pages 157-204, 2008 

  Access Paper or Ask Questions

Practical Reasoning for Expressive Description Logics

May 10, 2000
Ian Horrocks, Ulrike Sattler, Stephan Tobies

* This paper appeared in the Proceedings of LPAR'99 

  Access Paper or Ask Questions

Practical Reasoning for Very Expressive Description Logics

May 09, 2000
Ian Horrocks, Ulrike Sattler, Stephan Tobies

* Logic Journal of the IGPL 8(3):239-264, May 2000 

  Access Paper or Ask Questions

Reasoning with Axioms: Theory and Pratice

May 09, 2000
Ian Horrocks, Stephan Tobies

* This paper appeard in the Proceedings of KR'2000 

  Access Paper or Ask Questions