Ian Horrocks

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

Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013)

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013)

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

Ian Horrocks: Semantics ⊓ scalability ⊨ ⊥? Journal of Zhejiang University - Science C 13(4): 241-244 (2012)

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos: A novel approach to ontology classification. J. Web Sem. 14: 84-101 (2012)

Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012

Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: Modular Combination of Reasoners for Ontology Classification. Description Logics 2012

Giorgio Stefanoni, Boris Motik, Ian Horrocks: Small Datalog Query Rewritings for EL. Description Logics 2012

Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks: Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Description Logics 2012

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

Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344

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

Despoina Magka, Boris Motik, Ian Horrocks: Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012

Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: MORe: Modular Combination of OWL Reasoners for Ontology Classification. International Semantic Web Conference (1) 2012: 1-16

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

Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu (Eds.): The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings. Lecture Notes in Computer Science 7185, Springer 2012, isbn 978-3-642-29922-3

Markus Krötzsch, Frantisek Simancik, Ian Horrocks: A Description Logic Primer. CoRR abs/1201.4089 (2012)

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

Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reasoning 47(4): 427-450 (2011)

Ian Horrocks: Tool Support for Ontology Engineering. Foundations for the Web of Information and Services 2011: 103-112

Ilianna Kollia, Birte Glimm, Ian Horrocks: Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics 2011

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

Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks: Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098

Ilianna Kollia, Birte Glimm, Ian Horrocks: Answering Queries over OWL Ontologies with SPARQL. OWLED 2011

Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks: Repairing Ontologies for Incomplete Reasoners. International Semantic Web Conference (1) 2011: 681-696

Despoina Magka, Boris Motik, Ian Horrocks: Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75

Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras: Reasoning with Very Expressive Fuzzy Description Logics. CoRR abs/1111.0039 (2011)

Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011)

Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Tractable query answering and rewriting under description logic constraints. J. Applied Logic 8(2): 186-209 (2010)

Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks: How Incomplete Is Your Semantic Web Reasoner? AAAI 2010

Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75

Birte Glimm, Ian Horrocks, Boris Motik: Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471

Birte Glimm, Ian Horrocks, Boris Motik: Optimized DL Reasoning via Core Blocking. Description Logics 2010

Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010

Ian Horrocks: Scalable ontology-based information systems. EDBT 2010: 2

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

Ian Horrocks: Ontology Languages and Engineering. KSEM 2010: 2

Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos: Optimising Ontology Classification. International Semantic Web Conference (1) 2010: 225-240

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

Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks: Completeness Guarantees for Incomplete Reasoners. International Semantic Web Conference (1) 2010: 747-763

Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, isbn 978-3-642-17745-3

Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, isbn 978-3-642-17748-4

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009)

Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)

Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)

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

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

Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009

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

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Logic-based Ontology Integration using ContentMap. JISBD 2009: 316-319

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

Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504

Rob Shearer, Ian Horrocks: Exploiting Partial Information in Taxonomy Construction. International Semantic Web Conference 2009: 569-584

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

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

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009

Ian Horrocks: Ontologies and the semantic web. Commun. ACM 51(12): 58-67 (2008)

Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)

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

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)

Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242

Boris Motik, Ian Horrocks: Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258

Birte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008

Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008

Bernardo Cuenca Grau, Ian Horrocks: Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI 2008: 40-44

Birte Glimm, Ian Horrocks, Ulrike Sattler: Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008

Rob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008

Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214

Boris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322

Ian Horrocks, Sean Bechhofer: Semantic Web. Web Accessibility 2008: 315-330

Ian Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007)

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

Ian Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007)

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)

Ian Horrocks: Logic for Ontology Engineering Corner. J. Log. Comput. 17(4): 615 (2007)

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

Peter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)

Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83

Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007

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

Boris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007

Ian Horrocks: Semantic Web: The Story So Far. ICTAI (1) 2007

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303

Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404

Christine Golbreich, Ian Horrocks: The OBO to OWL Mapping, GO to OWL 1.1! OWLED 2007

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

Boris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007

Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182

Ian Horrocks: Semantic web: the story so far. W4A 2007: 120-125

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726

Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816

Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks: f-SWRL: A Fuzzy Extension of SWRL. : 28-46 (2006)

Jeff Z. Pan, Ian Horrocks: OWL-Eu: Adding customised datatypes into OWL. J. Web Sem. 4(1): 29-39 (2006)

Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324

Dmitry Tsarkov, Ian Horrocks: Description Logic Reasoner: System Description. IJCAR 2006: 292-297

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006

Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006

Ian Horrocks, Andrei Voronkov: Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006: 201-218

Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67

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

Boris Motik, Ian Horrocks: Problems with OWL Syntax. OWLED 2006

Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514

Tom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667

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

Jeff Z. Pan, Ian Horrocks: OWL FA: a metamodeling extension of OWL D. WWW 2006: 1065-1066

Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider (Eds.): Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. CEUR Workshop Proceedings 188, CEUR-WS.org 2006

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)

Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1): 23-40 (2005)

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248

Sean Bechhofer, Ian Horrocks, Daniele Turi: The OWL Instance Store: System Description. CADE 2005: 177-181

Ian Horrocks: OWL: A Description Logic Based Ontology Language. CP 2005: 5-8

Birte Glimm, Ian Horrocks: Handling Cyclic Conjunctive Queries. Description Logics 2005

Dmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005

Jeff Z. Pan, Ian Horrocks: OWL-Eu: Adding Customised Datatypes into OWL. ESWC 2005: 153-166

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

Ian Horrocks: Applications of Description Logics: State of the Art and Research Challenges. ICCS 2005: 78-90

Ian Horrocks: OWL: A Description Logic Based Ontology Language. ICLP 2005: 1-4

Ian Horrocks, Ulrike Sattler: A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453

Dmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614

Ian Horrocks: Description Logics in Ontology Applications. KI 2005: 16

Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005

Jeff Z. Pan, Ian Horrocks: Introducing Customised Datatypes and Datatype Predicates into OWL. OWLED 2005

Jeff Z. Pan, Ian Horrocks, Guus Schreiber: OWL FA: A Metamodeling Extension of OWL DL. OWLED 2005

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

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

Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks: The Fuzzy Description Logic f-SHIN. ISWC-URSW 2005: 67-76

Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens: A Little Semantic Web Goes a Long Way in Biology. International Semantic Web Conference 2005: 786-800

Ian Horrocks: Description Logics in Ontology Applications. TABLEAUX 2005: 2-13

Ian Horrocks: OWL Rules, OK? Rule Languages for Interoperability 2005

Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks: A Fuzzy Extension of SWRL. Rule Languages for Interoperability 2005

Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005

Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)

Ian Horrocks: WWW conference special issue. J. Web Sem. 1(2): 139-140 (2004)

Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)

Richard Fikes, Patrick J. Hayes, Ian Horrocks: OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Sem. 2(1): 19-29 (2004)

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28

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

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

Dmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485

Ian Horrocks, Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004: 723-731

Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner: Where Are the Rules? IEEE Intelligent Systems 18(5): 76-83 (2003)

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

Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Ontologies and Schema Languages on the Web. Spinning the Semantic Web 2003: 95-139

Ian Horrocks: Implementation and Optimization Techniques. Description Logic Handbook 2003: 306-346

Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty: Digital Libraries and Web-based Information Systems. Description Logic Handbook 2003: 427-449

Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003

Lei Li, Ian Horrocks: Matchmarking Using an Instance Store: Some Preliminary Results. Description Logics 2003

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

Dmitry Tsarkov, Ian Horrocks: DL Reasoner vs. First-Order Prover. Description Logics 2003

Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348

Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354

Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29

Jeff Z. Pan, Ian Horrocks: RDFS(FA) and RDF MT: Two Semantics for RDFS. International Semantic Web Conference 2003: 30-46

Jeff Z. Pan, Ian Horrocks: Web Ontology Reasoning with Datatype Groups. International Semantic Web Conference 2003: 47-63

Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks: A Semantic Infosphere. International Semantic Web Conference 2003: 882-896

Ian Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47

Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker: Description logic programs: combining logic programs with description logic. WWW 2003: 48-57

Lei Li, Ian Horrocks: A software framework for matchmaking based on semantic web technology. WWW 2003: 331-339

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

Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Enabling knowledge representation on the Web by extending RDF Schema. Computer Networks 39(5): 609-634 (2002)

Ian Horrocks: DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Eng. Bull. 25(1): 4-9 (2002)

Ian Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)

Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)

Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer: OILing the way to machine understandable bioinformatics resources. IEEE Transactions on Information Technology in Biomedicine 6(2): 129-134 (2002)

Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer: Building a bioinformatics ontology using OIL. IEEE Transactions on Information Technology in Biomedicine 6(2): 135-141 (2002)

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

Ian Horrocks: Reasoning with Expressive Description Logics: Theory and Practice. CADE 2002: 1-15

Jeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1067-1081

Jeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1362

Ian Horrocks, Ulrike Sattler: Optimised Reasoning for SHIQ. ECAI 2002: 277-281

Ian Horrocks: DAML+OIL: A Reason-able Web Ontology Language. EDBT 2002: 2-13

Sergio Tessaris, Ian Horrocks, Graham Gough: Evaluating a Modular Abox Algorithm. KR 2002: 227-238

Sergio Tessaris, Ian Horrocks: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002: 435-449

Ian Horrocks, Sergio Tessaris: Querying the Semantic Web: A Formal Approach. International Semantic Web Conference 2002: 177-191

Ian Horrocks: DAML+OIL: A Reason-Able Web Ontology Language. WES 2002: 174

Ian Horrocks, Sergio Tessaris (Eds.): Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR Workshop Proceedings 53, CEUR-WS.org 2002

Ian Horrocks, James A. Hendler (Eds.): The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2342, Springer 2002, isbn 3-540-43760-6

Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems 16(2): 38-45 (2001)

Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens: OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics 2001

Ian Horrocks, Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001

Ian Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204

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

Jeff Z. Pan, Ian Horrocks: Metamodeling Architecture of Web Ontology Languages. SWWS 2001: 131-149

Sean Bechhofer, Carole A. Goble, Ian Horrocks: DAML+OIL is not Enough. SWWS 2001: 151-159

Jeff Z. Pan, Ian Horrocks: Metamodeling Architecture of Web Ontology Languages. The Emerging Semantic Web 2001

Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Enabling knowledge representation on the Web by extending RDF schema. WWW 2001: 467-478

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): 239-263 (2000)

Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): 293-323 (2000)

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

Ian Horrocks, Sergio Tessaris: A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000: 399-404

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496

Sean Bechhofer, Ian Horrocks: Driving User Interfaces from FaCT. Description Logics 2000: 45-54

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

Ian Horrocks, Sergio Tessaris: Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000: 173-182

Ian Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192

Alexander Borgida, Enrico Franconi, Ian Horrocks: Explaining ALC Subsumption. ECAI 2000: 209-213

Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein: OIL in a Nutshell. EKAW 2000: 1-16

Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000: 285-296

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343

Ian Horrocks: Benchmark Analysis with FaCT. TABLEAUX 2000: 62-66

Ian Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Pratice. CoRR cs.LO/0005012 (2000)

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000)

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000)

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000)

Ian Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)

Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)

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

Ian Horrocks, Lin Padgham, Laura Thomson: Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999: 328-339

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

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

Ian Horrocks: FaCT and iFaCT. Description Logics 1999

Ian Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999

Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180

Peter F. Patel-Schneider, Ian Horrocks: DLP and FaCT. TABLEAUX 1999: 19-23

Ian Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246

Ian Horrocks: FaCT. Description Logics 1998

Ian Horrocks: Kris. Description Logics 1998

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

Ian Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998

Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998

Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649

Ian Horrocks, Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998: 27-30

Ian Horrocks: The FaCT System. TABLEAUX 1998: 307-312

Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9(2): 139-171 (1997)

Ian Horrocks, Graham Gough: Description Logics with Transitive Roles. Description Logics 1997

Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.): Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI. URA-CNRS 410, 1997

Ian Horrocks, Alan L. Rector: Using a Description Logic with Concept Inclusions. Description Logics 1996: 132-135

Ian Horrocks, Alan L. Rector, Carole A. Goble: A Description Logic Based Schema for the Classification of Medical Data. KRDB 1996