Horrocks, Ian

56 publications

NeurIPS 2025 Sound Logical Explanations for Mean Aggregation Graph Neural Networks Matthew Morris, Ian Horrocks

ICLR 2024 Faithful Rule Extraction for Differentiable Rule Learning Models Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

NeurIPS 2024 Language Models as Hierarchy Encoders Yuan He, Zhangdie Yuan, Jiaoyan Chen, Ian Horrocks

AAAI 2024 Optimised Storage for Datalog Reasoning Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

ICLR 2024 Orbit-Equivariant Graph Neural Networks Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2023 Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2023 Enhancing Datalog Reasoning with Hypertree Decompositions Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

AAAI 2022 BERTMap: A BERT-Based Ontology Alignment System Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks

NeurIPS 2021 INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding Shuwen Liu, Bernardo Grau, Ian Horrocks, Egor Kostylev

IJCAI 2021 Knowledge-Aware Zero-Shot Learning: Survey and Perspective Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen

MLJ 2021 OWL2Vec*: Embedding of OWL Ontologies Jiaoyan Chen, Pan Hu, Ernesto Jiménez-Ruiz, Ole Magnus Holter, Denvar Antonyrajah, Ian Horrocks

AAAI 2020 Complexity and Expressive Power of Disjunction and Negation in Limit Datalog Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

AAAI 2019 ColNet: Embedding the Semantics of Web Tables for Column Type Prediction Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton

IJCAI 2019 Learning Semantic Annotations for Tabular Data Jiaoyan Chen, Ernesto Jiménez-Ruiz, Ian Horrocks, Charles Sutton

AAAI 2019 Modular Materialisation of Datalog Programs Pan Hu, Boris Motik, Ian Horrocks

IJCAI 2019 Satisfaction and Implication of Integrity Constraints in Ontology-Based Data Access Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks

IJCAI 2018 Consequence-Based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2018 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks

AAAI 2018 Optimised Maintenance of Datalog Materialisations Pan Hu, Boris Motik, Ian Horrocks

IJCAI 2018 Stratified Negation in Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

AAAI 2018 Stream Reasoning in Temporal Datalog Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

IJCAI 2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

IJCAI 2017 The Bag Semantics of Ontology-Based Data Access Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

AAAI 2017 Trust-Sensitive Evolution of DL-Lite Knowledge Bases Dmitriy Zheleznyakov, Evgeny Kharlamov, Ian Horrocks

JAIR 2016 Module Extraction in Expressive Ontology Languages via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2015 Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

AAAI 2015 Handling Owl: sameAs via Rewriting Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

AAAI 2015 Incremental Update of Datalog Materialisation: The Backward/Forward Algorithm Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

AAAI 2015 Ontology Module Extraction via Datalog Reasoning Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2015 PAGOdA: Pay-as-You-Go Ontology Query Answering Using a Datalog Reasoner Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

IJCAI 2015 The Combined Approach to Query Answering Beyond the OWL 2 Profiles Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks

AAAI 2014 Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

AAAI 2014 Pay-as-You-Go OWL Query Answering Using a Triple Store Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2013 Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

IJCAI 2013 Computing Datalog Rewritings Beyond Horn Ontologies Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

IJCAI 2013 Computing Stable Models for Nonmonotonic Existential Rules Despoina Magka, Markus Krötzsch, Ian Horrocks

AAAI 2013 Introducing Nominals to the Combined Query Answering Approaches for EL Giorgio Stefanoni, Boris Motik, Ian Horrocks

JAIR 2012 Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

IJCAI 2011 Consequence-Based Reasoning Beyond Horn Ontologies Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks

AAAI 2010 How Incomplete Is Your Semantic Web Reasoner? Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2009 Hypertableau Reasoning for Description Logics Boris Motik, Robert D. C. Shearer, Ian Horrocks

JAIR 2008 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

AAAI 2008 Metalevel Information in Ontology-Based Applications Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks

JAIR 2008 Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

IJCAI 2007 A Logical Framework for Modularity of Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

IJCAI 2007 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

JAIR 2007 Reasoning with Very Expressive Fuzzy Description Logics Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks

AAAI 2006 Deciding Semantic Matching of Stateless Services Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens

IJCAI 2005 A Tableaux Decision Procedure for SHOIQ Ian Horrocks, Ulrike Sattler

JAIR 2005 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

IJCAI 2005 Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov, Ian Horrocks

IJCAI 2003 Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks, Ulrike Sattler

IJCAI 2003 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

AAAI 2002 Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen

IJCAI 2001 Ontology Reasoning in the SHOQ(D) Description Logic Ian Horrocks, Ulrike Sattler

AAAI 2000 A Conjunctive Query Language for Description Logic Aboxes Ian Horrocks, Sergio Tessaris