← Authors

Ian Horrocks

23 papers · 2013–2024 · 5 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (5) πŸ—ΊοΈ Taxonomy Completionist (35) πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌈 Renaissance Researcher (9) 🌍 Conference Polyglot (5) πŸƒ Academic Marathon (11) 🀝 Dynamic Duo (11) πŸ”₯ Unstoppable (8) πŸ’Ž Century Club (23) πŸ“ˆ Trend Setter πŸš€ Conference Pioneer πŸ—ƒοΈ Keyword Collector (93)

Conferences

IJCAI (13) AAAI (5) ICLR (2) NIPS (2) ACL (1)

Top co-authors

Bernardo Cuenca Grau (11) Jiaoyan Chen (6) Egor V. Kostylev (5) Mark Kaminski (5) Boris Motik (5) Yavor Nenov (3) Pan Hu (3) Ernesto JimΓ©nez-Ruiz (3) Yuan He (3) Xinyue Zhang (2)

Keywords

logic programming (3) knowledge base (3) language model (2) column type prediction (2) data complexity (2) knowledge representation (2) query answering (2) semantic embedding (2) datalog reasoning (2) ontology-based data access (2) computational complexity (2) description logic (2) complexity analysis (1) ontology alignment (1) constraint satisfaction (1) semantic matching (1) entity linking (1) link prediction (1) convolutional neural network (1) natural language inference (1)

Papers

Orbit-Equivariant Graph Neural Networks ICLR 2024
Language Models as Hierarchy Encoders NIPS 2024
Faithful Rule Extraction for Differentiable Rule Learning Models ICLR 2024
Optimised Storage for Datalog Reasoning AAAI 2024
Language Model Analysis for Ontology Subsumption Inference ACL 2023
Cardinality-Minimal Explanations for Monotonic Neural Networks IJCAI 2023
Enhancing Datalog Reasoning with Hypertree Decompositions IJCAI 2023
BERTMap: A BERT-Based Ontology Alignment System AAAI 2022
INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding NIPS 2021
Knowledge-aware Zero-Shot Learning: Survey and Perspective IJCAI 2021
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019
Modular Materialisation of Datalog Programs AAAI 2019
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction AAAI 2019
Learning Semantic Annotations for Tabular Data IJCAI 2019
Stratified Negation in Limit Datalog Programs IJCAI 2018
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018
The Bag Semantics of Ontology-Based Data Access IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality IJCAI 2015
The Combined Approach to Query Answering Beyond the OWL 2 Profiles IJCAI 2015
Computing Stable Models for Nonmonotonic Existential Rules IJCAI 2013
Computing Datalog Rewritings Beyond Horn Ontologies IJCAI 2013