Ian Horrocks 0001
151 publications
19 venues
h-Index 54
Google's h-Index 95
Affiliation
University of Oxford, UKLinks
DBLPGoogle Scholar
ORCID- http://www.comlab.ox.ac.uk/ian.horrocks/
- https://dl.acm.org/profile/81100468025
- https://mathgenealogy.org/id.php?id=184835
- https://en.wikipedia.org/wiki/Ian_Horrocks
- https://www.wikidata.org/entity/Q5981834
- https://www.researcherid.com/rid/A-8092-2008
- https://www.scopus.com/authid/detail.uri?authorId=20734105100
- http://isni.org/isni/0000000034056177
- https://viaf.org/viaf/61840632
- https://id.loc.gov/authorities/names/n2002010754
- https://d-nb.info/gnd/1136289895
Additional Information
Achievements
2023 - Research.com Computer Science in United Kingdom Leader Award2012 - Member of Academia Europaea
2011 - Fellow of the Royal Society, United Kingdom
Google Citations
46052| Name | Venue | Year | citations |
|---|---|---|---|
Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking.
|
CIKM | 2023 | 0 |
| Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement.
|
CIKM | 2023 | 0 |
| Cardinality-Minimal Explanations for Monotonic Neural Networks.
|
IJCAI | 2023 | 0 |
| Enhancing Datalog Reasoning with Hypertree Decompositions.
|
IJCAI | 2023 | 0 |
| Revisiting Inferential Benchmarks for Knowledge Graph Completion.
|
KR | 2023 | 0 |
| Subsumption Prediction for E-Commerce Taxonomies.
|
ESWC | 2023 | 0 |
| The Dow Jones Knowledge Graph.
|
ESWC | 2022 | 0 |
| The delay and window size problems in rule-based stream reasoning.
|
Artificial Intelligence | 2022 | 3 |
| Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.
|
ISWC | 2022 | 4 |
| BERTMap: A BERT-Based Ontology Alignment System.
|
AAAI | 2022 | 0 |
| Modular materialisation of Datalog programs.
|
Artificial Intelligence | 2022 | 0 |
| INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.
|
NIPS/NeurIPS | 2021 | 19 |
| Pay-as-you-go consequence-based reasoning for the description logic SROIQ.
|
Artificial Intelligence | 2021 | 3 |
| Streaming Partitioning of RDF Graphs for Datalog Reasoning.
|
ESWC | 2021 | 3 |
| Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision.
|
ESWC | 2021 | 23 |
| Knowledge-aware Zero-Shot Learning: Survey and Perspective.
|
IJCAI | 2021 | 33 |
| Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA.
|
ISWC | 2021 | 0 |
| Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy.
|
ISWC | 2021 | 0 |
| OWL2Vec*: embedding of OWL ontologies.
|
MLJ | 2021 | 0 |
| Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.
|
AAAI | 2020 | 4 |
| Correcting Knowledge Base Assertions.
|
WWW | 2020 | 18 |
| Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange.
|
ISWC | 2019 | 2 |
| Datalog Reasoning over Compressed RDF Knowledge Bases.
|
CIKM | 2019 | 1 |
| Bag Semantics of DL-Lite with Functionality Axioms.
|
ISWC | 2019 | 3 |
| Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
|
IJCAI | 2019 | 6 |
| Canonicalizing Knowledge Base Literals.
|
ISWC | 2019 | 8 |
| Query-Based Entity Comparison in Knowledge Graphs Revisited.
|
ISWC | 2019 | 6 |
| Learning Semantic Annotations for Tabular Data.
|
IJCAI | 2019 | 33 |
| Maintenance of datalog materialisations revisited.
|
Artificial Intelligence | 2019 | 19 |
| Foundations of ontology-based data access under bag semantics.
|
Artificial Intelligence | 2019 | 18 |
| Modular Materialisation of Datalog Programs.
|
AAAI | 2019 | 0 |
| ColNet: Embedding the Semantics of Web Tables for Column Type Prediction.
|
AAAI | 2019 | 0 |
| Stratified Negation in Limit Datalog Programs.
|
IJCAI | 2018 | 7 |
| Event-Enhanced Learning for KG Completion.
|
ESWC | 2018 | 19 |
| Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
|
JAIR | 2018 | 10 |
| Knowledge-Based Transfer Learning Explanation.
|
KR | 2018 | 31 |
| The Window Validity Problem in Rule-Based Stream Reasoning.
|
KR | 2018 | 7 |
| Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
|
IJCAI | 2018 | 11 |
| Diagnostics of Trains with Semantic Diagnostics Rules.
|
ILP | 2018 | 6 |
| Stream Reasoning in Temporal Datalog.
|
AAAI | 2018 | 0 |
| Optimised Maintenance of Datalog Materialisations.
|
AAAI | 2018 | 0 |
| Semantic Rules for Machine Diagnostics: Execution and Management.
|
CIKM | 2017 | 12 |
| SemDia: Semantic Rule-Based Equipment Diagnostics Tool.
|
CIKM | 2017 | 13 |
| Entity Comparison in RDF Graphs.
|
ISWC | 2017 | 17 |
| Trust-Sensitive Evolution of DL-Lite Knowledge Bases.
|
AAAI | 2017 | 6 |
| The Bag Semantics of Ontology-Based Data Access.
|
IJCAI | 2017 | 15 |
| SemFacet: Making Hard Faceted Search Easier.
|
CIKM | 2017 | 19 |
| Foundations of Declarative Data Analysis Using Limit Datalog Programs.
|
IJCAI | 2017 | 16 |
| Semantic Rule-Based Equipment Diagnostics.
|
ISWC | 2017 | 21 |
| Distributed RDF Query Answering with Dynamic Data Exchange.
|
ISWC | 2016 | 25 |
| Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
|
JAIR | 2016 | 39 |
| Capturing Industrial Information Models with Ontologies and Constraints.
|
ISWC | 2016 | 62 |
| Towards Analytics Aware Ontology Based Access to Static and Streaming Data.
|
ISWC | 2016 | 35 |
| Semantic Technologies for Data Analysis in Health Care.
|
ISWC | 2016 | 20 |
| Extending Consequence-Based Reasoning to SRIQ.
|
KR | 2016 | 0 |
| Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
|
AAAI | 2015 | 71 |
| Ontology Based Access to Exploration Data at Statoil.
|
ISWC | 2015 | 83 |
| RDFox: A Highly-Scalable RDF Store.
|
ISWC | 2015 | 153 |
| BootOX: Practical Mapping of RDBs to OWL 2.
|
ISWC | 2015 | 100 |
| Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
|
IJCAI | 2015 | 14 |
| The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
|
IJCAI | 2015 | 14 |
| Ontology Module Extraction via Datalog Reasoning.
|
AAAI | 2015 | 0 |
| Handling Owl: sameAs via Rewriting.
|
AAAI | 2015 | 0 |
| PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
|
JAIR | 2015 | 0 |
| Pushing the Boundaries of Tractable Ontology Reasoning.
|
ISWC | 2014 | 13 |
| Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
|
AAAI | 2014 | 147 |
| Pay-As-You-Go OWL Query Answering Using a Triple Store.
|
AAAI | 2014 | 31 |
| Consequence-based and fixed-parameter tractable reasoning in description logics.
|
Artificial Intelligence | 2014 | 29 |
| Making the most of your triple store: query answering in OWL 2 using an RL reasoner.
|
WWW | 2013 | 39 |
| The Energy Management Adviser at EDF.
|
ISWC | 2013 | 18 |
| Computing Stable Models for Nonmonotonic Existential Rules.
|
IJCAI | 2013 | 38 |
| Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
|
JAIR | 2013 | 118 |
| Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data.
|
ISWC | 2013 | 52 |
| Complete Query Answering over Horn Ontologies Using a Triple Store.
|
ISWC | 2013 | 19 |
| Computing Datalog Rewritings Beyond Horn Ontologies.
|
IJCAI | 2013 | 33 |
| Introducing Nominals to the Combined Query Answering Approaches for EL.
|
AAAI | 2013 | 36 |
| MORe: Modular Combination of OWL Reasoners for Ontology Classification.
|
ISWC | 2012 | 92 |
| Large-scale Interactive Ontology Matching: Algorithms and Implementation.
|
ECAI | 2012 | 159 |
| Modelling Structured Domains Using Description Graphs and Logic Programming.
|
ESWC | 2012 | 28 |
| Acyclicity Conditions and their Application to Query Answering in Description Logics.
|
KR | 2012 | 34 |
| Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
|
JAIR | 2012 | 0 |
| SPARQL Query Answering over OWL Ontologies.
|
ESWC | 2011 | 122 |
| Consequence-Based Reasoning beyond Horn Ontologies.
|
IJCAI | 2011 | 117 |
| Repairing Ontologies for Incomplete Reasoners.
|
ISWC | 2011 | 16 |
| Optimising Ontology Classification.
|
ISWC | 2010 | 43 |
| Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
|
KR | 2010 | 0 |
| Completeness Guarantees for Incomplete Reasoners.
|
ISWC | 2010 | 6 |
| How Incomplete Is Your Semantic Web Reasoner?
|
AAAI | 2010 | 41 |
| Efficient Query Answering for OWL 2.
|
ISWC | 2009 | 115 |
| Representing ontologies using description logics, description graphs, and rules.
|
Artificial Intelligence | 2009 | 69 |
| Hypertableau Reasoning for Description Logics.
|
JAIR | 2009 | 455 |
| Exploiting Partial Information in Taxonomy Construction.
|
ISWC | 2009 | 28 |
| Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
|
ESWC | 2009 | 140 |
| Metalevel Information in Ontology-Based Applications.
|
AAAI | 2008 | 29 |
| OWL Datatypes: Design and Implementation.
|
ISWC | 2008 | 53 |
| Representing Structured Objects using Description Graphs.
|
KR | 2008 | 25 |
| Modular Reuse of Ontologies: Theory and Practice.
|
JAIR | 2008 | 436 |
| Unions of Conjunctive Queries in SHOQ.
|
KR | 2008 | 43 |
| Privacy-Preserving Query Answering in Logic-based Information Systems.
|
ECAI | 2008 | 32 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
JAIR | 2008 | 0 |
| Just the right amount: extracting modules from ontologies.
|
WWW | 2007 | 267 |
| Conjunctive Query Answering for the Description Logic SHIQ.
|
IJCAI | 2007 | 308 |
| Optimized Reasoning in Description Logics Using Hypertableaux.
|
CADE | 2007 | 164 |
| Bridging the gap between OWL and relational databases.
|
WWW | 2007 | 294 |
| Reasoning with Very Expressive Fuzzy Description Logics.
|
JAIR | 2007 | 185 |
| A Logical Framework for Modularity of Ontologies.
|
IJCAI | 2007 | 168 |
| OWL FA: a metamodeling extension of OWL D.
|
WWW | 2006 | 81 |
| Position paper: a comparison of two modelling paradigms in the Semantic Web.
|
WWW | 2006 | 57 |
| Deciding Semantic Matching of Stateless Services.
|
AAAI | 2006 | 64 |
| Can OWL and Logic Programming Live Together Happily Ever After?
|
ISWC | 2006 | 148 |
| The Even More Irresistible SROIQ.
|
KR | 2006 | 1065 |
| Framework for an Automated Comparison of Description Logic Reasoners.
|
ISWC | 2006 | 65 |
| Ordering Heuristics for Description Logic Reasoning.
|
IJCAI | 2005 | 42 |
| Description Logics in Ontology Applications.
|
TABLEAUX | 2005 | 36 |
| A Little Semantic Web Goes a Long Way in Biology.
|
ISWC | 2005 | 72 |
| f-SWRL: A Fuzzy Extension of SWRL.
|
ICANN | 2005 | 106 |
| OWL-Eu: Adding Customised Datatypes into OWL.
|
ESWC | 2005 | 82 |
| A Tableaux Decision Procedure for SHOIQ.
|
IJCAI | 2005 | 462 |
| OWL: A Description Logic Based Ontology Language.
|
CP | 2005 | 123 |
| The OWL Instance Store: System Description.
|
CADE | 2005 | 72 |
| OWL: A Description Logic Based Ontology Language.
|
ICLP | 2005 | 0 |
| Keys, Nominals, and Concrete Domains.
|
JAIR | 2005 | 0 |
| Using Vampire to Reason with OWL.
|
ISWC | 2004 | 88 |
| A proposal for an owl rules language.
|
WWW | 2004 | 377 |
| Decidability of SHIQ with complex role inclusion axioms.
|
Artificial Intelligence | 2004 | 0 |
| Web Ontology Reasoning with Datatype Groups.
|
ISWC | 2003 | 45 |
| RDFS(FA) and RDF MT: Two Semantics for RDFS.
|
ISWC | 2003 | 72 |
| A software framework for matchmaking based on semantic web technology.
|
WWW | 2003 | 1063 |
| Three theses of representation in the semantic web.
|
WWW | 2003 | 116 |
| A Semantic Infosphere.
|
ISWC | 2003 | 35 |
| Decidability of SHIQ with Complex Role Inclusion Axioms.
|
IJCAI | 2003 | 198 |
| Description logic programs: combining logic programs with description logic.
|
WWW | 2003 | 1153 |
| Keys, Nominals, and Concrete Domains.
|
IJCAI | 2003 | 110 |
| Reducing OWL Entailment to Description Logic Satisfiability.
|
ISWC | 2003 | 0 |
| Evaluating a Modular Abox Algorithm.
|
KR | 2002 | 5 |
| Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.
|
LPAR | 2002 | 7 |
| Reasoning with Expressive Description Logics: Theory and Practice.
|
CADE | 2002 | 69 |
| Optimised Reasoning for SHIQ.
|
ECAI | 2002 | 83 |
| Querying the Semantic Web: A Formal Approach.
|
ISWC | 2002 | 171 |
| Enabling knowledge representation on the Web by extending RDF schema.
|
WWW | 2001 | 198 |
| Ontology Reasoning in the SHOQ(D) Description Logic.
|
IJCAI | 2001 | 404 |
| Reasoning with Individuals for the Description Logic SHIQ.
|
CADE | 2000 | 325 |
| How to Decide Query Containment Under Constraints Using a Description Logic.
|
LPAR | 2000 | 107 |
| Explaining ALC Subsumption.
|
ECAI | 2000 | 144 |
| Benchmark Analysis with FaCT.
|
TABLEAUX | 2000 | 28 |
| Reasoning with Axioms: Theory and Practice.
|
KR | 2000 | 79 |
| DLP and FaCT.
|
TABLEAUX | 1999 | 27 |
| Practical Reasoning for Expressive Description Logics.
|
LPAR | 1999 | 651 |
| FaCT and DLP.
|
TABLEAUX | 1998 | 46 |
| The FaCT System.
|
TABLEAUX | 1998 | 389 |
| Using an Expressive Description Logic: FaCT or Fiction?
|
KR | 1998 | 527 |