Using a Description Logic with Concept Inclusions. - Ian Horrocks 001; Alan L. Rector (Description Logics, 1996)

A Description Logic Based Schema for the Classification of Medical Data. - Ian Horrocks 001; Alan L. Rector; Carole A. Goble (KRDB, 1996)

Description Logics with Transitive Roles. - Ian Horrocks 001; Graham Gough (Description Logics, 1997)

The GRAIL concept modelling language for medical terminology. - Alan L. Rector; Sean Bechhofer; Carole A. Goble; Ian Horrocks 001; W. A. Nowlan; W. D. Solomon (Artif. Intell. Medicine, 1997)

Optimising Propositional Modal Satisfiability for Description Logic Subsumption. - Ian Horrocks 001; Peter F. Patel-Schneider (AISC, 1998)

FaCT. - Ian Horrocks 001 (Description Logics, 1998)

Kris. - Ian Horrocks 001 (Description Logics, 1998)

DL Systems Comparison (Summary Relation). - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1998)

Comparing Subsumption Optimizations. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1998)

Using an Expressive Description Logic: FaCT or Fiction? - Ian Horrocks 001 (KR, 1998)

The FaCT System. - Ian Horrocks 001 (TABLEAUX, 1998)

FaCT and DLP. - Ian Horrocks 001; Peter F. Patel-Schneider (TABLEAUX, 1998)

Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. - Ian Horrocks 001; Lin Padgham; Laura Thomson (Australian Joint Conference on Artificial Intelligence, 1999)

A Proposal for a Description Logic Interface. - Sean Bechhofer; Ian Horrocks 001; Peter F. Patel-Schneider; Sergio Tessaris (Description Logics, 1999)

Explaining ALC Subsumption. - Alexander Borgida; Enrico Franconi; Ian Horrocks 001; Deborah L. McGuinness; Peter F. Patel-Schneider (Description Logics, 1999)

FaCT and iFaCT. - Ian Horrocks 001 (Description Logics, 1999)

Performance of DLP on Random Modal Formulae. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1999)

Practical Reasoning for Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (LPAR, 1999)

DLP and FaCT. - Peter F. Patel-Schneider; Ian Horrocks 001 (TABLEAUX, 1999)

Report on the 1998 International Workshop on Description Logics (DL'98). - Enrico Franconi; Giuseppe De Giacomo; Ian Horrocks 001; Deborah L. McGuinness; Werner Nutt; Peter F. Patel-Schneider; Christopher A. Welty (J. Log. Comput., 1999)

Optimizing Description Logic Subsumption. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Log. Comput., 1999)

A Description Logic with Transitive and Inverse Roles and Role Hierarchies. - Ian Horrocks 001; Ulrike Sattler (J. Log. Comput., 1999)

A Conjunctive Query Language for Description Logic Aboxes. - Ian Horrocks 001; Sergio Tessaris (AAAI/IAAI, 2000)

Reasoning with Individuals for the Description Logic SHIQ. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (CADE, 2000)

Driving User Interfaces from FaCT. - Sean Bechhofer; Ian Horrocks 001 (Description Logics, 2000)

Knowledge Representation on the Web. - Stefan Decker; Dieter Fensel; Frank van Harmelen; Ian Horrocks 001; Sergey Melnik 001; Michel C. A. Klein; Jeen Broekstra (Description Logics, 2000)

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. - Ian Horrocks 001; Sergio Tessaris (Description Logics, 2000)

Optimisation of Terminological Reasoning. - Ian Horrocks 001; Stephan Tobies (Description Logics, 2000)

Explaining ALC Subsumption. - Alexander Borgida; Enrico Franconi; Ian Horrocks 001 (ECAI, 2000)

OIL in a Nutshell. - Dieter Fensel; Ian Horrocks 001; Frank van Harmelen; Stefan Decker; Michael Erdmann; Michel C. A. Klein (EKAW, 2000)

Reasoning with Axioms: Theory and Practice. - Ian Horrocks 001; Stephan Tobies (KR, 2000)

How to decide Query Containment under Constraints using a Description Logic. - Ian Horrocks 001; Ulrike Sattler; Sergio Tessaris; Stephan Tobies (KRDB, 2000)

Benchmark Analysis with FaCT. - Ian Horrocks 001 (TABLEAUX, 2000)

Reasoning with Axioms: Theory and Pratice - Ian Horrocks 001; Stephan Tobies (CoRR, 2000)

An Analysis of Empirical Testing for Modal Decision Procedures. - Ian Horrocks 001; Peter F. Patel-Schneider; Roberto Sebastiani (Log. J. IGPL, 2000)

Practical Reasoning for Very Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (Log. J. IGPL, 2000)

The Semantic Web: The Roles of XML and RDF. - Stefan Decker; Sergey Melnik 001; Frank van Harmelen; Dieter Fensel; Michel C. A. Klein; Jeen Broekstra; Michael Erdmann; Ian Horrocks 001 (IEEE Internet Comput., 2000)

The Generation of DAML+OIL. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 2001)

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

Building a Reason-able Bioinformatics Ontology Using OIL. - Robert Stevens 001; Ian Horrocks 001; Carole A. Goble; Sean Bechhofer (OIS@IJCAI, 2001)

OilEd: A Reason-able Ontology Editor for the Semantic Web. - Sean Bechhofer; Ian Horrocks 001; Carole A. Goble; Robert Stevens 001 (KI/ÖGAI, 2001)

DAML+OIL is not Enough. - Sean Bechhofer; Carole A. Goble; Ian Horrocks 001 (SWWS, 2001)

Metamodeling Architecture of Web Ontology Languages. - Jeff Z. Pan; Ian Horrocks 001 (The Emerging Semantic Web, 2001)

OIL: An Ontology Infrastructure for the Semantic Web. - Dieter Fensel; Frank van Harmelen; Ian Horrocks 001; Deborah L. McGuinness; Peter F. Patel-Schneider (IEEE Intell. Syst., 2001)

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

Reasoning with Expressive Description Logics: Theory and Practice. - Ian Horrocks 001 (CADE, 2002)

Extending Datatype Support in Web Ontology Reasoning. - Jeff Z. Pan; Ian Horrocks 001 (OTM, 2002)

Backtracking and Qualified Number Restrictions: Some Preliminary Results. - Ian Horrocks 001 (Description Logics, 2002)

Reasoning in the SHOQ(Dn) Description Logic. - Jeff Z. Pan; Ian Horrocks 001 (Description Logics, 2002)

Optimised Reasoning for SHIQ. - Ian Horrocks 001; Ulrike Sattler (ECAI, 2002)

DAML+OIL: A Reason-able Web Ontology Language. - Ian Horrocks 001 (EDBT, 2002)

Evaluating a Modular Abox Algorithm. - Sergio Tessaris; Ian Horrocks 001; Graham Gough (KR, 2002)

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. - Sergio Tessaris; Ian Horrocks 001 (LPAR, 2002)

Querying the Semantic Web: A Formal Approach. - Ian Horrocks 001; Sergio Tessaris (ISWC, 2002)

Combinations of Modal Logics. - Brandon Bennett; Clare Dixon; Michael Fisher 001; Ullrich Hustadt; Enrico Franconi; Ian Horrocks 001; Maarten de Rijke (Artif. Intell. Rev., 2002)

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 001 (Comput. Networks, 2002)

DAML+OIL: a Description Logic for the Semantic Web. - Ian Horrocks 001 (IEEE Data Eng. Bull., 2002)

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Autom. Reason., 2002)

Description Logics for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Künstliche Intell., 2002)

OILing the way to machine understandable bioinformatics resources. - Robert Stevens 001; Carole A. Goble; Ian Horrocks 001; Sean Bechhofer (IEEE Trans. Inf. Technol. Biomed., 2002)

Building a bioinformatics ontology using OIL. - Robert Stevens 001; Carole A. Goble; Ian Horrocks 001; Sean Bechhofer (IEEE Trans. Inf. Technol. Biomed., 2002)

Ontologies and Schema Languages on the Web. - Michel C. A. Klein; Jeen Broekstra; Dieter Fensel; Frank van Harmelen; Ian Horrocks 001 (Spinning the Semantic Web, 2003)

Implementation and Optimization Techniques. - Ian Horrocks 001 (Description Logic Handbook, 2003)

Digital Libraries and Web-based Information Systems. - Ian Horrocks 001; Deborah L. McGuinness; Christopher A. Welty (Description Logic Handbook, 2003)

Reducing OWL Entailment to Description Logic Satisfability. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 2003)

Matchmarking Using an Instance Store: Some Preliminary Results. - Lei Li; Ian Horrocks 001 (Description Logics, 2003)

RDFS(FA): A DL-ised Sub-language of RDFS. - Jeff Z. Pan; Ian Horrocks 001 (Description Logics, 2003)

DL Reasoner vs. First-Order Prover. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2003)

RDFS(FA) and RDF MT: Two Semantics for RDFS. - Jeff Z. Pan; Ian Horrocks 001 (ISWC, 2003)

Web Ontology Reasoning with Datatype Groups. - Jeff Z. Pan; Ian Horrocks 001 (ISWC, 2003)

A Semantic Infosphere. - Michael Uschold; Peter Clark; Fred Dickey; Casey K. Fung; Sonia Smith; Stephen A. Uczekaj; Michael Wilke; Sean Bechhofer; Ian Horrocks 001 (ISWC, 2003)

Description logic programs: combining logic programs with description logic. - Benjamin N. Grosof; Ian Horrocks 001; Raphael Volz; Stefan Decker (WWW, 2003)

Three theses of representation in the semantic web. - Ian Horrocks 001; Peter F. Patel-Schneider (WWW, 2003)

Where Are the Rules? - Ian Horrocks 001; Jürgen Angele; Stefan Decker; Michael Kifer; Benjamin N. Grosof; Gerd Wagner 001 (IEEE Intell. Syst., 2003)

From SHIQ and RDF to OWL: the making of a Web Ontology Language. - Ian Horrocks 001; Peter F. Patel-Schneider; Frank van Harmelen (J. Web Semant., 2003)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2004)

The Instance Store: DL Reasoning with Large Numbers of Individuals. - Ian Horrocks 001; Lei Li; Daniele Turi; Sean Bechhofer (Description Logics, 2004)

Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). - Jeff Z. Pan; Ian Horrocks 001 (Description Logics, 2004)

Efficient Reasoning with Range and Domain Constraints. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2004)

Using Vampire to Reason with OWL. - Dmitry Tsarkov; Alexandre Riazanov; Sean Bechhofer; Ian Horrocks 001 (ISWC, 2004)

A proposal for an owl rules language. - Ian Horrocks 001; Peter F. Patel-Schneider (WWW, 2004)

Decidability of SHIQ with complex role inclusion axioms. - Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2004)

A Software Framework for Matchmaking Based on Semantic Web Technology. - Lei Li; Ian Horrocks 001 (Int. J. Electron. Commer., 2004)

OWL-QL - a language for deductive query answering on the Semantic Web. - Richard Fikes; Patrick J. Hayes; Ian Horrocks 001 (J. Web Semant., 2004)

WWW conference special issue. - Ian Horrocks 001 (J. Web Semant., 2004)

Reducing OWL entailment to description logic satisfiability. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Web Semant., 2004)

Description Logics as Ontology Languages for the Semantic Web. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Mechanizing Mathematical Reasoning, 2005)

The OWL Instance Store: System Description. - Sean Bechhofer; Ian Horrocks 001; Daniele Turi (CADE, 2005)

Handling Cyclic Conjunctive Queries. - Birte Glimm; Ian Horrocks 001 (Description Logics, 2005)

Optimised Classification for Taxonomic Knowledge Bases. - Dmitry Tsarkov; Ian Horrocks 001 (Description Logics, 2005)

f-SWRL: A Fuzzy Extension of SWRL. - Jeff Z. Pan; Giorgos B. Stamou; Vassilis Tzouvaras; Ian Horrocks 001 (ICANN (2), 2005)

Applications of Description Logics: State of the Art and Research Challenges. - Ian Horrocks 001 (ICCS, 2005)

OWL: A Description Logic Based Ontology Language. - Ian Horrocks 001 (ICLP, 2005)

A Tableaux Decision Procedure for SHOIQ. - Ian Horrocks 001; Ulrike Sattler (IJCAI, 2005)

Ordering Heuristics for Description Logic Reasoning. - Dmitry Tsarkov; Ian Horrocks 001 (IJCAI, 2005)

Description Logics in Ontology Applications. - Ian Horrocks 001 (KI, 2005)

The Irresistible SRIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (OWLED, 2005)

Introducing Customised Datatypes and Datatype Predicates into OWL. - Jeff Z. Pan; Ian Horrocks 001 (OWLED, 2005)

OWL FA: A Metamodeling Extension of OWL DL. - Jeff Z. Pan; Ian Horrocks 001; Guus Schreiber (OWLED, 2005)

Fuzzy OWL: Uncertainty and the Semantic Web. - Giorgos Stoilos; Giorgos B. Stamou; Vassilis Tzouvaras; Jeff Z. Pan; Ian Horrocks 001 (OWLED, 2005)

Semantic Web Architecture: Stack or Two Towers?. - Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; James A. Hendler (PPSWR, 2005)

The Fuzzy Description Logic f-SHIN. - Giorgos Stoilos; Giorgos B. Stamou; Vassilis Tzouvaras; Jeff Z. Pan; Ian Horrocks 001 (ISWC-URSW, 2005)

A Little Semantic Web Goes a Long Way in Biology. - Katy Wolstencroft; Andy Brass; Ian Horrocks 001; Phillip W. Lord; Ulrike Sattler; Daniele Turi; Robert Stevens 001 (ISWC, 2005)

OWL Rules, OK? - Ian Horrocks 001 (Rule Languages for Interoperability, 2005)

A Fuzzy Extension of SWRL. - Giorgos B. Stamou; Jeff Z. Pan; Vassilis Tzouvaras; Ian Horrocks 001 (Rule Languages for Interoperability, 2005)

Keys, Nominals, and Concrete Domains. - Carsten Lutz; Carlos Areces; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2005)

OWL rules: A proposal and prototype implementation. - Ian Horrocks 001; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (J. Web Semant., 2005)

Deciding Semantic Matching of Stateless Services. - Duncan Hull; Evgeny Zolin; Andrey Bovykin; Ian Horrocks 001; Ulrike Sattler; Robert Stevens 001 (AAAI, 2006)

FaCT++ Description Logic Reasoner: System Description. - Dmitry Tsarkov; Ian Horrocks 001 (IJCAR, 2006)

Automated Benchmarking of Description Logic Reasoners. - Tom Gardiner; Ian Horrocks 001; Dmitry Tsarkov (Description Logics, 2006)

Conjunctive Query Answering for Description Logics with Transitive Roles. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2006)

Will my Ontologies Fit Together? - Bernardo Cuenca Grau; Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (Description Logics, 2006)

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. - Ian Horrocks 001; Andrei Voronkov (FoIKS, 2006)

The Even More Irresistible SROIQ. - Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (KR, 2006)

Next Steps for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (OWLED, 2006)

Problems with OWL Syntax. - Boris Motik; Ian Horrocks 001 (OWLED, 2006)

Framework for an Automated Comparison of Description Logic Reasoners. - Tom Gardiner; Dmitry Tsarkov; Ian Horrocks 001 (ISWC, 2006)

Can OWL and Logic Programming Live Together Happily Ever After? - Boris Motik; Ian Horrocks 001; Riccardo Rosati 001; Ulrike Sattler (ISWC, 2006)

OWL FA: a metamodeling extension of OWL D. - Jeff Z. Pan; Ian Horrocks 001 (WWW, 2006)

Position paper: a comparison of two modelling paradigms in the Semantic Web. - Peter F. Patel-Schneider; Ian Horrocks 001 (WWW, 2006)

Hybrid Logics and Ontology Languages. - Ian Horrocks 001; Birte Glimm; Ulrike Sattler (HyLo@FLoC, 2006)

f-SWRL: A Fuzzy Extension of SWRL. - Jeff Z. Pan; Giorgos Stoilos; Giorgos B. Stamou; Vassilis Tzouvaras; Ian Horrocks 001 (J. Data Semant., 2006)

OWL-Eu: Adding customised datatypes into OWL. - Jeff Z. Pan; Ian Horrocks 001 (J. Web Semant., 2006)

Computational modal logic. - Ian Horrocks 001; Ullrich Hustadt; Ulrike Sattler; Renate A. Schmidt (Handbook of Modal Logic, 2007)

Optimized Reasoning in Description Logics Using Hypertableaux. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (CADE, 2007)

Conjunctive Query Entailment for SHOQ. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2007)

Ontology Reuse: Better Safe than Sorry. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Description Logics, 2007)

A Hypertableau Calculus for SHIQ. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (Description Logics, 2007)

A Logical Framework for Modularity of Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (IJCAI, 2007)

The OBO to OWL Mapping, GO to OWL 1.1! - Christine Golbreich; Ian Horrocks 001 (OWLED, 2007)

Extracting Modules from Ontologies: A Logic-based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (OWLED, 2007)

Adding Integrity Constraints to OWL. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (OWLED, 2007)

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. - Christine Golbreich; Matthew Horridge; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer (ISWC/ASWC, 2007)

Semantic web: the story so far. - Ian Horrocks 001 (W4A, 2007)

Just the right amount: extracting modules from ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (WWW, 2007)

Reasoning with Very Expressive Fuzzy Description Logics. - Giorgos Stoilos; Giorgos B. Stamou; Jeff Z. Pan; Vassilis Tzouvaras; Ian Horrocks 001 (J. Artif. Intell. Res., 2007)

A Tableau Decision Procedure for SHOIQ. - Ian Horrocks 001; Ulrike Sattler (J. Autom. Reason., 2007)

Optimizing Terminological Reasoning for Expressive Description Logics. - Dmitry Tsarkov; Ian Horrocks 001; Peter F. Patel-Schneider (J. Autom. Reason., 2007)

Logic for Ontology Engineering Corner. - Ian Horrocks 001 (J. Log. Comput., 2007)

RDFS(FA): Connecting RDF(S) and OWL DL. - Jeff Z. Pan; Ian Horrocks 001 (IEEE Trans. Knowl. Data Eng., 2007)

A comparison of two modelling paradigms in the Semantic Web. - Peter F. Patel-Schneider; Ian Horrocks 001 (J. Web Semant., 2007)

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

Individual Reuse in Description Logic Reasoning. - Boris Motik; Ian Horrocks 001 (IJCAR, 2008)

Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (Description Logics, 2008)

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (Description Logics, 2008)

Privacy-Preserving Query Answering in Logic-based Information Systems. - Bernardo Cuenca Grau; Ian Horrocks 001 (ECAI, 2008)

Unions of Conjunctive Queries in SHOQ. - Birte Glimm; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Representing Structured Objects using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Application of OWL 1.1 to Systems Engineering (Statement of Interest). - Ian Horrocks 001; Henson Graves (OWLED (Spring), 2008)

Modeling Ontologies using OWL, Description Graphs, and Rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (OWLED, 2008)

HermiT: A Highly-Efficient OWL Reasoner. - Robert D. C. Shearer; Boris Motik; Ian Horrocks 001 (OWLED, 2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (SDKB, 2008)

OWL Datatypes: Design and Implementation. - Boris Motik; Ian Horrocks 001 (ISWC, 2008)

Ontologies and the semantic web. - Ian Horrocks 001 (Commun. ACM, 2008)

Conjunctive Query Answering for the Description Logic SHIQ. - Birte Glimm; Carsten Lutz; Ian Horrocks 001; Ulrike Sattler (J. Artif. Intell. Res., 2008)

Modular Reuse of Ontologies: Theory and Practice. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (J. Artif. Intell. Res., 2008)

OWL 2: The next step for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Boris Motik; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (J. Web Semant., 2008)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook of Knowledge Representation, 2008)

Semantic Web. - Ian Horrocks 001; Sean Bechhofer (Web Accessibility, 2008)

Building Ontologies Collaboratively Using ContentCVS. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (Description Logics, 2009)

A Comparison of Query Rewriting Techniques for DL-lite. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (Description Logics, 2009)

Exploiting Partial Information in Taxonomy Construction. - Robert D. C. Shearer; Ian Horrocks 001; Boris Motik (Description Logics, 2009)

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (ESWC, 2009)

Logic-based Ontology Integration using ContentMap. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (JISBD, 2009)

Practical Aspects of Query Rewriting for OWL 2. - Héctor Pérez-Urbina; Ian Horrocks 001; Boris Motik (OWLED, 2009)

Efficient Query Answering for OWL 2. - Héctor Pérez-Urbina; Ian Horrocks 001; Boris Motik (ISWC, 2009)

Exploiting Partial Information in Taxonomy Construction. - Robert D. C. Shearer; Ian Horrocks 001 (ISWC, 2009)

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (SWAT4LS, 2009)

Towards a Logic-based Assessment of the compatibility of UMLS sources. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Rafael Berlanga Llavori; Ian Horrocks 001 (SWAT4LS, 2009)

Representing ontologies using description logics, description graphs, and rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2009)

Hypertableau Reasoning for Description Logics. - Boris Motik; Robert D. C. Shearer; Ian Horrocks 001 (J. Artif. Intell. Res., 2009)

Bridging the gap between OWL and relational databases. - Boris Motik; Ian Horrocks 001; Ulrike Sattler (J. Web Semant., 2009)

Description Logics. - Franz Baader; Ian Horrocks 001; Ulrike Sattler (Handbook on Ontologies, 2009)

Extracting Modules from Ontologies: A Logic-Based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Modular Ontologies, 2009)

How Incomplete Is Your Semantic Web Reasoner? - Giorgos Stoilos; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2010)

Optimized Description Logic Reasoning via Core Blocking. - Birte Glimm; Ian Horrocks 001; Boris Motik (IJCAR, 2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (IJCAR, 2010)

Optimized DL Reasoning via Core Blocking. - Birte Glimm; Ian Horrocks 001; Boris Motik (Description Logics, 2010)

Tractable Extensions of the Description Logic EL with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (Description Logics, 2010)

Scalable ontology-based information systems. - Ian Horrocks 001 (EDBT, 2010)

Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. - Chitta Baral; Ian Horrocks 001; Yoav Shoham (KR, 2010)

Ontology Languages and Engineering. - Ian Horrocks 001 (KSEM, 2010)

Optimising Ontology Classification. - Birte Glimm; Ian Horrocks 001; Boris Motik; Giorgos Stoilos (ISWC (1), 2010)

Towards a UMLS-based silver standard for matching biomedical ontologies. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (OM, 2010)

Completeness Guarantees for Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2010)

Beazley: a new storage systems evaluation. - Mikalai Yatskevich; Ian Horrocks 001; Graham Klyne (IWEST@ISWC, 2010)

Storage and reasoning systems evaluation campaign 2010. - Mikalai Yatskevich; Ian Horrocks 001; Francisco Martín-Recuerda; Giorgos Stoilos (IWEST@ISWC, 2010)

Tractable query answering and rewriting under description logic constraints. - Héctor Pérez-Urbina; Boris Motik; Ian Horrocks 001 (J. Appl. Log., 2010)

Tool Support for Ontology Engineering. - Ian Horrocks 001 (Foundations for the Web of Information and Services, 2011)

Query Answering over SROIQ Knowledge Bases with SPARQL. - Ilianna Kollia; Birte Glimm; Ian Horrocks 001 (Description Logics, 2011)

SPARQL Query Answering over OWL Ontologies. - Ilianna Kollia; Birte Glimm; Ian Horrocks 001 (ESWC (1), 2011)

Consequence-Based Reasoning beyond Horn Ontologies. - Frantisek Simancik; Yevgeny Kazakov; Ian Horrocks 001 (IJCAI, 2011)

Answering Queries over OWL Ontologies with SPARQL. - Ilianna Kollia; Birte Glimm; Ian Horrocks 001 (OWLED, 2011)

Repairing Ontologies for Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (ISWC (1), 2011)

Chemical knowledge representation with description graphs and logic programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (SWAT4LS, 2011)

Logic-based assessment of the compatibility of UMLS ontology sources. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (J. Biomed. Semant., 2011)

Supporting concurrent ontology development: Framework, algorithms and tool. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (Data Knowl. Eng., 2011)

Tractable Extensions of the Description Logic ${ mathcal{EL}}$ with Numerical Datatypes. - Despoina Magka; Yevgeny Kazakov; Ian Horrocks 001 (J. Autom. Reason., 2011)

KR and Reasoning on the Semantic Web: OWL. - Ian Horrocks 001; Peter F. Patel-Schneider (Handbook of Semantic Web Technologies, 2011)

Modular Combination of Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2012)

Small Datalog Query Rewritings for EL. - Giorgio Stefanoni; Boris Motik; Ian Horrocks 001 (Description Logics, 2012)

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. - Yujiao Zhou; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2012)

Large-scale Interactive Ontology Matching: Algorithms and Implementation. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Yujiao Zhou; Ian Horrocks 001 (ECAI, 2012)

Modelling Structured Domains Using Description Graphs and Logic Programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (ESWC, 2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

The HermiT OWL Reasoner. - Ian Horrocks 001; Boris Motik; Zhe Wang 001 (ORE, 2012)

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (ORE, 2012)

Classifying Chemicals Using Description Graphs and Logic Programming. - Despoina Magka; Boris Motik; Ian Horrocks 001 (OWLED, 2012)

LogMap and LogMapLt results for OAEI 2012. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2012)

MORe: Modular Combination of OWL Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2012)

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (E-LKR, 2012)

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. - Boris Motik; Ian Horrocks 001; Su Myeon Kim (WWW (Companion Volume), 2012)

A Description Logic Primer - Markus Krötzsch; Frantisek Simancik; Ian Horrocks 001 (CoRR, 2012)

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (J. Artif. Intell. Res., 2012)

Semantics ⊓ scalability ⊨ ⊥? - Ian Horrocks 001 (J. Zhejiang Univ. Sci. C, 2012)

A novel approach to ontology classification. - Birte Glimm; Ian Horrocks 001; Boris Motik; Robert D. C. Shearer; Giorgos Stoilos (J. Web Semant., 2012)

Introducing Nominals to the Combined Query Answering Approaches for EL. - Giorgio Stefanoni; Boris Motik; Ian Horrocks 001 (AAAI, 2013)

Evaluating Mapping Repair Systems with Large Biomedical Ontologies. - Ernesto Jiménez-Ruiz; Christian Meilicke; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2013)

Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (Description Logics, 2013)

Optique: OBDA Solution for Big Data. - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Johan W. Klüwer; Manolis Koubarakis; Steffen Lamparter; et al. (ESWC (Satellite Events), 2013)

Optique System: towards ontology and mapping management in OBDA solutions. - Peter Haase 001; Ian Horrocks 001; Dag Hovland; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Johan W. Klüwer; Christoph Pinkel; Riccardo Rosati 001; Valerio Santarelli; Ahmet Soylu; Dmitriy Zheleznyakov (WoDOOM, 2013)

Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. - Ian Horrocks 001; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Manolis Koubarakis; Ralf Möller 001; Konstantina Bereta; Christian Neuenstadt; Özgür L. Özçep; Mikhail Roshchin; Panayiotis Smeros; Dmitriy Zheleznyakov (KNOW@LOD, 2013)

Optique: Towards OBDA Systems for Industry. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Dmitriy Zheleznyakov; Dimitris Bilidas; Martin Giese; Peter Haase 001; Ian Horrocks 001; Herald Kllapi; Manolis Koubarakis; Özgür L. Özçep; Mariano Rodriguez-Muro; Riccardo Rosati 001; et al. (ESWC (Satellite Events), 2013)

Computing Datalog Rewritings Beyond Horn Ontologies. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (IJCAI, 2013)

Computing Stable Models for Nonmonotonic Existential Rules. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (IJCAI, 2013)

Concrete Results on Abstract Rules. - Markus Krötzsch; Despoina Magka; Ian Horrocks 001 (LPNMR, 2013)

OptiqueVQS: towards an ontology-based visual query system for big data. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (MEDES, 2013)

A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data. - Ahmet Soylu; Martin G. Skjæveland; Martin Giese; Ian Horrocks 001; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov (MTSR, 2013)

MORe: a Modular OWL Reasoner for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001; Ernesto Jiménez-Ruiz (ORE, 2013)

The Optique Project: Towards OBDA Systems for Industry (Short Paper). - Diego Calvanese; Martin Giese; Peter Haase 001; Ian Horrocks 001; Thomas Hubauer; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Herald Kllapi; Manolis Koubarakis; Steffen Lamparter; Ralf Möller 001; et al. (OWLED, 2013)

On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper). - Diego Calvanese; Ian Horrocks 001; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Michael Meier; Mariano Rodriguez-Muro; Dmitriy Zheleznyakov (OWLED, 2013)

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. - Bernardo Cuenca Grau; Martin Giese; Ian Horrocks 001; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Michael Schmidt 002; Ahmet Soylu; Dmitriy Zheleznyakov (OWLED, 2013)

Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper). - Herald Kllapi; Dimitris Bilidas; Ian Horrocks 001; Yannis E. Ioannidis; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Manolis Koubarakis; Dmitriy Zheleznyakov (OWLED, 2013)

The Energy Management Adviser at EDF. - Pierre Chaussecourte; Birte Glimm; Ian Horrocks 001; Boris Motik; Laurent Pierre (ISWC (2), 2013)

LogMap and LogMapLt results for OAEI 2013. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2013)

Is my ontology matching system similar to yours? - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2013)

Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. - Evgeny Kharlamov; Martin Giese; Ernesto Jiménez-Ruiz; Martin G. Skjæveland; Ahmet Soylu; Dmitriy Zheleznyakov; Timea Bagosi; Marco Console; Peter Haase 001; Ian Horrocks 001; Sarunas Marciuska; Christoph Pinkel; et al. (ISWC (Posters & Demos), 2013)

Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. - Martin G. Skjæveland; Espen H. Lian; Ian Horrocks 001 (ISWC (2), 2013)

Complete Query Answering over Horn Ontologies Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2013)

Making the most of your triple store: query answering in OWL 2 using an RL reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Ian Horrocks 001; Zhe Wu; Jay Banerjee (WWW, 2013)

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (J. Artif. Intell. Res., 2013)

Order matters! Harnessing a world of orderings for reasoning over massive data. - Emanuele Della Valle; Stefan Schlobach; Markus Krötzsch; Alessandro Bozzon; Stefano Ceri; Ian Horrocks 001 (Semantic Web, 2013)

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

Pay-As-You-Go OWL Query Answering Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2014)

EL-ifying Ontologies. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (IJCAR, 2014)

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. - David Carral; Cristina Feier; Ana Armas Romero; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (Description Logics, 2014)

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001; Dan Olteanu (Description Logics, 2014)

OptiqueVQS: Visual Query Formulation for OBDA. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (Description Logics, 2014)

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2014)

Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (MTSR, 2014)

Why not simply Google? - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (NordiCHI, 2014)

Pushing the Boundaries of Tractable Ontology Reasoning. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (ISWC (2), 2014)

Querying Distributed RDF Graphs: The Effects of Partitioning. - Anthony Potter; Boris Motik; Ian Horrocks 001 (SSWS@ISWC, 2014)

Consequence-based and fixed-parameter tractable reasoning in description logics. - Frantisek Simancik; Boris Motik; Ian Horrocks 001 (Artif. Intell., 2014)

A rule-based ontological framework for the classification of molecules. - Despoina Magka; Markus Krötzsch; Ian Horrocks 001 (J. Biomed. Semant., 2014)

Description Logics. - Markus Krötzsch; Frantisek Simancik; Ian Horrocks 001 (IEEE Intell. Syst., 2014)

HermiT: An OWL 2 Reasoner. - Birte Glimm; Ian Horrocks 001; Boris Motik; Giorgos Stoilos; Zhe Wang 001 (J. Autom. Reason., 2014)

Handling Owl: sameAs via Rewriting. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. - Boris Motik; Yavor Nenov; Robert Edgar Felix Piro; Ian Horrocks 001 (AAAI, 2015)

Ontology Module Extraction via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2015)

Extending Consequence-Based Reasoning to SHIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (Description Logics, 2015)

Extending the Combined Approach Beyond Lightweight Description Logics. - Cristina Feier; David Carral; Giorgio Stefanoni; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2015)

PAGOdA: Pay-as-you-go ABox Reasoning. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Ian Horrocks 001 (Description Logics, 2015)

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

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (IJCAI, 2015)

Ontology-Based Visual Query Formulation: An Industry Experience. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (ISVC (1), 2015)

Ontology-based Query Answering with PAGOdA. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ORE, 2015)

BootOX: Practical Mapping of RDBs to OWL 2. - Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001; Christoph Pinkel; Martin G. Skjæveland; Evgenij Thorstensen; Jose Mora (ISWC (2), 2015)

BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases. - Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001; Christoph Pinkel; Martin G. Skjæveland; Evgenij Thorstensen; Jose Mora (ISWC (Posters & Demos), 2015)

Semantic Access to Siemens Streaming Data: the Optique Way. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Steffen Lamparter; Christian Neuenstadt; Özgür Lütfü Özçep; Christoph Pinkel; Ahmet Soylu; Dmitriy Zheleznyakov; Mikhail Roshchin; Stuart Watson; et al. (ISWC (Posters & Demos), 2015)

Ontology Based Access to Exploration Data at Statoil. - Evgeny Kharlamov; Dag Hovland; Ernesto Jiménez-Ruiz; Davide Lanti; Hallstein Lie; Christoph Pinkel; Martín Rezk; Martin G. Skjæveland; Evgenij Thorstensen; Guohui Xiao 001; Dmitriy Zheleznyakov; Ian Horrocks 001 (ISWC (2), 2015)

Optique: Ontology-Based Data Access Platform. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Christoph Pinkel; Martin Rezk; Martin G. Skjæveland; Ahmet Soylu; Guohui Xiao 001; Dmitriy Zheleznyakov; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2015)

RDFox: A Highly-Scalable RDF Store. - Yavor Nenov; Robert Piro; Boris Motik; Ian Horrocks 001; Zhe Wu; Jay Banerjee (ISWC (2), 2015)

OptiqueVQS: Ontology-Based Visual Querying. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Ian Horrocks 001 (VOILA@ISWC, 2015)

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Mark Kaminski; Ian Horrocks 001 (J. Artif. Intell. Res., 2015)

A semantic approach to polystores. - Evgeny Kharlamov; Theofilos P. Mailis; Konstantina Bereta; Dimitris Bilidas; Sebastian Brandt 001; Ernesto Jiménez-Ruiz; Steffen Lamparter; Christian Neuenstadt; Özgür L. Özçep; Ahmet Soylu; Christoforos Svingos; Guohui Xiao 001; et al. (IEEE BigData, 2016)

Enabling semantic access to static and streaming distributed data with optique: demo. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Yannis Kotidis; Steffen Lamparter; Theofilos Mailis; Christian Neuenstadt; Özgür L. Özçep; Christoph Pinkel; Ahmet Soylu; Christoforos Svingos; et al. (DEBS, 2016)

Extending Consequence-Based Reasoning to SRIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (KR, 2016)

Towards the Semantic Enrichment of Free-Text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans. - Valentina Carapella; Ernesto Jiménez-Ruiz; Elena Lukaschuk; Nay Aung; Kenneth Fung; José Miguel Paiva; Mihir Sanghvi; Stefan Neubauer; Steffen E. Petersen; Ian Horrocks 001; Stefan K. Piechnik (LABELS/DLMIA@MICCAI, 2016)

Scalable Semantic Access to Siemens Static and Streaming Distributed Data. - Evgeny Kharlamov; Sebastian Brandt 001; Martin Giese; Ernesto Jiménez-Ruiz; Yannis Kotidis; Steffen Lamparter; Theofilos Mailis; Christian Neuenstadt; Özgür Lütfü Özçep; Christoph Pinkel; Ahmet Soylu; Christoforos Svingos; et al. (ISWC (Posters & Demos), 2016)

SOMM: Industry Oriented Ontology Management Tool. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (Posters & Demos), 2016)

Capturing Industrial Information Models with Ontologies and Constraints. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (2), 2016)

Towards Analytics Aware Ontology Based Access to Static and Streaming Data. - Evgeny Kharlamov; Yannis Kotidis; Theofilos Mailis; Christian Neuenstadt; Charalampos Nikolaou; Özgür L. Özçep; Christoforos Svingos; Dmitriy Zheleznyakov; Sebastian Brandt 001; Ian Horrocks 001; Yannis E. Ioannidis; Steffen Lamparter; et al. (ISWC (2), 2016)

Semantic Technologies for Data Analysis in Health Care. - Robert Piro; Yavor Nenov; Boris Motik; Ian Horrocks 001; Peter Hendler; Scott Kimberly; Michael Rossman (ISWC (2), 2016)

Distributed RDF Query Answering with Dynamic Data Exchange. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (ISWC (1), 2016)

KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. - Dmitriy Zheleznyakov; Evgeny Kharlamov; Vidar Klungre; Martin G. Skjæveland; Dag Hovland; Martin Giese; Ian Horrocks 001; Arild Waaler (ISWC (Posters & Demos), 2016)

Ontology-Based Integration of Streaming and Static Relational Data with Optique. - Evgeny Kharlamov; Sebastian Brandt 001; Ernesto Jiménez-Ruiz; Yannis Kotidis; Steffen Lamparter; Theofilos Mailis; Christian Neuenstadt; Özgür L. Özçep; Christoph Pinkel; Christoforos Svingos; Dmitriy Zheleznyakov; Ian Horrocks 001; et al. (SIGMOD Conference, 2016)

Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA). - Ernesto Jiménez-Ruiz; Valentina Carapella; Elena Lukaschuk; Nay Aung; Kenneth Fung; José Miguel Paiva; Mihir Sanghvi; Stefan Neubauer; Steffen E. Petersen; Ian Horrocks 001; Stefan K. Piechnik (SWAT4LS, 2016)

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version). - Evgeny Kharlamov; Yannis Kotidis; Theofilos Mailis; Christian Neuenstadt; Charalampos Nikolaou; Özgür L. Özçep; Christoforos Svingos; Dmitriy Zheleznyakov; Steffen Lamparter; Ian Horrocks 001; Yannis E. Ioannidis; Ralf Möller 001 (CoRR, 2016)

Using Semantic Technology to Tame the Data Variety Challenge. - Ian Horrocks 001; Martin Giese; Evgeny Kharlamov; Arild Waaler (IEEE Internet Comput., 2016)

Module Extraction in Expressive Ontology Languages via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (J. Artif. Intell. Res., 2016)

Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Guillermo Vega-Gorgojo; Ian Horrocks 001 (Univers. Access Inf. Soc., 2016)

An Introduction to Description Logic. - Franz Baader; Ian Horrocks 001; Carsten Lutz; Ulrike Sattler (Cambridge University Press, 2017)

Trust-Sensitive Evolution of DL-Lite Knowledge Bases. - Dmitriy Zheleznyakov; Evgeny Kharlamov; Ian Horrocks 001 (AAAI, 2017)

On event-driven knowledge graph completion in digital factories. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (IEEE BigData, 2017)

SemFacet: Making Hard Faceted Search Easier. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (CIKM, 2017)

Semantic Rules for Machine Diagnostics: Execution and Management. - Evgeny Kharlamov; Ognjen Savkovic; Guohui Xiao 001; Rafael Peñaloza; Gulnar Mehdi; Mikhail Roshchin; Ian Horrocks 001 (CIKM, 2017)

SemDia: Semantic Rule-Based Equipment Diagnostics Tool. - Gulnar Mehdi; Evgeny Kharlamov; Ognjen Savkovic; Guohui Xiao 001; Elem Güzel Kalayci; Sebastian Brandt 001; Ian Horrocks 001; Mikhail Roshchin; Thomas A. Runkler (CIKM, 2017)

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2017)

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. - Nicholas P. Roth; Vasileios Trigonakis; Sungpack Hong; Hassan Chafi; Anthony Potter; Boris Motik; Ian Horrocks 001 (GRADES@SIGMOD/PODS, 2017)

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

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

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (ISWC (Posters, Demos & Industry Tracks), 2017)

Semantic Rule-Based Equipment Diagnostics. - Gulnar Mehdi; Evgeny Kharlamov; Ognjen Savkovic; Guohui Xiao 001; Elem Güzel Kalayci; Sebastian Brandt 001; Ian Horrocks 001; Mikhail Roshchin; Thomas A. Runkler (ISWC (2), 2017)

Semantic Rule-Based Equipment Diagnostic. - Gulnar Mehdi; Evgeny Kharlamov; Ognjen Savkovic; Guohui Xiao 001; Elem Guzel Kalayci; Sebastian Brandt 001; Ian Horrocks 001; Mikhail Roshchin; Thomas A. Runkler (ISWC (Posters, Demos & Industry Tracks), 2017)

Entity Comparison in RDF Graphs. - Alina Petrova; Evgeny Sherkhonov; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2017)

Ontology-based end-user visual query formulation: Why, what, who, how, and which? - Ahmet Soylu; Martin Giese; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ian Horrocks 001 (Univers. Access Inf. Soc., 2017)

Optimised Maintenance of Datalog Materialisations. - Pan Hu 001; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

Stream Reasoning in Temporal Datalog. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract). - Evgeny Kharlamov; Gulnar Mehdi; Ognjen Savkovic; Guohui Xiao 001; Steffen Lamparter; Ian Horrocks 001; Arild Waaler (IEEE BigData, 2018)

Finding Data Should be Easier than Finding Oil. - Evgeny Kharlamov; Martin G. Skjæveland; Dag Hovland; Theofilos Mailis; Ernesto Jiménez-Ruiz; Guohui Xiao 001; Ahmet Soylu; Ian Horrocks 001; Arild Waaler (IEEE BigData, 2018)

Theoretical Characterization of Signal Diagnostic Processing Language. - Ognjen Savkovic; Evgeny Kharlamov; Guohui Xiao 001; Gulnar Mehdi; Elem Güzel Kalayci; Werner Nutt; Mikhail Roshchin; Ian Horrocks 001 (Description Logics, 2018)

Event-Enhanced Learning for KG Completion. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Marcel Hildebrandt; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (ESWC, 2018)

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2018)

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

Diagnostics of Trains with Semantic Diagnostics Rules. - Evgeny Kharlamov; Ognjen Savkovic; Martin Ringsquandl; Guohui Xiao 001; Gulnar Mehdi; Elem Güzel Kalayci; Werner Nutt; Mikhail Roshchin; Ian Horrocks 001; Thomas A. Runkler (ILP, 2018)

Semantic Diagnostics of Smart Factories. - Ognjen Savkovic; Evgeny Kharlamov; Martin Ringsquandl; Guohui Xiao 001; Gulnar Mehdi; Elem Güzel Kalayci; Werner Nutt; Ian Horrocks 001 (JIST, 2018)

Knowledge-Based Transfer Learning Explanation. - Jiaoyan Chen 001; Freddy Lécué; Jeff Z. Pan; Ian Horrocks 001; Huajun Chen (KR, 2018)

The Window Validity Problem in Rule-Based Stream Reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2018)

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Marcel Hildebrandt; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (ISWC (P&D/Industry/BlueSky), 2018)

Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge. - Ian Horrocks 001 (SIMBig, 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 001 (J. Artif. Intell. Res., 2018)

RODI: Benchmarking relational-to-ontology mapping generation quality. - Christoph Pinkel; Carsten Binnig; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Wolfgang May; Andriy Nikolov; Ana Sasa Bastinos; Martin G. Skjæveland; Alessandro Solimando; Mohsen Taheriyan; Christian Heupel; Ian Horrocks 001 (Semantic Web, 2018)

OptiqueVQS: A visual query system over ontologies for industry. - Ahmet Soylu; Evgeny Kharlamov; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz; Martin Giese; Martin G. Skjæveland; Dag Hovland; Rudolf Schlatte; Sebastian Brandt 001; Hallstein Lie; Ian Horrocks 001 (Semantic Web, 2018)

Dynamic Data Exchange in Distributed RDF Stores. - Anthony Potter; Boris Motik; Yavor Nenov; Ian Horrocks 001 (IEEE Trans. Knowl. Data Eng., 2018)

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

15 Years of Consequence-Based Reasoning. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logic, Theory Combination, and All That, 2019)

Datalog Reasoning over Compressed RDF Knowledge Bases. - Pan Hu 001; Jacopo Urbani; Boris Motik; Ian Horrocks 001 (CIKM, 2019)

Bagging the DL-Lite Family Further. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Sequoia: A Consequence Based Reasoner for SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Learning Semantic Annotations for Tabular Data. - Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Ian Horrocks 001; Charles Sutton (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 001 (IJCAI, 2019)

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. - Temitope Ajileye; Boris Motik; Ian Horrocks 001 (ISWC (1), 2019)

Canonicalizing Knowledge Base Literals. - Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Ian Horrocks 001 (ISWC (1), 2019)

Bag Semantics of DL-Lite with Functionality Axioms. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Mv-Index: An Efficient Index for Graph-Query Containment. - Theofilos Mailis; Yannis Kotidis; Vaggelis Nikolopoulos; Evgeny Kharlamov; Ian Horrocks 001; Yannis E. Ioannidis (ISWC (Satellites), 2019)

Query-Based Entity Comparison in Knowledge Graphs Revisited. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Towards Explainable Entity Matching via Comparison Queries. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (OM@ISWC, 2019)

An Efficient Index for RDF Query Containment. - Theofilos Mailis; Yannis Kotidis; Vaggelis Nikolopoulos; Evgeny Kharlamov; Ian Horrocks 001; Yannis E. Ioannidis (SIGMOD Conference, 2019)

Maintenance of datalog materialisations revisited. - Boris Motik; Yavor Nenov; Robert Piro; Ian Horrocks 001 (Artif. Intell., 2019)

Foundations of ontology-based data access under bag semantics. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2019)

Limit Datalog: A Declarative Query Language for Data Analysis. - Bernardo Cuenca Grau; Ian Horrocks 001; Mark Kaminski; Egor V. Kostylev; Boris Motik (SIGMOD Rec., 2019)

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

A Context-Aware Recommendation System for Mobile Devices. - Jaehun Lee; Taeho Hwang; Jungho Park; Yunsu Lee; Boris Motik; Ian Horrocks 001 (ISWC (Demos/Industry), 2020)

Correcting Knowledge Base Assertions. - Jiaoyan Chen 001; Xi Chen 003; Ian Horrocks 001; Erik B. Myklebust; Ernesto Jiménez-Ruiz (WWW, 2020)

RSAComb: Combined Approach for CQ Answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Description Logics, 2021)

Streaming Partitioning of RDF Graphs for Datalog Reasoning. - Temitope Ajileye; Boris Motik; Ian Horrocks 001 (ESWC, 2021)

Augmenting Ontology Alignment by Semantic Embedding and Distant Supervision. - Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Ian Horrocks 001; Denvar Antonyrajah; Ali Hadian 001; Jaehun Lee (ESWC, 2021)

Knowledge-aware Zero-Shot Learning: Survey and Perspective. - Jiaoyan Chen 001; Yuxia Geng; Zhuo Chen 007; Ian Horrocks 001; Jeff Z. Pan; Huajun Chen (IJCAI, 2021)

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (NeurIPS, 2021)

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy. - Stefano Germano; Carla Saunders; Ian Horrocks 001; Rick Lupton (ISWC, 2021)

Use of Semantic Technologies to Inform Progress Toward Zero-Carbon Economy - Extended Abstract. - Stefano Germano; Carla Saunders; Ian Horrocks 001; Rick Lupton (ISWC (Posters/Demos/Industry), 2021)

Biomedical ontology alignment with BERT. - Yuan He 008; Jiaoyan Chen 001; Denvar Antonyrajah; Ian Horrocks 001 (OM@ISWC, 2021)

Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (ISWC, 2021)

Computing CQ lower-bounds over OWL 2 through approximation to RSA - Extended Abstract. - Federico Igne; Stefano Germano; Ian Horrocks 001 (ISWC (Posters/Demos/Industry), 2021)

Knowledge Graphs: Theory, Applications and Challenges. - Ian Horrocks 001 (WEBIST, 2021)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2021)

Low-resource Learning with Knowledge Graphs: A Comprehensive Survey. - Jiaoyan Chen 001; Yuxia Geng; Zhuo Chen 007; Jeff Z. Pan; Yuan He 008; Wen Zhang 015; Ian Horrocks 001; Huajun Chen (CoRR, 2021)

OWL2Vec*: embedding of OWL ontologies. - Jiaoyan Chen 001; Pan Hu 001; Ernesto Jiménez-Ruiz; Ole Magnus Holter; Denvar Antonyrajah; Ian Horrocks 001 (Mach. Learn., 2021)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2021)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2021)

BERTMap: A BERT-Based Ontology Alignment System. - Yuan He 008; Jiaoyan Chen 001; Denvar Antonyrajah; Ian Horrocks 001 (AAAI, 2022)

The Dow Jones Knowledge Graph. - Ian Horrocks 001; Jordi Olivares; Valerio Cocchi; Boris Motik; Dylan Roy (ESWC, 2022)

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ernesto Jiménez-Ruiz; Ali Hadian 001; Ian Horrocks 001 (ISWC, 2022)

Results of the Ontology Alignment Evaluation Initiative 2022. - Mina Abd Nikooie Pour; Alsayed Algergawy; Patrice Buche; Leyla Jael Castro; Jiaoyan Chen 001; Hang Dong 002; Omaima Fallatah; Daniel Faria; Irini Fundulaki; Sven Hertling; Yuan He 008; Ian Horrocks 001; et al. (OM@ISWC, 2022)

Modular materialisation of Datalog programs. - Pan Hu 001; Boris Motik; Ian Horrocks 001 (Artif. Intell., 2022)

The delay and window size problems in rule-based stream reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2022)

Contextual Semantic Embeddings for Ontology Subsumption Prediction. - Jiaoyan Chen 001; Yuan He 008; Ernesto Jiménez-Ruiz; Hang Dong 002; Ian Horrocks 001 (CoRR, 2022)

Minimal Explanations for Neural Network Predictions. - Ouns El Harzli; Bernardo Cuenca Grau; Ian Horrocks 001 (CoRR, 2022)

The Complexity and Expressive Power of Limit Datalog. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (J. ACM, 2022)

RSAComb - Combined approach for Conjunctive Query answering in RSA. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

ACQuA - A hybrid framework providing a CQ answering service for OWL. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

Benchmarks and scripts for ACQuA and RSAComb. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Zenodo, 2022)

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ernesto Jiménez-Ruiz; Ali Hadian 001; Ian Horrocks 001 (Zenodo, 2022)

Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ernesto Jiménez-Ruiz; Ali Hadian 001; Ian Horrocks 001 (Zenodo, 2022)

Language Model Analysis for Ontology Subsumption Inference. - Yuan He 008; Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Hang Dong 002; Ian Horrocks 001 (ACL (Findings), 2023)

Ontology Enrichment from Texts: A Biomedical Dataset for Concept Discovery and Placement. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Ian Horrocks 001 (CIKM, 2023)

Reveal the Unknown: Out-of-Knowledge-Base Mention Discovery with Entity Linking. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Yinan Liu 001; Ian Horrocks 001 (CIKM, 2023)

Subsumption Prediction for E-Commerce Taxonomies. - Jingchuan Shi; Jiaoyan Chen 001; Hang Dong 002; Ishita Khan; Lizzie Liang; Qunzhi Zhou; Zhe Wu; Ian Horrocks 001 (ESWC, 2023)

Cardinality-Minimal Explanations for Monotonic Neural Networks. - Ouns El Harzli; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2023)

Enhancing Datalog Reasoning with Hypertree Decompositions. - Xinyue Zhang; Pan Hu 001; Yavor Nenov; Ian Horrocks 001 (IJCAI, 2023)

Revisiting Inferential Benchmarks for Knowledge Graph Completion. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (KR, 2023)

Results of the Ontology Alignment Evaluation Initiative 2023. - Mina Abd Nikooie Pour; Alsayed Algergawy; Patrice Buche; Leyla Jael Castro; Jiaoyan Chen 001; Adrien Coulet; Julien Cufi; Hang Dong 002; Omaima Fallatah; Daniel Faria; Irini Fundulaki; Sven Hertling; et al. (OM@ISWC, 2023)

Exploring Large Language Models for Ontology Alignment. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ian Horrocks 001 (ISWC (Posters/Demos/Industry), 2023)

Box2EL: Concept and Role Box Embeddings for the Description Logic EL++. - Mathias Jackermeier; Jiaoyan Chen 001; Ian Horrocks 001 (CoRR, 2023)

An assertion and alignment correction framework for large scale knowledge bases. - Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Ian Horrocks 001; Xi Chen 003; Erik Bryhn Myklebust (Semantic Web, 2023)

Conjunctive query answering over unrestricted OWL 2 ontologies. - Federico Igne; Stefano Germano; Ian Horrocks 001 (Semantic Web, 2023)

Transactions on Graph Data and Knowledge. - Aidan Hogan; Ian Horrocks 001; Andreas Hotho; Lalana Kagal (TGDK, 2023)

OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference. - Yuan He 008; Jiaoyan Chen 001; Ernesto Jiménez-Ruiz; Hang Dong 002; Ian Horrocks 001 (Zenodo, 2023)

Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Ian Horrocks 001 (Zenodo, 2023)

Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Ian Horrocks 001 (Zenodo, 2023)

Zero-Shot and Few-Shot Learning With Knowledge Graphs: A Comprehensive Survey. - Jiaoyan Chen 001; Yuxia Geng; Zhuo Chen 007; Jeff Z. Pan; Yuan He 008; Wen Zhang 015; Ian Horrocks 001; Huajun Chen (Proc. IEEE, 2023)

Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ernesto Jiménez-Ruiz; Ali Hadian 001; Ian Horrocks 001 (Zenodo, 2023)

Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Ian Horrocks 001 (Zenodo, 2023)

Datasets for Out-of-KB Mention Discovery with Entity Linking. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Yinan Liu 001; Ian Horrocks 001 (Zenodo, 2023)

Contextual semantic embeddings for ontology subsumption prediction. - Jiaoyan Chen 001; Yuan He 008; Yuxia Geng; Ernesto Jiménez-Ruiz; Hang Dong 002; Ian Horrocks 001 (World Wide Web (WWW), 2023)

Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Ian Horrocks 001 (Zenodo, 2023)

Optimised Storage for Datalog Reasoning. - Xinyue Zhang; Pan Hu 001; Yavor Nenov; Ian Horrocks 001 (AAAI, 2024)

Ontology Text Alignment: Aligning Textual Content to Terminological Axioms. - Jieying Chen 001; Hang Dong 002; Jiaoyan Chen 001; Ian Horrocks 001 (ECAI, 2024)

A Language Model Based Framework for New Concept Placement in Ontologies. - Hang Dong 002; Jiaoyan Chen 001; Yuan He 008; Yongsheng Gao 005; Ian Horrocks 001 (ESWC (1), 2024)

Orbit-Equivariant Graph Neural Networks. - Matthew Morris; Bernardo Cuenca Grau; Ian Horrocks 001 (ICLR, 2024)

Faithful Rule Extraction for Differentiable Rule Learning Models. - Xiaxia Wang 001; David Jaime Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (ICLR, 2024)

Relational Graph Convolutional Networks Do Not Learn Sound Rules. - Matthew Morris; David J. Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2024)

Language Models as Hierarchy Encoders. - Yuan He 008; Moy Yuan; Jiaoyan Chen 001; Ian Horrocks 001 (NeurIPS, 2024)

Results of the Ontology Alignment Evaluation Initiative 2024. - Mina Abd Nikooie Pour; Alsayed Algergawy; Eva Blomqvist; Patrice Buche; Jiaoyan Chen 001; Adrien Coulet; Julien Cufi; Hang Dong 002; Daniel Faria; Lucas Ferraz; Pedro Giesteira Cotovio; Yuan He 008; et al. (OM@ISWC, 2024)

Dual Box Embeddings for the Description Logic EL++. - Mathias Jackermeier; Jiaoyan Chen 001; Ian Horrocks 001 (WWW, 2024)

Taxonomy Completion via Implicit Concept Insertion. - Jingchuan Shi; Hang Dong 002; Jiaoyan Chen 001; Zhe Wu; Ian Horrocks 001 (WWW, 2024)

Language Models as Hierarchy Encoders. - Yuan He 008; Zhangdie Yuan; Jiaoyan Chen 001; Ian Horrocks 001 (CoRR, 2024)

DeepOnto: A Python package for ontology engineering with deep learning. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ian Horrocks 001; Carlo Allocca; Taehun Kim; Brahmananda Sapkota (Semantic Web, 2024)

Resources for Graph Data and Knowledge. - Aidan Hogan; Ian Horrocks 001; Andreas Hotho; Lalana Kagal; Uli Sattler (TGDK, 2024)

Datasets for the Hierarchy Transformer Encoders (HiTs). - Yuan He 008; Zhangdie Yuan; Jiaoyan Chen 001; Ian Horrocks 001 (Zenodo, 2024)

Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching. - Yuan He 008; Jiaoyan Chen 001; Hang Dong 002; Ernesto Jiménez-Ruiz; Ali Hadian 001; Ian Horrocks 001 (Zenodo, 2024)

Datasets for the Hierarchy Transformer Encoders (HiTs). - Yuan He 008; Zhangdie Yuan; Jiaoyan Chen 001; Ian Horrocks 001 (Zenodo, 2024)

Supposedly Equivalent Facts That Aren't? Entity Frequency in Pre-training Induces Asymmetry in LLMs. - Yuan He 008; Bailan He; Zifeng Ding; Alisia Maria Lupidi; Yuqicheng Zhu; Shuo Chen 014; Caiqi Zhang; Jiaoyan Chen 001; Yunpu Ma; Volker Tresp; Ian Horrocks 001 (CoRR, 2025)

Language Models as Ontology Encoders. - Hui Yang; Jiaoyan Chen 001; Yuan He 008; Yongsheng Gao 005; Ian Horrocks 001 (CoRR, 2025)

Ontology Embedding: A Survey of Methods, Applications and Resources. - Jiaoyan Chen 001; Olga Mashkova; Fernando Zhapa-Camacho; Robert Hoehndorf; Yuan He 008; Ian Horrocks 001 (IEEE Trans. Knowl. Data Eng., 2025)