Ian Horrocks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
122
Venues
30
Active years
1998–2024
Best venue rank
A*
Where they publish
- A*IJCAI22 papers
- A*AAAI19 papers
- A*WWW14 papers
- A*KR13 papers
- ACADE9 papers
- ACIKM6 papers
- AECAI5 papers
- BTABLEAUX5 papers
- BLPAR3 papers
- A*ICLR2 papers
- A*SIGMOD2 papers
- BEDBT2 papers
- NationalKI2 papers
- BCoopIS2 papers
- A*ACL1 paper
- CWEBIST1 paper
- BILP1 paper
- AMICCAI1 paper
- NationalISVC1 paper
- RegionalNordiCHI1 paper
- BLPNMR1 paper
- CMEDES1 paper
- CKSEM1 paper
- BICTAI1 paper
- ACP1 paper
- CICANN1 paper
- MulticonferenceICCS1 paper
- BICLP1 paper
- BEKAW1 paper
- AustralasianAISC1 paper
Papers
122 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Optimised Storage for Datalog Reasoning. | Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks |
| 2024 | ECAI | Ontology Text Alignment: Aligning Textual Content to Terminological Axioms. | Jieying Chen, Hang Dong, Jiaoyan Chen, Ian Horrocks |
| 2024 | ICLR | Orbit-Equivariant Graph Neural Networks. | Matthew Morris, Bernardo Cuenca Grau, Ian Horrocks |
| 2024 | ICLR | Faithful Rule Extraction for Differentiable Rule Learning Models. | Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |
| 2024 | KR | Relational Graph Convolutional Networks Do Not Learn Sound Rules. | Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |
| 2024 | WWW | Dual Box Embeddings for the Description Logic EL | Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks |
| 2024 | WWW | Taxonomy Completion via Implicit Concept Insertion. | Jingchuan Shi, Hang Dong, Jiaoyan Chen, Zhe Wu, Ian Horrocks |
| 2023 | ACL | Language Model Analysis for Ontology Subsumption Inference. | Yuan He, Jiaoyan Chen, Ernesto Jimnez-Ruiz, Hang Dong, Ian Horrocks |
| 2023 | CIKM | Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. | Hang Dong, Jiaoyan Chen, Yuan He, Ian Horrocks |
| 2023 | CIKM | Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. | Hang Dong, Jiaoyan Chen, Yuan He, Yinan Liu, Ian Horrocks |
| 2023 | IJCAI | Cardinality-Minimal Explanations for Monotonic Neural Networks. | Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks |
| 2023 | IJCAI | Enhancing Datalog Reasoning with Hypertree Decompositions. | Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks |
| 2023 | KR | Revisiting Inferential Benchmarks for Knowledge Graph Completion. | Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks, Egor V. Kostylev |
| 2022 | AAAI | BERTMap: A BERT-Based Ontology Alignment System. | Yuan He, Jiaoyan Chen, Denvar Antonyrajah, Ian Horrocks |
| 2021 | IJCAI | Knowledge-aware Zero-Shot Learning: Survey and Perspective. | Jiaoyan Chen, Yuxia Geng, Zhuo Chen, Ian Horrocks, Jeff Z. Pan, Huajun Chen |
| 2021 | WEBIST | Knowledge Graphs: Theory, Applications and Challenges. | Ian Horrocks |
| 2020 | AAAI | Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks |
| 2020 | WWW | Correcting Knowledge Base Assertions. | Jiaoyan Chen, Xi Chen, Ian Horrocks, Erik B. Myklebust, Ernesto Jimnez-Ruiz |
| 2019 | AAAI | ColNet: Embedding the Semantics of Web Tables for Column Type Prediction. | Jiaoyan Chen, Ernesto Jimnez-Ruiz, Ian Horrocks, Charles Sutton |
| 2019 | AAAI | Modular Materialisation of Datalog Programs. | Pan Hu, Boris Motik, Ian Horrocks |
| 2019 | CIKM | Datalog Reasoning over Compressed RDF Knowledge Bases. | Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks |
| 2019 | IJCAI | Learning Semantic Annotations for Tabular Data. | Jiaoyan Chen, Ernesto Jimnez-Ruiz, Ian Horrocks, Charles Sutton |
| 2019 | IJCAI | Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. | Charalampos Nikolaou, Bernardo Cuenca Grau, Egor V. Kostylev, Mark Kaminski, Ian Horrocks |
| 2019 | SIGMOD | An Efficient Index for RDF Query Containment. | Theofilos Mailis, Yannis Kotidis, Vaggelis Nikolopoulos, Evgeny Kharlamov, Ian Horrocks, Yannis E. Ioannidis |
| 2018 | AAAI | Optimised Maintenance of Datalog Materialisations. | Pan Hu, Boris Motik, Ian Horrocks |
| 2018 | AAAI | Stream Reasoning in Temporal Datalog. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks |
| 2018 | IJCAI | Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. | David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks |
| 2018 | IJCAI | Stratified Negation in Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2018 | ILP | Diagnostics of Trains with Semantic Diagnostics Rules. | Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Gzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks, Thomas A. Runkler |
| 2018 | KR | Knowledge-Based Transfer Learning Explanation. | Jiaoyan Chen, Freddy Lcu, Jeff Z. Pan, Ian Horrocks, Huajun Chen |
| 2018 | KR | The Window Validity Problem in Rule-Based Stream Reasoning. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2017 | AAAI | Trust-Sensitive Evolution of DL-Lite Knowledge Bases. | Dmitriy Zheleznyakov, Evgeny Kharlamov, Ian Horrocks |
| 2017 | CIKM | SemFacet: Making Hard Faceted Search Easier. | Evgeny Kharlamov, Luca Giacomelli, Evgeny Sherkhonov, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks |
| 2017 | CIKM | Semantic Rules for Machine Diagnostics: Execution and Management. | Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Pealoza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks |
| 2017 | CIKM | SemDia: Semantic Rule-Based Equipment Diagnostics Tool. | Gulnar Mehdi, Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Elem Gzel Kalayci, Sebastian Brandt, Ian Horrocks, Mikhail Roshchin, Thomas A. Runkler |
| 2017 | IJCAI | Foundations of Declarative Data Analysis Using Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2017 | IJCAI | The Bag Semantics of Ontology-Based Data Access. | Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2016 | KR | Extending Consequence-Based Reasoning to SRIQ. | Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simanck, Ian Horrocks |
| 2016 | MICCAI | Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans. | Valentina Carapella, Ernesto Jimnez-Ruiz, Elena Lukaschuk, Nay Aung, Kenneth Fung, Jos Miguel Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen E. Petersen, Ian Horrocks, Stefan K. Piechnik |
| 2016 | SIGMOD | Ontology-Based Integration of Streaming and Static Relational Data with Optique. | Evgeny Kharlamov, Sebastian Brandt, Ernesto Jimnez-Ruiz, Yannis Kotidis, Steffen Lamparter, Theofilos Mailis, Christian Neuenstadt, zgr L. zep, Christoph Pinkel, Christoforos Svingos, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Mller |
| 2015 | AAAI | Handling Owl: sameAs via Rewriting. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | AAAI | Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | AAAI | Ontology Module Extraction via Datalog Reasoning. | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks |
| 2015 | IJCAI | The Combined Approach to Query Answering Beyond the OWL 2 Profiles. | Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks |
| 2015 | IJCAI | Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks |
| 2015 | ISVC | Ontology-Based Visual Query Formulation: An Industry Experience. | Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jimnez-Ruiz, Martin Giese, Ian Horrocks |
| 2014 | AAAI | Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu |
| 2014 | AAAI | Pay-As-You-Go OWL Query Answering Using a Triple Store. | Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks |
| 2014 | CADE | Untitled record | David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks |
| 2014 | NordiCHI | Why not simply Google? | Ahmet Soylu, Martin Giese, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks |
| 2013 | AAAI | Introducing Nominals to the Combined Query Answering Approaches for EL. | Giorgio Stefanoni, Boris Motik, Ian Horrocks |
| 2013 | IJCAI | Computing Datalog Rewritings Beyond Horn Ontologies. | Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks |
| 2013 | IJCAI | Computing Stable Models for Nonmonotonic Existential Rules. | Despoina Magka, Markus Krtzsch, Ian Horrocks |
| 2013 | LPNMR | Concrete Results on Abstract Rules. | Markus Krtzsch, Despoina Magka, Ian Horrocks |
| 2013 | MEDES | OptiqueVQS: towards an ontology-based visual query system for big data. | Ahmet Soylu, Martin Giese, Ernesto Jimnez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks |
| 2013 | WWW | Making the most of your triple store: query answering in OWL 2 using an RL reasoner. | Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee |
| 2012 | ECAI | Large-scale Interactive Ontology Matching: Algorithms and Implementation. | Ernesto Jimnez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks |
| 2012 | KR | Acyclicity Conditions and their Application to Query Answering in Description Logics. | Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | WWW | Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. | Boris Motik, Ian Horrocks, Su Myeon Kim |
| 2011 | IJCAI | Consequence-Based Reasoning beyond Horn Ontologies. | Frantisek Simanck, Yevgeny Kazakov, Ian Horrocks |
| 2010 | AAAI | How Incomplete Is Your Semantic Web Reasoner? | Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks |
| 2010 | CADE | Optimized Description Logic Reasoning via Core Blocking. | Birte Glimm, Ian Horrocks, Boris Motik |
| 2010 | CADE | Tractable Extensions of the Description Logic | Despoina Magka, Yevgeny Kazakov, Ian Horrocks |
| 2010 | EDBT | Scalable ontology-based information systems. | Ian Horrocks |
| 2010 | KR | Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. | Chitta Baral, Ian Horrocks, Yoav Shoham |
| 2010 | KSEM | Ontology Languages and Engineering. | Ian Horrocks |
| 2008 | AAAI | Metalevel Information in Ontology-Based Applications. | Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks |
| 2008 | CADE | Individual Reuse in Description Logic Reasoning. | Boris Motik, Ian Horrocks |
| 2008 | ECAI | Privacy-Preserving Query Answering in Logic-based Information Systems. | Bernardo Cuenca Grau, Ian Horrocks |
| 2008 | KR | Unions of Conjunctive Queries in SHOQ. | Birte Glimm, Ian Horrocks, Ulrike Sattler |
| 2008 | KR | Representing Structured Objects using Description Graphs. | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
| 2007 | CADE | Optimized Reasoning in Description Logics Using Hypertableaux. | Boris Motik, Robert D. C. Shearer, Ian Horrocks |
| 2007 | IJCAI | Conjunctive Query Answering for the Description Logic SHIQ. | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
| 2007 | IJCAI | A Logical Framework for Modularity of Ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2007 | ICTAI | Semantic Web: The Story So Far. | Ian Horrocks |
| 2007 | WWW | Just the right amount: extracting modules from ontologies. | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 2007 | WWW | Bridging the gap between OWL and relational databases. | Boris Motik, Ian Horrocks, Ulrike Sattler |
| 2006 | AAAI | Deciding Semantic Matching of Stateless Services. | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens |
| 2006 | CADE | FaCT++ Description Logic Reasoner: System Description. | Dmitry Tsarkov, Ian Horrocks |
| 2006 | KR | The Even More Irresistible SROIQ. | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
| 2006 | WWW | OWL FA: a metamodeling extension of OWL D. | Jeff Z. Pan, Ian Horrocks |
| 2006 | WWW | Position paper: a comparison of two modelling paradigms in the Semantic Web. | Peter F. Patel-Schneider, Ian Horrocks |
| 2005 | CADE | The OWL Instance Store: System Description. | Sean Bechhofer, Ian Horrocks, Daniele Turi |
| 2005 | CP | OWL: A Description Logic Based Ontology Language. | Ian Horrocks |
| 2005 | ICANN | f-SWRL: A Fuzzy Extension of SWRL. | Jeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks |
| 2005 | ICCS | Applications of Description Logics: State of the Art and Research Challenges. | Ian Horrocks |
| 2005 | ICLP | OWL: A Description Logic Based Ontology Language. | Ian Horrocks |
| 2005 | IJCAI | A Tableaux Decision Procedure for SHOIQ. | Ian Horrocks, Ulrike Sattler |
| 2005 | IJCAI | Ordering Heuristics for Description Logic Reasoning. | Dmitry Tsarkov, Ian Horrocks |
| 2005 | KI | Description Logics in Ontology Applications. | Ian Horrocks |
| 2005 | TABLEAUX | Description Logics in Ontology Applications. | Ian Horrocks |
| 2004 | WWW | A proposal for an owl rules language. | Ian Horrocks, Peter F. Patel-Schneider |
| 2003 | IJCAI | Decidability of SHIQ with Complex Role Inclusion Axioms. | Ian Horrocks, Ulrike Sattler |
| 2003 | IJCAI | Keys, Nominals, and Concrete Domains. | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
| 2003 | WWW | Description logic programs: combining logic programs with description logic. | Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker |
| 2003 | WWW | Three theses of representation in the semantic web. | Ian Horrocks, Peter F. Patel-Schneider |
| 2003 | WWW | A software framework for matchmaking based on semantic web technology. | Lei Li, Ian Horrocks |
| 2002 | AAAI | Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. | Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen |
| 2002 | CADE | Reasoning with Expressive Description Logics: Theory and Practice. | Ian Horrocks |
| 2002 | CoopIS | Extending Datatype Support in Web Ontology Reasoning. | Jeff Z. Pan, Ian Horrocks |
| 2002 | CoopIS | Extending Datatype Support in Web Ontology Reasoning. | Jeff Z. Pan, Ian Horrocks |
| 2002 | ECAI | Optimised Reasoning for SHIQ. | Ian Horrocks, Ulrike Sattler |
| 2002 | EDBT | DAML+OIL: A Reason-able Web Ontology Language. | Ian Horrocks |
| 2002 | KR | Evaluating a Modular Abox Algorithm. | Sergio Tessaris, Ian Horrocks, Graham Gough |
| 2002 | LPAR | Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. | Sergio Tessaris, Ian Horrocks |
| 2001 | IJCAI | Ontology Reasoning in the SHOQ(D) Description Logic. | Ian Horrocks, Ulrike Sattler |
| 2001 | IJCAI | Building a Reason-able Bioinformatics Ontology Using OIL. | Robert Stevens, Ian Horrocks, Carole A. Goble, Sean Bechhofer |
| 2001 | KI | OilEd: A Reason-able Ontology Editor for the Semantic Web. | Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens |
| 2001 | WWW | Enabling knowledge representation on the Web by extending RDF schema. | Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks |
| 2000 | AAAI | A Conjunctive Query Language for Description Logic Aboxes. | Ian Horrocks, Sergio Tessaris |
| 2000 | CADE | Reasoning with Individuals for the Description Logic SHIQ. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 2000 | ECAI | Explaining ALC Subsumption. | Alexander Borgida, Enrico Franconi, Ian Horrocks |
| 2000 | EKAW | OIL in a Nutshell. | Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein |
| 2000 | KR | Reasoning with Axioms: Theory and Practice. | Ian Horrocks, Stephan Tobies |
| 2000 | LPAR | How to Decide Query Containment Under Constraints Using a Description Logic. | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |
| 2000 | TABLEAUX | Benchmark Analysis with FaCT. | Ian Horrocks |
| 1999 | LPAR | Practical Reasoning for Expressive Description Logics. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 1999 | TABLEAUX | DLP and FaCT. | Peter F. Patel-Schneider, Ian Horrocks |
| 1998 | AISC | Optimising Propositional Modal Satisfiability for Description Logic Subsumption. | Ian Horrocks, Peter F. Patel-Schneider |
| 1998 | KR | Using an Expressive Description Logic: FaCT or Fiction? | Ian Horrocks |
| 1998 | TABLEAUX | The FaCT System. | Ian Horrocks |
| 1998 | TABLEAUX | FaCT and DLP. | Ian Horrocks, Peter F. Patel-Schneider |