Ian Horrocks 0001

151 publications

19 venues

h-Index 54

Google's h-Index 95

Additional Information

2023 - Research.com Computer Science in United Kingdom Leader Award
2012 - Member of Academia Europaea
2011 - Fellow of the Royal Society, United Kingdom
Google Citations
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
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ