University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
           Complete Selected Recent Most-cited           

Complete List of Publications


Jump to:
1995, 1996, 1997, 1998, 1999,                                                
2000, 2001, 2002, 2003, 2004,
2005, 2006, 2007, 2008, 2009,
2010, 2011, 2012, 2013, 2014
2015

2016

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. of Artificial Intelligence Research, 55:499-564, 2016. [ bib | .html ]

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, and Ian Horrocks. Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users. Universal Access in the Information Society, 15(1):129-152, 2016. [ bib | http ]

Evgeny Kharlamov, Sebastian Brandt, 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, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, and Arild Waaler. Enabling semantic access to static and streaming distributed data with optique: demo. In DEBS, pages 350-353. ACM, 2016. [ bib | .pdf ]

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. Ontology Module Extraction via Datalog Reasoning. In Proc. of the 2016 Description Logic Workshop (DL 2016), volume 1577 of CEUR Workshop Proceedings. CEUR-WS.org, 2016. [ bib | .pdf ]

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, and Ian Horrocks. Extending Consequence-Based Reasoning to SRIQ. In Proc. of the 15th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2016), pages 187-196. AAAI Press, 2016. [ bib | .pdf ]

Evgeny Kharlamov, Sebastian Brandt, 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, Yannis E. Ioannidis, and Ralf Möller. Ontology-Based Integration of Streaming and Static Relational Data with Optique. In SIGMOD Conference, pages 2109-2112. ACM, 2016. [ bib | .pdf ]

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, and Ian Horrocks. Extending Consequence-Based Reasoning to SRIQ. CoRR, abs/1602.04498, 2016. [ bib | http ]

Valentina Carapella, Ernesto Jiménez-Ruiz, Elena Lukaschuk, Nay Aung, Kenneth Fung, Jose Paiva, Mihir Sanghvi, Stefan Piechnik, Steffen Petersen, Ian Horrocks, and Stefan Neubauer. Towards the Semantic Enrichment of Free-text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans. In Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis (LABELS), 2016. [ bib | .pdf ]

Anthony Potter, Boris Motik, Yavor Nenov, and Ian Horrocks. Distributed RDF Query Answering with Dynamic Data Exchange. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Sebastian Brandt, and Ian Horrocks. SOMM: Industry Oriented Ontology Management Tool. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Evgeny Kharlamov, Yannis Kotidis, T. Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür Özçep, C. Svingos, Dmitriy Zheleznyakov, Sebastian Brandt, Ian Horrocks, Yannis Ioannidis, Steffen Lamparter, and Ralf Möller. Towards Analytics Aware Ontology Based Access to Static and Streaming Data. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, and Michael Rossman. Semantic Technologies for Data Analysis in Health Care. In Proc. of the 15th International Semantic Web Conference (ISWC 2016), Lecture Notes in Computer Science. Springer, 2016. [ bib | .pdf ]

Ian Horrocks, Martin Giese, Evgeny Kharlamov, and Arild Waaler. Using Semantic Technology to Tame the Data Variety Challenge. IEEE Internet Computing, 20:62-66, 2016. [ bib | DOI ]

Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, S. Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, G. Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, R. Moller, and Arild Waaler. A semantic approach to polystores. In BigData, pages 2565-2573. IEEE, 2016. [ bib | .pdf ]

Evgeny Kharlamov, Sebastian Brandt, 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, Dmitriy Zheleznyakov, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller, and Arild Waaler. Scalable Semantic Access to Siemens Static and Streaming Distributed Data. In International Semantic Web Conference (Posters & Demos), volume 1690 of CEUR Workshop Proceedings. CEUR-WS.org, 2016. [ bib | .pdf ]

Evgeny Kharlamov, Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Steffen Lamparter, Gulnar Mehdi, Martin Ringsquandl, Yavor Nenov, Stephan Grimm, Mikhail Roshchin, and Ian Horrocks. Capturing Industrial Information Models with Ontologies and Constraints. In International Semantic Web Conference (2), volume 9982 of Lecture Notes in Computer Science, pages 325-343, 2016. [ bib | .pdf ]

Dmitriy Zheleznyakov, Evgeny Kharlamov, Vidar Klungre, Martin G. Skjæveland, Dag Hovland, Martin Giese, Ian Horrocks, and Arild Waaler. KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction. In International Semantic Web Conference (Posters & Demos), volume 1690 of CEUR Workshop Proceedings. CEUR-WS.org, 2016. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Valentina Carapella, Elena Lukaschuk, Nay Aung, Kenneth Fung, José Paiva, Mihir Sanghvi, Stefan Neubauer, Steffen Petersen, Ian Horrocks, and Stefan Piechnik. Towards the Creation of the Cardiovascular Magnetic Resonance Quality Assessment Ontology (CMR-QA). In SWAT4LS, volume 1795 of CEUR Workshop Proceedings. CEUR-WS.org, 2016. [ bib | .pdf ]

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


2015

Boris Motik, Yavor Nenov, Robert Piro, and Ian Horrocks. Handling owl:sameAs via Rewriting. In Proc. of the 29th Nat. Conf. on Artificial Intelligence (AAAI 15), pages 231-237. AAAI Press, 2015. [ bib | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, and Ian Horrocks. Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. In Proc. of the 29th Nat. Conf. on Artificial Intelligence (AAAI 15), pages 1560-1568. AAAI Press, 2015. [ bib | .pdf ]

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, and Ian Horrocks. Ontology Module Extraction via Datalog Reasoning. In Proc. of the 29th Nat. Conf. on Artificial Intelligence (AAAI 15), 2015. [ bib | .pdf ]

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. The Combined Approach to Query Answering Beyond the OWL 2 Profiles. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), 2015. [ bib | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, and Ian Horrocks. Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), 2015. [ bib | .pdf ]

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, and Ian Horrocks. Extending Consequence-Based Reasoning to SHIQ. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org, 2015. [ bib | .pdf ]

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. Extending the Combined Approach Beyond Lightweight Description Logics. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org, 2015. [ bib | .pdf ]

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, and Ian Horrocks. PAGOdA: Pay-as-you-go ABox Reasoning. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org, 2015. [ bib | .pdf ]

Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, and Jay Banerjee. RDFox: A Highly-Scalable RDF Store. In Proc. of the 14th International Semantic Web Conference (ISWC 2015), Lecture Notes in Computer Science. Springer, 2015. [ bib | .pdf ]

Evgeny Kharlamov, Dag Hovland, Ernesto Jiménez-Ruiz, Davide Lanti, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Evgenij Thorstensen, Guohui Xiao, Dmitriy Zheleznyakov, Eldar Bjørge, and Ian Horrocks. Ontology Based Access to Exploration Data at Statoil. In Proc. of the 14th International Semantic Web Conference (ISWC 2015), volume 9367 of Lecture Notes in Computer Science, pages 93-112. Springer, 2015. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skæveland, Evgenij Thorstensen, and Jose Mora. BootOX: Practical Mapping of RDBs to OWL 2. In Proc. of the 14th International Semantic Web Conference (ISWC 2015), volume 9367 of Lecture Notes in Computer Science, pages 113-132. Springer, 2015. [ bib | .pdf ]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, and Ian Horrocks. Ontology-based Query Answering with PAGOdA. In Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, and Giorgos Stoilos, editors, Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015., volume 1387 of CEUR Workshop Proceedings, pages 1-7. CEUR-WS.org, 2015. [ bib | .pdf ]

Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, and Ian Horrocks. PAGOdA: Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. J. of Artificial Intelligence Research, 54:309-367, 2015. [ bib | .html ]

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, and Ian Horrocks. Ontology-Based Visual Query Formulation: An Industry Experience. In ISVC (1), volume 9474 of Lecture Notes in Computer Science, pages 842-854. Springer, 2015. [ bib | .pdf ]

Evgeny Kharlamov, Sebastian Brandt, 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, and Ian Horrocks. Semantic Access to Siemens Streaming Data: the Optique Way. In International Semantic Web Conference (Posters & Demos), volume 1486 of CEUR (http://ceur-ws.org/), 2015. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks, Christoph Pinkel, Martin G. Skjæveland, Evgenij Thorstensen, and José Mora. BootOX: Bootstrapping OWL 2 Ontologies and R2RML Mappings from Relational Databases. In International Semantic Web Conference (Posters & Demos), volume 1486 of CEUR (http://ceur-ws.org/), 2015. [ bib | .pdf ]

Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Christoph Pinkel, Martin Rezk, Martin G. Skjæveland, Ahmet Soylu, Guohui Xiao, Dmitriy Zheleznyakov, Martin Giese, Ian Horrocks, and Arild Waaler. Optique: Ontology-Based Data Access Platform. In International Semantic Web Conference (Posters & Demos), volume 1486 of CEUR (http://ceur-ws.org/), 2015. [ bib | .pdf ]

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, and Ian Horrocks. OptiqueVQS: Ontology-Based Visual Querying. In VOILA@ISWC, volume 1456 of CEUR Workshop Proceedings, page 91. CEUR-WS.org, 2015. [ bib | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, and Ian Horrocks. Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR, abs/1505.00212, 2015. [ bib | http ]


2014

František Simančík, Boris Motik, and Ian Horrocks. Consequence-Based and Fixed-Parameter Tractable Reasoning in Description Logics. Artificial Intelligence, 209:29-77, 2014. [ bib | DOI | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, and Dan Olteanu. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. In Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI 14), pages 129-137. AAAI Press, 2014. [ bib | .pdf ]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, and Ian Horrocks. Pay-as-you-go OWL Query Answering Using a Triple Store. In Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI 14), pages 1142-1148. AAAI Press, 2014. [ bib | .pdf ]

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, and Ian Horrocks. EL-ifying Ontologies. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2014), volume 8562 of Lecture Notes in Artificial Intelligence, pages 464-479. Springer, 2014. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. HermiT: An OWL 2 Reasoner. J. of Automated Reasoning, 53(3):245-269, 2014. [ bib | DOI | .pdf ]

Despoina Magka, Markus Krötzsch, and Ian Horrocks. A rule-based ontological framework for the classification of molecules. J. of Biomedical Semantics, 5(17), 2014. [ bib | .pdf ]

Markus Krötzsch, František Simančík, and Ian Horrocks. Description Logics. IEEE Intelligent Systems, 29(1):12-19, 2014. [ bib | .pdf ]

David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, and Ian Horrocks. Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop Proceedings, pages 128-140. CEUR-WS.org, 2014. [ bib | .pdf ]

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, and Dan Olteanu. Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop Proceedings, pages 311-323. CEUR-WS.org, 2014. [ bib | .pdf ]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, and Ian Horrocks. Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop Proceedings, pages 352-364. CEUR-WS.org, 2014. [ bib | .pdf ]

Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, and Ian Horrocks. OptiqueVQS: Visual Query Formulation for OBDA. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop Proceedings, pages 725-728. CEUR-WS.org, 2014. [ bib | .pdf ]

Anthony Potter, Boris Motik, and Ian Horrocks. Querying Distributed RDF Graphs: The Effects of Partitioning. In Proc. of 10th International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), CEUR (http://ceur-ws.org/), 2014. [ bib | .pdf ]

David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, and Ian Horrocks. Pushing the Boundaries of Tractable Ontology Reasoning. In Proc. of the 13th International Semantic Web Conference (ISWC 2014), volume 8797 of Lecture Notes in Computer Science, pages 148-163. Springer, 2014. [ bib | DOI | .pdf ]

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, and Ian Horrocks. Towards Exploiting Query History for Adaptive Ontology-Based Visual Query Formulation. In Proc. of Metadata and Semantics Research - 8th Research Conference, MTSR 2014, volume 478 of Communications in Computer and Information Science, pages 107-119. Springer, 2014. [ bib | DOI | .pdf ]

Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, and Ian Horrocks. Why not simply Google? In Proc. of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pages 1039-1042. ACM, 2014. [ bib | DOI | .pdf ]


2013

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

Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, and Jay Banerjee. Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner. In Proc. of the Twentysecond International World Wide Web Conference (WWW 2013). ACM, 2013. [ bib | .pdf ]

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. Computing Datalog Rewritings beyond Horn Ontologies. CoRR, abs/1304.1402, 2013. [ bib | .pdf ]

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. Computing Datalog Rewritings beyond Horn Ontologies. In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), 2013. [ bib | .pdf ]

Giorgio Stefanoni, Boris Motik, and Ian Horrocks. Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR, abs/1303.7430, 2013. [ bib | .pdf ]

Giorgio Stefanoni, Boris Motik, and Ian Horrocks. Introducing Nominals to the Combined Query Answering Approaches for EL. In Proc. of the 27th Nat. Conf. on Artificial Intelligence (AAAI 13), 2013. [ bib | .pdf ]

Despoina Magka, Markus Krötzsch, and Ian Horrocks. Computing Stable Models for Nonmonotonic Existential Rules. In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), August 2013. [ bib | .pdf ]

Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, and Laurent Pierre. The Energy Management Adviser at EDF. In Proc. of the 12th International Semantic Web Conference (ISWC 2013), Lecture Notes in Computer Science, 2013. [ bib | .pdf ]

Despoina Magka, Markus Krötzsch, and Ian Horrocks. Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. In Proc. of the 2013 Description Logic Workshop (DL 2013), 2013. [ bib | .pdf ]

Ian Horrocks. What are ontologies good for? In Bernd-Olaf Küppers, Udo Hahn, and Stefan Artmann, editors, Evolution of Semantic Systems, pages 175-188. Springer, 2013. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, and Ian Horrocks. Evaluating Mapping Repair Systems with Large Biomedical Ontologies. In Proc. of the 2013 Description Logic Workshop (DL 2013), 2013. [ bib | .pdf ]

Giorgio Stefanoni, Boris Motik, and Ian Horrocks. Introducing Nominals to the Combined Query Answering Approaches for EL. In Proc. of the 2013 Description Logic Workshop (DL 2013), 2013. [ bib | .pdf ]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, and Ian Horrocks. Complete Query Answering Over Horn Ontologies Using a Triple Store. In Proc. of the 12th International Semantic Web Conference (ISWC 2013), Lecture Notes in Computer Science, 2013. [ bib | .pdf ]

Martin G. Skjæveland, Espen H. Lian, and Ian Horrocks. Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. In Proc. of the 12th International Semantic Web Conference (ISWC 2013), Lecture Notes in Computer Science, 2013. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, and Zhe Wang. Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. of Artificial Intelligence Research, 47:741-808, August 2013. [ bib | DOI | .pdf ]


2012

Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, and Giorgos Stoilos. A Novel Approach to Ontology Classification. J. of Web Semantics, 14:84-101, 2012. [ bib | .pdf ]

Markus Krötzsch, František Simančík, and Ian Horrocks. A Description Logic Primer. CoRR, abs/1201.4089, 2012. [ bib | http ]

Boris Motik, Ian Horrocks, and Su Myeon Kim. Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform. In Proc. of the Twentyfirst International World Wide Web Conference (WWW 2012). ACM, 2012. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, and Zhe Wang. Acyclicity Conditions and their Application to Query Answering in Description Logics. In Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), 2012. [ bib | .pdf ]

Ian Horrocks. Semantics scalability ? Journal of Zhejiang University - Science C, 13(4):241-244, 2012. [ bib | DOI | .pdf ]

Despoina Magka, Boris Motik, and Ian Horrocks. Classifying Chemicals Using Description Graphs and Logic Programming. In Proc. of the 9th Int. Workshop on OWL Experiences and Directions (OWLED 2012), 2012. [ bib | .pdf ]

Despoina Magka, Boris Motik, and Ian Horrocks. Modelling Structured Domains Using Description Graphs and Logic Programming. In Proc. of the 9th European Semantic Web Conf. (ESWC 2012), volume 7295 of Lecture Notes in Computer Science, pages 330-344, 2012. [ bib | .pdf ]

Giorgio Stefanoni, Boris Motik, and Ian Horrocks. Small Datalog Query Rewritings for EL. In Proc. of the 2012 Description Logic Workshop (DL 2012), volume 846 of CEUR (http://ceur-ws.org/), 2012. [ bib | .pdf ]

Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks. Modular Combination of Reasoners for Ontology Classification. In Proc. of the 2012 Description Logic Workshop (DL 2012), volume 846 of CEUR (http://ceur-ws.org/), 2012. [ bib | .pdf ]

Despoina Magka, Boris Motik, and Ian Horrocks. Modelling Structured Domains Using Description Graphs and Logic Programming. In Proc. of the 2012 Description Logic Workshop (DL 2012), volume 846 of CEUR (http://ceur-ws.org/), 2012. [ bib | .pdf ]

Yujiao Zhou, Bernardo Cuenca Grau, and Ian Horrocks. Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. In Proc. of the 2012 Description Logic Workshop (DL 2012), volume 846 of CEUR (http://ceur-ws.org/), 2012. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, and Ian Horrocks. Large-scale Interactive Ontology Matching: Algorithms and Implementation. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI 2012), pages 444-449. IOS Press, 2012. [ bib | .pdf ]

Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks. MORe: Modular Combination of OWL Reasoners for Ontology Classification. In Proc. of the 11th International Semantic Web Conference (ISWC 2012), volume 7649 of Lecture Notes in Computer Science, pages 1-16. Springer, 2012. [ bib | .pdf ]

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks. Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. of Artificial Intelligence Research, 43:419-476, March 2012. [ bib | .pdf ]


2011

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. Supporting Concurrent Ontology Development: Framework, Algorithms and Tool. Data and Knowledge Engineering, 70(1):146-164, 2011. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. KR and Reasoning on the Semantic Web: OWL. In John Domingue, Dieter Fensel, and James A. Hendler, editors, Handbook of Semantic Web Technologies, chapter 9, pages 365-398. Springer, 2011. [ bib | DOI | .pdf ]

Ilianna Kollia, Birte Glimm, and Ian Horrocks. SPARQL Query Answering over OWL Ontologies. In Proc. of the 8th European Semantic Web Conf. (ESWC 2011), Lecture Notes in Computer Science, pages 382-396. Springer, 2011. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. Logic-based assessment of the compatibility of UMLS ontology sources. Journal of Biomedical Semantics, 2(Suppl 1):S2, 2011. [ bib | DOI | .pdf ]

František Simančík, Yevgeny Kazakov, and Ian Horrocks. Consequence-Based Reasoning beyond Horn Ontologies. In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pages 1093-1098, 2011. [ bib | .pdf ]

Ilianna Kollia, Birte Glimm, and Ian Horrocks. Query Answering over SROIQ Knowledge Bases with SPARQL. In Proc. of the 2011 Description Logic Workshop (DL 2011), volume 745 of CEUR (http://ceur-ws.org/), 2011. [ bib | .pdf ]

Ilianna Kollia, Birte Glimm, and Ian Horrocks. Query Answering over SROIQ Knowledge Bases with SPARQL. In Proc. of the 8th Int. Workshop on OWL Experiences and Directions (OWLED 2011), 2011. [ bib | .pdf ]

Ian Horrocks. Tool Support for Ontology Engineering. In Dieter Fensel, editor, Foundations for the Web of Information and Services, pages 103-112. Springer, 2011. [ bib | DOI | .pdf ]

Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, and Ian Horrocks. Repairing Ontologies for Incomplete Reasoners. In Proc. of the 10th International Semantic Web Conference (ISWC 2011), volume 7031 of Lecture Notes in Computer Science, pages 681-696. Springer, 2011. [ bib | .pdf ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks. Tractable Extensions of the Description Logic EL with Numerical Datatypes. J. of Automated Reasoning, 47(4):427-450, 2011. [ bib | .pdf ]


2010

Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Tractable Query Answering and Rewriting under Description Logic Constraints. J. of Applied Logic, 8(2):186-209, 2010. DOI 10.1016/j.jal.2009.09.004. [ bib | DOI | .pdf ]

Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks. How Incomplete is your Semantic Web Reasoner? In Proc. of the 24th Nat. Conf. on Artificial Intelligence (AAAI 10), pages 1431-1436. AAAI Publications, 2010. [ bib | .pdf ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks. Tractable Extensions of the Description Logic EL with Numerical Datatypes. In Jürgen Giesl and Reiner Hähnle, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), volume 6173 of Lecture Notes in Artificial Intelligence, pages 61-75. Springer, 2010. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Boris Motik. Optimized Description Logic Reasoning via Core Blocking. In Jürgen Giesl and Reiner Hähnle, editors, Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), volume 6173 of Lecture Notes in Artificial Intelligence, pages 457-471. Springer, 2010. [ bib | .pdf ]

Despoina Magka, Yevgeny Kazakov, and Ian Horrocks. Tractable Extensions of the Description Logic EL with Numerical Datatypes. In Proc. of the 2010 Description Logic Workshop (DL 2010), volume 573 of CEUR (http://ceur-ws.org/), 2010. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Boris Motik. Optimized Description Logic Reasoning via Core Blocking. In Proc. of the 2010 Description Logic Workshop (DL 2010), volume 573 of CEUR (http://ceur-ws.org/), 2010. [ bib | .pdf ]

Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks. Completeness Guarantees for Incomplete Reasoners. In Proc. of the 9th International Semantic Web Conference (ISWC 2010), volume 6496 of Lecture Notes in Computer Science, pages 747-763. Springer, 2010. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos. Optimising Ontology Classification. In Proc. of the 9th International Semantic Web Conference (ISWC 2010), volume 6496 of Lecture Notes in Computer Science, pages 225-240. Springer, 2010. [ bib | .pdf ]


2009

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Extracting Modules from Ontologies: A Logic-based Approach. In Heiner Stuckenschmidt, Christine Parent, and Stefano Spaccapietra, editors, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, volume 5445 of Lecture Notes in Computer Science, pages 159-186. Springer, 2009. [ bib | .pdf ]

Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging the Gap Between OWL and Relational Databases. J. of Web Semantics, 7(2):74-89, April 2009. [ bib | DOI | .pdf ]

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler. Representing Ontologies Using Description Logics, Description Graphs, and Rules. Artificial Intelligence, 173(14):1275-1309, 2009. [ bib | DOI | .pdf ]

Rob Shearer, Ian Horrocks, and Boris Motik. Exploiting Partial Information in Taxonomy Construction. In Proc. of the 2009 Description Logic Workshop (DL 2009), volume 477 of CEUR (http://ceur-ws.org/), 2009. [ bib | .pdf ]

Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. A Comparison of Query Rewriting Techniques for DL-Lite. In Proc. of the 2009 Description Logic Workshop (DL 2009), volume 477 of CEUR (http://ceur-ws.org/), 2009. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. In Proc. of the 6th European Semantic Web Conf. (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, pages 173-187. Springer, 2009. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga. Building Ontologies Collaboratively Using ContentCVS. In Proc. of the 2009 Description Logic Workshop (DL 2009), volume 477 of CEUR (http://ceur-ws.org/), 2009. [ bib | .pdf ]

Rob Shearer and Ian Horrocks. Exploiting Partial Information in Taxonomy Construction. In Proc. of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 569-584. Springer, 2009. [ bib | .pdf ]

Héctor Pérez-Urbina, Ian Horrocks, and Boris Motik. Efficient Query Answering for OWL 2. In Proc. of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 489-504. Springer, 2009. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. Logic-based Ontology Integration using ContentMap. In Antonio Vallecillo and Goiuria Sagardui, editors, Proc. of XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), pages 316-319, 2009. [ bib | .pdf ]

Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau Reasoning for Description Logics. J. of Artificial Intelligence Research, 36:165-228, 2009. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga Llavori. ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool (Demo). In Proc. of the 2nd Int. Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009), volume 559 of CEUR (http://ceur-ws.org/), 2009. [ bib | .pdf ]

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, and Ian Horrocks. Towards a Logic-based Assessment of the compatibility of UMLS sources. In Proc. of the 2nd Int. Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009), volume 559 of CEUR (http://ceur-ws.org/), 2009. [ bib | .pdf ]


2008

Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, chapter 3, pages 135-180. Elsevier, 2008. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Modular Reuse of Ontologies: Theory and Practice. J. of Artificial Intelligence Research, 31:273-318, 2008. [ bib | .pdf ]

Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Rewriting Conjunctive Queries over Description Logic Knowledge Bases. In Proc. of the Int. Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), volume 4925 of Lecture Notes in Computer Science, pages 199-214. Springer, 2008. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler. Conjunctive Query Answering for the Description Logic SHIQ. J. of Artificial Intelligence Research, 31:157-204, 2008. [ bib | .pdf ]

Duc Thanh Tran, Peter Haase, Bernardo Cuenca Grau, Boris Motik, and Ian Horrocks. Metalevel Information in Ontology-Based Applications. In Proc. of the 23rd Nat. Conf. on Artificial Intelligence (AAAI 08), pages 1237-1242, 2008. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Ulrike Sattler. Deciding SHOQ Knowledge Base Consistency using Alternating Automata. In Proc. of the 2008 Description Logic Workshop (DL 2008), CEUR (http://ceur-ws.org/), 2008. [ bib | .pdf ]

Rob Shearer, Boris Motik, and Ian Horrocks. Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. In Proc. of the 2008 Description Logic Workshop (DL 2008), CEUR (http://ceur-ws.org/), 2008. [ bib | .pdf ]

Boris Motik and Ian Horrocks. Individual Reuse in Description Logic Reasoning. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2008), pages 242-258, 2008. [ bib | .pdf ]

Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks. Rewriting Conjunctive Queries over Description Logic Constraints. In Proc. of the Int. Workshop on Logics in Databases (LID 2008), 2008. [ bib | .pdf ]

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler. Representing Structured Objects using Description Graphs. In Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pages 296-306, 2008. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Ulrike Sattler. Unions of Conjunctive Queries in SHOQ. In Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pages 252-262, 2008. [ bib | .pdf ]

Bernardo Cuenca Grau and Ian Horrocks. Privacy-Preserving Query Answering in Logic-based Information Systems. In Proc. of the 18th Eur. Conf. on Artificial Intelligence (ECAI 2008), pages 40-44. IOS Press, 2008. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler. OWL 2: The next step for OWL. J. of Web Semantics, 6(4):309-322, November 2008. [ bib | DOI | .pdf ]

Ian Horrocks. Ontologies and the semantic web. Communications of the ACM, 51(12):58-67, December 2008. [ bib | .pdf ]

Boris Motik and Ian Horrocks. OWL Datatypes: Design and Implementation. In Proc. of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of Lecture Notes in Computer Science, pages 307-322. Springer, 2008. [ bib | .pdf ]

Ian Horrocks and Sean Bechhofer. Semantic Web. Human-Computer Interaction Series, chapter 19, pages 315-330. Springer, London, 1st edition, September 2008. [ bib | DOI | .pdf ]

Rob Shearer, Boris Motik, and Ian Horrocks. HermiT: A Highly-Efficient OWL Reasoner. In Proc. of the 5th Int. Workshop on OWL Experiences and Directions (OWLED 2008), volume 432 of CEUR (http://ceur-ws.org/), 2008. [ bib | .pdf ]

Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler. Modeling Ontologies using OWL, Description Graphs, and Rules. In Proc. of the 5th Int. Workshop on OWL Experiences and Directions (OWLED 2008), volume 432 of CEUR (http://ceur-ws.org/), 2008. [ bib | .pdf ]


2007

Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler. Conjunctive Query Answering for the Description Logic SHIQ. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pages 399-404, 2007. [ bib | .pdf ]

Bernardo Cuenca Grau, Yevgeny Kazakov, Ian Horrocks, and Ulrike Sattler. A Logical Framework for Modular Integration of Ontologies. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pages 298-303, 2007. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. on Knowledge and Data Engineering, 19(2):192-206, 2007. [ bib | .pdf ]

Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging the Gap Between OWL and Relational Databases. In Proc. of the Sixteenth International World Wide Web Conference (WWW 2007), 2007. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Just the Right Amount: Extracting Modules from Ontologies. In Proc. of the Sixteenth International World Wide Web Conference (WWW 2007), 2007. [ bib | .pdf ]

Boris Motik, Rob Shearer, and Ian Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. In Proc. of the 21st Int. Conf. on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 67-83. Springer, 2007. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. A Tableau Decision Procedure for SHOIQ. J. of Automated Reasoning, 39(3):249-276, 2007. [ bib | DOI | .pdf ]

Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider. Optimizing Terminological Reasoning for Expressive Description Logics. J. of Automated Reasoning, 39(3):277-316, 2007. [ bib | DOI | .pdf ]

Ian Horrocks, Birte Glimm, and Ulrike Sattler. Hybrid Logics and Ontology Languages. Electronic Notes in Theoretical Computer Science, 174(6):3-14, 2007. Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Uli Sattler. Conjunctive Query Entailment for SHOQ. In Proc. of the 2007 Description Logic Workshop (DL 2007), volume 250 of CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Boris Motik, Ian Horrocks, and Ulrike Sattler. Adding Integrity Constraints to OWL. In Proc. of the 3rd Int. Workshop on OWL Experiences and Directions (OWLED 2007), number 258 in CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Christine Golbreich and Ian Horrocks. The OBO to OWL mapping, GO to OWL 1.1! In Proc. of the 3rd Int. Workshop on OWL Experiences and Directions (OWLED 2007), number 258 in CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Extracting Modules from Ontologies: A Logic-based Approach. In Proc. of the 3rd Int. Workshop on OWL Experiences and Directions (OWLED 2007), number 258 in CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. Ontology Reuse: Better Safe than Sorry. In Proc. of the 2007 Description Logic Workshop (DL 2007), volume 250 of CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Boris Motik, Rob Shearer, and Ian Horrocks. A Hypertableau Calculus for SHIQ. In Proc. of the 2007 Description Logic Workshop (DL 2007), volume 250 of CEUR (http://ceur-ws.org/), 2007. [ bib | .pdf ]

Christine Golbreic, Matthew Horridge, Ian Horrocks, Boris Motik, and Rob Shearer. OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. In Proc. of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of Lecture Notes in Computer Science, pages 169-182. Springer, 2007. [ bib | .pdf ]

Giorgos Stoilos, Giorgos Stamou, Jeff Z. Pan, Vassilis Tzouvaras, and Ian Horrocks. Reasoning with Very Expressive Fuzzy Description Logics. J. of Artificial Intelligence Research, 30:273-320, 2007. [ bib | .pdf ]

Peter F. Patel-Schneider and Ian Horrocks. A Comparison of Two Modelling Paradigms in the Semantic Web. J. of Web Semantics, 2007. [ bib | DOI | .pdf ]

Ian Horrocks, Peter F. Patel-Schneider, Deborah L. McGuinness, and Christopher A. Welty. OWL: a Description Logic Based Ontology Language for the Semantic Web. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications (2nd Edition), chapter 14. Cambridge University Press, 2007. [ bib | .pdf ]


2006

Dmitry Tsarkov and Ian Horrocks. FaCT++ Description Logic Reasoner: System Description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, pages 292-297. Springer, 2006. [ bib | .pdf ]

Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, and Robert Stevens. Deciding semantic matching of stateless services. In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI-06), pages 1319-1324, 2006. [ bib | .pdf ]

Peter F. Patel-Schneider and Ian Horrocks. A Comparison of Two Modelling Paradigms in the Semantic Web. In Proc. of the Fifteenth International World Wide Web Conference (WWW 2006), pages 3-12. ACM, 2006. [ bib | .pdf ]

Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The Even More Irresistible SROIQ. In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pages 57-67. AAAI Press, 2006. [ bib | .pdf ]

Ian Horrocks and Andrei Voronkov. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. In Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS), number 3861 in Lecture Notes in Computer Science, pages 201-218. Springer, 2006. [ bib | .pdf ]

Peter Patel-Schneider and Ian Horrocks. OWL 1.1 Web Ontology Language Overview. W3C Member Submission, 19 December 2006. Available at http://www.w3.org/Submission/owl11-overview/. [ bib | http ]

Birte Glimm, Ian Horrocks, and Ulrike Sattler. Conjunctive Query Answering for the Description Logic SHOIQ. Technical report, University of Manchester, School of Computer Science, 2006. [ bib | .pdf ]

Tom Gardiner, Ian Horrocks, and Dmitry Tsarkov. Automated Benchmarking of Description Logic Reasoners. In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189 of CEUR (http://ceur-ws.org/), 2006. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, and Ulrike Sattler. Will my Ontologies Fit Together? In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189 of CEUR (http://ceur-ws.org/), 2006. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, Carsten Lutz, and Ulrike Sattler. Conjunctive Query Answering for SHIQ. Technical report, University of Manchester, 2006. [ bib | .pdf ]

Birte Glimm, Ian Horrocks, and Ulrike Sattler. Conjunctive Query Answering for Description Logics with Transitive Roles. In Proc. of the 2006 Description Logic Workshop (DL 2006), volume 189 of CEUR (http://ceur-ws.org/), 2006. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. OWL-Eu: Adding Customised Datatypes into OWL. J. of Web Semantics, 4(1):29-39, 2006. [ bib | .pdf ]

Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler. Can OWL and Logic Programming Live Together Happily Ever After? In Proc. of the 5th International Semantic Web Conference (ISWC 2006), volume 4273 of Lecture Notes in Computer Science, pages 501-514. Springer, 2006. [ bib | .pdf ]

Tom Gardiner, Dmitry Tsarkov, and Ian Horrocks. Framework For an Automated Comparison of Description Logic Reasoners. In Proc. of the 5th International Semantic Web Conference (ISWC 2006), volume 4273 of Lecture Notes in Computer Science, pages 654-667. Springer, 2006. [ bib | .pdf ]

Boris Motik and Ian Horrocks. Problems with OWL Syntax. In Proc. of the 2nd Int. Workshop on OWL Experiences and Directions (OWLED 2006), volume 216 of CEUR (http://ceur-ws.org/), 2006. [ bib | .pdf ]

Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, and Ulrike Sattler. Next Steps for OWL. In Proc. of the 2nd Int. Workshop on OWL Experiences and Directions (OWLED 2006), volume 216 of CEUR (http://ceur-ws.org/), 2006. [ bib | .pdf ]

Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, and Renate Schmidt. Computational modal logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, Handbook of Modal Logic, chapter 4, pages 181-245. Elsevier, 2006. [ bib | .pdf ]

Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, and Ian Horrocks. f-SWRL: A Fuzzy Extension of SWRL. J. on Data Semantics, VI:28-46, 2006. [ bib | .pdf ]


2005

Birte Glimm and Ian Horrocks. Handling Cyclic Conjunctive Queries. In Proc. of the 2005 Description Logic Workshop (DL 2005), volume 147 of CEUR (http://ceur-ws.org/), 2005. [ bib | .pdf ]

Ian Horrocks, Oliver Kutz, and Ulrike Sattler. The Irresistible SRIQ. In Proc. of the 1st Int. Workshop on OWL Experiences and Directions (OWLED 2005), 2005. [ bib | .pdf ]

Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, and James Hendler. Semantic Web Architecture: Stack or Two Towers? In Francois Fages and Sylvain Soliman, editors, Principles and Practice of Semantic Web Reasoning (PPSWR 2005), volume 3703 of LNCS, pages 37-41. Springer, 2005. [ bib | .pdf ]

Dmitry Tsarkov and Ian Horrocks. Optimised Classification for Taxonomic Knowledge Bases. In Proc. of the 2005 Description Logic Workshop (DL 2005), volume 147 of CEUR (http://ceur-ws.org/), 2005. [ bib | .pdf ]

Sean Bechhofer, Ian Horrocks, and Daniele Turi. The OWL Instance Store: System Description. In Proc. of the 20th Int. Conf. on Automated Deduction (CADE-20), Lecture Notes in Artificial Intelligence, pages 177-181. Springer, 2005. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. OWL-Eu: Adding Customised Datatypes into OWL. In Jérôme Euzenat Asunción Gómez-Prez, editor, Proc. of The Second European Semantic Web Conference (ESWC 2005), number 3532 in Lecture Notes in Computer Science, pages 153-166. Springer, 2005. [ bib | .pdf ]

Ian Horrocks. OWL: A Description Logic Based Ontology Language. In Proc. of Int. Conf. on Principles and Practice of Constraint Programming (CP 2005), volume 3709 of Lecture Notes in Computer Science, pages 5-8. Springer, 2005. [ bib | .pdf ]

Ian Horrocks. Description Logics in Ontology Applications. In B. Beckert, editor, Proc. of the 9th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), number 3702 in Lecture Notes in Artificial Intelligence, pages 2-13. Springer, 2005. [ bib | .pdf ]

Ian Horrocks. Applications of Description Logics: State of the Art and Research Challenges. In Frithjof Dau, Marie-Laure Mugnier, and Gerd Stumme, editors, Proc. of the 13th Int. Conf. on Conceptual Structures (ICCS'05), number 3596 in Lecture Notes in Artificial Intelligence, pages 78-90. Springer, 2005. [ bib | .pdf ]

Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov. OWL Rules: A Proposal and Prototype Implementation. J. of Web Semantics, 3(1):23-40, 2005. [ bib | .pdf ]

Dmitry Tsarkov and Ian Horrocks. Ordering Heuristics for Description Logic Reasoning. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 609-614, 2005. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. A Tableaux Decision Procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 448-453, 2005. [ bib | .pdf ]

Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. J. of Artificial Intelligence Research, 23:667-726, 2005. [ bib | .pdf ]

Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics as Ontology Languages for the Semantic Web. In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, number 2605 in Lecture Notes in Artificial Intelligence, pages 228-248. Springer, 2005. [ bib | .pdf ]

Katherine Wolstencroft, Andy Brass, Ian Horrocks, Phil Lord, Ulrike Sattler, Robert Stevens, and Daniele Turi. A Little Semantic Web Goes a Long Way in Biology. In Proc. of the 4th International Semantic Web Conference (ISWC 2005), volume 3729 of Lecture Notes in Computer Science, pages 786-800. Springer, 2005. [ bib | .pdf ]

Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, Jeff Z. Pan, and Ian Horrocks. Fuzzy OWL: Uncertainty and the Semantic Web. In Proc. of the 1st Int. Workshop on OWL Experiences and Directions (OWLED 2005), volume 188 of CEUR (http://ceur-ws.org/), 2005. [ bib | .pdf ]

Jeff Z. Pan and Ian Horrocks. Introducing Customised Datatypes and Datatype Predicates into OWL. In Proc. of the 1st Int. Workshop on OWL Experiences and Directions (OWLED 2005), volume 188 of CEUR (http://ceur-ws.org/), 2005. [ bib | .pdf ]

Grigoris Antoniou, Carlos Viegas Damásio, Benjamin Grosof, Ian Horrocks, Michael Kifer, Jan Maluszynski, and Peter F. Patel-Schneider. Combining Rules and Ontologies. A survey. Deliverable I3-D3, REWERSE, 2005. [ bib | .pdf ]


2004

Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission, 21 May 2004. Available at http://www.w3.org/Submission/SWRL/. [ bib | http ]

Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-semantics/. [ bib | http ]

Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. OWL Web Ontology Language Reference. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/owl-ref/. [ bib | http ]

Ian Horrocks and Peter Patel-Schneider. Reducing OWL entailment to description logic satisfiability. J. of Web Semantics, 1(4):345-357, 2004. [ bib | .pdf ]

Richard Fikes, Patrick Hayes, and Ian Horrocks. OWL-QL-a language for deductive query answering on the Semantic Web. J. of Web Semantics, 2(1):19-29, 2004. [ bib | .pdf ]

Lei Li and Ian Horrocks. A Software Framework for Matchmaking Based on Semantic Web Technology. Int. J. of Electronic Commerce, 8(4):39-60, 2004. [ bib | .pdf ]

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, and Ian Horrocks. Using Vampire to Reason with OWL. In Sheila A. McIlraith, Dimitris Plexousakis, and Frank van Harmelen, editors, Proc. of the 3rd International Semantic Web Conference (ISWC 2004), volume 3298 of Lecture Notes in Computer Science, pages 471-485. Springer, 2004. [ bib | .pdf ]

Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics. In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies, International Handbooks on Information Systems, pages 3-28. Springer, 2004. [ bib | .pdf ]

Dmitry Tsarkov and Ian Horrocks. Efficient Reasoning with Range and Domain Constraints. In Proc. of the 2004 Description Logic Workshop (DL 2004), pages 41-50, 2004. [ bib | .pdf ]

Ian Horrocks, Lei Li, Daniele Turi, and Sean Bechhofer. The Instance Store: DL Reasoning with Large Numbers of Individuals. In Proc. of the 2004 Description Logic Workshop (DL 2004), pages 31-40, 2004. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms. Artificial Intelligence, 160(1-2):79-104, December 2004. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. A Proposal for an OWL Rules Language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723-731. ACM, 2004. [ bib | .pdf ]


2003

Ian Horrocks, Deborah McGuinness, and Christopher Welty. Digital Libraries and Web-Based Information Systems. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, chapter 14, pages 427-449. Cambridge University Press, 2003. [ bib | http | .pdf ]

I. Horrocks. Implementation and Optimisation Techniques. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, chapter 9, pages 306-346. Cambridge University Press, 2003. [ bib | http | .pdf ]

M. Klein, J. Broekstra, D. Fensel, F. van Harmelen, and I. Horrocks. Ontologies and Schema Languages on the Web. In Dieter Fensel, James Hendler, Henry Lieberman, and Wolfgang Wahlster, editors, Spinning the Semantic Web: Bringing the World Wide Web to its full potential. MIT Press, 2003. [ bib | http ]

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

Richard Fikes, Patrick Hayes, and Ian Horrocks. OWL-QL-a language for deductive query answering on the Semantic Web. Technical Report KSL-03-14, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, 2003. [ bib | .pdf ]

Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. J. of Web Semantics, 1(1):7-26, 2003. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2nd International Semantic Web Conference (ISWC 2003), volume 2870 of Lecture Notes in Computer Science, pages 17-29. Springer, 2003. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. RDFS(FA) and RDF MT: Two Semantics for RDFS. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2nd International Semantic Web Conference (ISWC 2003), volume 2870 of Lecture Notes in Computer Science, pages 30-46. Springer, 2003. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. Web Ontology Reasoning with Datatype Groups. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2nd International Semantic Web Conference (ISWC 2003), volume 2870 of Lecture Notes in Computer Science, pages 47-63. Springer, 2003. [ bib | .pdf ]

Michael Uschold, Peter Clark, Fred Dickey, Casey Fung, Sonia Smith, Stephen Uczekaj Michael Wilke, Sean Bechhofer, and Ian Horrocks. A Semantic Infosphere. In Dieter Fensel, Katia Sycara, and John Mylopoulos, editors, Proc. of the 2nd International Semantic Web Conference (ISWC 2003), volume 2870 of Lecture Notes in Computer Science, pages 882-896. Springer, 2003. Presentation available from http://www.cs.man.ac.uk/~horrocks/Slides/ISWC-Presentation-SemanticFiltering.pdf. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 1-8, 2003. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. RDFS(FA): A DL-ised Sub-language of RDFS. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 95-102, 2003. [ bib | .pdf ]

Dmitry Tsarkov and Ian Horrocks. DL Reasoner vs. First-Order Prover. In Proc. of the 2003 Description Logic Workshop (DL 2003), volume 81 of CEUR (http://ceur-ws.org/), pages 152-159, 2003. [ bib | .pdf ]

Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 349-354. Morgan Kaufmann, Los Altos, 2003. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 343-348. Morgan Kaufmann, Los Altos, 2003. [ bib | .pdf ]

Lei Li and Ian Horrocks. A Software Framework For Matchmaking Based on Semantic Web Technology. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 331-339. ACM, 2003. [ bib | .pdf ]

Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 48-57. ACM, 2003. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. Three Theses of Representation in the Semantic Web. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), pages 39-47. ACM, 2003. [ bib | .pdf ]


2002

I. Horrocks and P. F. Patel-Schneider. Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability. J. of Automated Reasoning, 28(2):173-204, February 2002. [ bib | .pdf ]

J. Broekstra, M. Klein, S. Decker, D. Fensel, F. van Harmelen, and I. Horrocks. Enabling knowledge representation on the Web by Extending RDF Schema. Computer Networks, 39(5):609-634, 2002. [ bib | .pdf ]

B. Bennett, C. Dixon, M. Fisher, U. Hustadt, E. Franconi, I. Horrocks, and M. de Rijke. Combinations of Modal Logics. AI Review, 17(1):1-20, March 2002. [ bib | .pdf ]

Ian Horrocks. Reasoning with Expressive Description Logics: Theory and Practice. In Andrei Voronkov, editor, Proc. of the 19th Int. Conf. on Automated Deduction (CADE 2002), number 2392 in Lecture Notes in Artificial Intelligence, pages 1-15. Springer, 2002. [ bib | .pdf ]

Sergio Tessaris and Ian Horrocks. Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. In Proc. of the 9th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2002), number 2514 in Lecture Notes in Artificial Intelligence, pages 435-449. Springer, 2002. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. Optimised Reasoning for SHIQ. In Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002), pages 277-281, July 2002. [ bib | .pdf ]

Ian Horrocks and Sergio Tessaris. Querying the Semantic Web: a Formal Approach. In Ian Horrocks and James Hendler, editors, Proc. of the 1st International Semantic Web Conference (ISWC 2002), volume 2342 of Lecture Notes in Computer Science, pages 177-191. Springer-Verlag, 2002. [ bib | .pdf ]

Ian Horrocks. An Ontology Language for the Semantic Web. IEEE Intelligent Systems, 17(2):74-75, 2002. Trends and Controversies. [ bib | http ]

Jeff Z. Pan and Ian Horrocks. Semantic Web Ontology Reasoning in the SHOQ( D_n) Description Logic. In Proc. of the 2002 Description Logic Workshop (DL 2002), volume 63 of CEUR (http://ceur-ws.org/), pages 53-62, 2002. [ bib | .pdf ]

Ian Horrocks. Backtracking and Qualified Number Restrictions: Some Preliminary Results. In Proc. of the 2002 Description Logic Workshop (DL 2002), volume 63 of CEUR, pages 99-106, 2002. [ bib | .pdf ]

Ian Horrocks. DAML+OIL: a Description Logic for the Semantic Web. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 25(1):4-9, March 2002. [ bib | .pdf ]

Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. In Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002), pages 792-797. AAAI Press, 2002. [ bib | .pdf ]

Sergio Tessaris, Ian Horrocks, and Graham Gough. Evaluating a modular Abox algorithm. In Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2002), pages 227-235. Morgan Kaufmann, 2002. [ bib | .pdf ]

Ian Horrocks. DAML+OIL: a Reason-able Web Ontology Language. In Proc. of EDBT 2002, number 2287 in Lecture Notes in Computer Science, pages 2-13. Springer, March 2002. [ bib | .pdf ]

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

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

Ian Horrocks and Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms. LTCS-Report 02-06, Lehrstuhl für Automatentheorie Institut für Theoretische Informatik, TU Dresden, 2002. [ bib | .pdf ]

Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. LTCS-Report 02-04, Lehrstuhl für Automatentheorie Institut für Theoretische Informatik, TU Dresden, 2002. [ bib | .pdf ]

Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics for the Semantic Web. KI - Künstliche Intelligenz, 16(4):57-59, 2002. [ bib | .pdf ]

Jeff Z. Pan and Ian Horrocks. Extending Datatype Support in Web Ontology Reasoning. In Proc. of the 2002 Int. Conference on Ontologies, Databases and Applications of SEmantics (ODBASE 2002), number 2519 in Lecture Notes in Computer Science, pages 1067-1081. Springer, 2002. [ bib | .pdf ]

Jeff Pan and Ian Horrocks. Metamodeling Architecture of Web Ontology Languages. In Isabel Cruz, Stefan Decker, Jérôme Euzenat, and Deborah McGuinness, editors, The emerging semantic web, Frontiers in artificial intelligence and applications, pages 21-45. IOS press, Amsterdam (NL), 2002. [ bib | .pdf ]


2001

Frank van Harmelen, Peter F. Patel-Schneider, and Ian Horrocks. A Model-Theoretic Semantics for DAML+OIL (March 2001), March 2001. http://www.daml.org/2001/03/model-theoretic-semantics.html. [ bib | .html ]

Frank van Harmelen, Peter F. Patel-Schneider, and Ian Horrocks. Reference Description of the DAML+OIL (March 2001) Ontology Markup Langauge, March 2001. http://www.daml.org/2001/03/reference.html. [ bib | .html ]

M. Klein, D. Fensel, F. van Harmelen, and I. Horrocks. The relation between ontologies and XML schemas. Electronic Trans. on Artificial Intelligence, 2001. Special Issue on the 1st International Workshop “Semantic Web: Models, Architectures and Management”. [ bib | .pdf ]

J. Pan and I. Horrocks. Metamodeling Architecture of Web Ontology Languages. In Proc. of the 2001 Int. Semantic Web Working Symposium (SWWS 2001), pages 131-149, 2001. [ bib | .pdf ]

R. Stevens, I. Horrocks, C. Goble, and S. Bechhofer. Building a Reason-able Bioinformatics Ontology Using OIL. In Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing, volume 47 of CEUR (http://ceur-ws.org/), pages 81-90, 2001. [ bib | .pdf ]

D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider. OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems, 16(2):38-45, 2001. [ bib | .pdf ]

J. Broekstra, M. Klein, S. Decker, D. Fensel, F. van Harmelen, and I. Horrocks. Enabling knowledge representation on the Web by Extending RDF Schema. In Proc. of the Tenth International World Wide Web Conference (WWW 2001), pages 467-478, May 2001. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. Optimised Reasoning for SHIQ. LTCS-Report 01-08, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 2001. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. Ontology Reasoning in the SHOQ(D) Description Logic. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 199-204. Morgan Kaufmann, Los Altos, 2001. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. The Generation of DAML+OIL. In Proc. of the 2001 Description Logic Workshop (DL 2001), volume 49 of CEUR (http://ceur-ws.org/), pages 30-35, 2001. [ bib | .pdf ]

Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: A Reason-able Ontology Editor for the Semantic Web. In Proc. of the 2001 Description Logic Workshop (DL 2001), volume 49 of CEUR (http://ceur-ws.org/), pages 1-9, 2001. [ bib | .pdf ]

Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: A Reason-able Ontology Editor for the Semantic Web. In Proc. of the Joint German/Austrian Conf. on Artificial Intelligence (KI 2001), number 2174 in Lecture Notes in Artificial Intelligence, pages 396-408. Springer, 2001. [ bib | .pdf ]

Sean Bechhofer, Carole Goble, and Ian Horrocks. DAML+OIL is not Enough. In Proc. of the 2001 Int. Semantic Web Working Symposium (SWWS 2001), pages 151-159, 2001. Available at http://www.semanticweb.org/SWWS/program/full/SWWSProceedings.pdf. [ bib | .pdf ]

Dan Connolly, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. DAML+OIL (March 2001) Reference Description. W3C Note, 18 December 2001. Available at http://www.w3.org/TR/daml+oil-reference. [ bib | http ]


2000

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. How to decide Query Containment under Constraints using a Description Logic. In Proc. of the 7th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR 2000), volume 1955 of Lecture Notes in Artificial Intelligence, pages 326-343. Springer-Verlag, 2000. [ bib | .pdf ]

I. Horrocks, P. F. Patel-Schneider, and R. Sebastiani. An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL, 8(3):293-323, 2000. [ bib | .pdf ]

Ian Horrocks, Dieter Fensel, Jeen Broekstra, Stefan Decker, Michael Erdmann, Carole Goble, Frank van Harmelen, Michel Klein, Steffen Staab, Rudi Studer, and Enrico Motta. OIL: The Ontology Inference Layer. Technical Report IR-479, Vrije Universiteit Amsterdam, Faculty of Sciences, September 2000. See http://www.ontoknowledge.org/oil/. [ bib | .pdf ]

Michel Klein, Dieter Fensel, Frank van Harmelen, and Ian Horrocks. The relation between ontologies and schema-languages: Translating OIL-specifications in XML-schema. In Proceedings of the ECAI'00 workshop on applications of ontologies and problem-solving methods, Berlin, August 2000. [ bib | .pdf ]

D. Fensel, M. Cruzeby, F. van Harmelen, and I. Horrocks. OIL and UPML: a unifying framework for the Knowledge Web. In Proceedings of the ECAI'00 workshop on applications of ontologies and problem-solving methods, Berlin, August 2000. [ bib | .pdf ]

F. Van Harmelen and I. Horrocks. FAQs on OIL: the Ontology Inference Layer. IEEE Intelligent Systems, 15(6):69-72, 2000. [ bib | .pdf ]

S. Decker, F. van Harmelen, J. Broekstra, M. Erdmann, D. Fensel, I. Horrocks, M. Klein, and S. Melnik. The Semantic Web: The Roles of XML and RDF. IEEE Internet Computing, 4(5):63-74, 2000. [ bib | .pdf ]

I. Horrocks and P. F. Patel-Schneider. Evaluating Optimised Decision Procedures for Propositional Modal K(m) Satisfiability. In I. Gent, H. van Maaren, and T. Walsh, editors, Highlights of Satisfiability Research in the Year 2000, volume 63 of Frontiers in Artificial Intelligence and Applications. ISO Press, Amsterdam, 2000. [ bib | .pdf ]

D. Fensel, F. van Harmelen, M. Klein, H. Akkermans, J. Broekstra, C. Fluit, J. van der Meer, H.-P. Schnurr, R. Studer, J. Hughes, U. Krohn, J. Davies, R. Engels, B. Bremdal, F. Ygge, T. Lau, B. Novotny, U. Reimer, and I. Horrocks. On-To-Knowledge: Ontology-based Tools for Knowledge Management. In Proceedings of the eBusiness and eWork 2000 Conference (eBeW'00), October 2000. [ bib | .pdf ]

I. Horrocks and S. Tobies. Optimisation of Terminological Reasoning. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 183-192, 2000. [ bib | .pdf ]

S. Bechhofer and I. Horrocks. Driving User Interfaces from FaCT. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 45-54, 2000. [ bib | .pdf ]

I. Horrocks and S. Tessaris. Answering Conjunctive Queries Over DL Aboxes: a Preliminary Report. In Proc. of the 2000 Description Logic Workshop (DL 2000), pages 173-182, 2000. [ bib | .pdf ]

S. Decker, D. Fensel, F. van Harmelen, I. Horrocks, S. Melnik, M. Klein, and J. Broekstra. Knowledge Representation on the Web. In Proc. of the 2000 Description Logic Workshop (DL 2000), volume 33 of CEUR (http://ceur-ws.org/), pages 89-98, 2000. [ bib | .pdf ]

I. Horrocks, S. Tessaris, U. Sattler, and S. Tobies. How to decide Query Containment under Constraints using a Description Logic. In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), volume 29 of CEUR (http://ceur-ws.org/), 2000. [ bib | .pdf ]

Alex Borgida, Enrico Franconi, and Ian Horrocks. Explaining ALC Subsumption. In Proc. of the 14th Eur. Conf. on Artificial Intelligence (ECAI 2000), pages 209-213. IOS Press, 2000. [ bib | .pdf ]

I. Horrocks. Benchmark Analysis with FaCT. In Proc. of the 4th Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX 2000), number 1847 in Lecture Notes in Artificial Intelligence, pages 62-66. Springer-Verlag, 2000. [ bib | .pdf ]

I. Horrocks and S. Tobies. Reasoning with Axioms: Theory and Practice. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pages 285-296, 2000. [ bib | .pdf ]

Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, and Michel Klein. OIL in a Nutshell. In R. Dieng, editor, Proc. of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW 2000), number 1937 in Lecture Notes in Artificial Intelligence, pages 1-16. Springer, 2000. [ bib | .pdf ]

Ian Horrocks and Sergio Tessaris. A Conjunctive Query Language for Description Logic ABoxes. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 399-404, 2000. [ bib | .pdf ]

Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ. In David McAllester, editor, Proc. of the 17th Int. Conf. on Automated Deduction (CADE 2000), volume 1831 of Lecture Notes in Computer Science, pages 482-496. Springer, 2000. [ bib | .pdf ]

Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-264, 2000. [ bib | .pdf ]

Jeen Broekstra, Michel Klein, Dieter Fensel, and Ian Horrocks. Adding Formal Semantics to the Web: building on Top of RDF Schema. In Proc. of the ECDL 2000 Workshop on the Semantic Web, 2000. [ bib | .pdf ]

Sean Bechhofer, Jeen Broekstra, Stefan Decker, Michael Erdmann, Dieter Fensel, Carole Goble, Frank van Harmelen, Ian Horrocks, Michel Klein, Deborah L. McGuinness, Enrico Motta, Peter F. Patel-Schneider, Steffen Staab, and Rudi Studer. An Informal Description of OIL-Core and Standard OIL: a Layered Proposal for DAML-O. Technical Report KSL-00-19, Stanford University KSL, November 2000. Available at http://www.ontoknowledge.org/oil/downl/dialects.pdf. [ bib | .pdf ]

Ora Lassila, Frank van Harmelen, Ian Horrocks, Jim Hendler, and Deborah McGuinness. The semantic web and its languages. IEEE Intelligent Systems, 15(6):67-73, 2000. [ bib | .pdf ]


1999

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. Query Containment Using a DLR ABox. LTCS-Report 99-15, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 1999. [ bib | .pdf ]

I. Horrocks, L. Padgham, and L. Thomson. Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. In Advanced Topics in Artificial Intelligence: Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI'99), number 1747 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999. [ bib | .pdf ]

I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer, 1999. [ bib | .pdf ]

I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies. In Proc. of the first workshop on Methods for Modalities (M4M-1), 1999. [ bib | .pdf ]

I. Horrocks and P. F. Patel-Schneider. Generating Hard Modal Problems for Modal Decision Procedures. In Proc. of the first workshop on Methods for Modalities (M4M-1), 1999. [ bib | .pdf ]

I. Horrocks and P. F. Patel-Schneider. Performance of DLP on Random Modal Formulae. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR (http://ceur-ws.org/), pages 120-124, 1999. [ bib | .pdf ]

P. F. Patel-Schneider and I. Horrocks. DLP and FaCT. In Proc. of the 3rd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'99), volume 1617 of Lecture Notes in Artificial Intelligence, pages 19-23. Springer, 1999. [ bib | .pdf ]

Ian Horrocks and Stephan Tobies. Optimisation of Terminological Reasoning. LTCS-Report 99-14, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1999. [ bib | .pdf ]

Ian Horrocks, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. LTCS-Report 99-08, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1999. [ bib | .pdf ]

Ian Horrocks and Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. of Logic and Computation, 9(3):385-410, 1999. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. Optimizing Description Logic Subsumption. J. of Logic and Computation, 9(3):267-293, 1999. [ bib | .pdf ]

Ian Horrocks. FaCT and iFaCT. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR (http://ceur-ws.org/), pages 133-135, 1999. [ bib | .pdf ]

Alex Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, and Peter F. Patel-Schneider. Explaining ALC Subsumption. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR (http://ceur-ws.org/), pages 37-40, 1999. [ bib | .pdf ]

Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, and Sergio Tessaris. A Proposal for a Description Logic Interface. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR (http://ceur-ws.org/), pages 33-36, 1999. [ bib | .pdf ]


1998

I. Horrocks, U. Sattler, and S. Tobies. A PSpace-algorithm for deciding ALCIR^+-satisfiability. LTCS-Report 98-08, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1998. [ bib | .pdf ]

I. Horrocks and U. Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. In Proc. of the 1998 Description Logic Workshop (DL'98), volume 11 of CEUR (http://ceur-ws.org/), pages 72-81, 1998. [ bib | .pdf ]

I. Horrocks and U. Sattler. A Description Logic with Transitive and Converse Roles and Role Hierarchies. LTCS-Report 98-05, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1998. [ bib | .pdf ]

I. Horrocks and P. F. Patel-Schneider. Optimising Propositional Modal Satisfiability for Description Logic Subsumption. In Proc. of the 4th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'98), volume 1476 of LNAI, pages 234-246. SV, 1998. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. FaCT and DLP. In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98), number 1397 in Lecture Notes in Artificial Intelligence, pages 27-30. Springer, 1998. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. Comparing Subsumption Optimizations. In Proc. of the 1998 Description Logic Workshop (DL'98), volume 11 of CEUR (http://ceur-ws.org/), pages 90-94, 1998. [ bib | .pdf ]

Ian Horrocks and Peter F. Patel-Schneider. DL Systems Comparison. In Proc. of the 1998 Description Logic Workshop (DL'98), volume 11 of CEUR (http://ceur-ws.org/), pages 55-57, 1998. [ bib | .pdf ]

Ian Horrocks. The FaCT System. In Harrie de Swart, editor, Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 of Lecture Notes in Artificial Intelligence, pages 307-312. Springer, 1998. [ bib | .pdf ]

Ian Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636-647, 1998. [ bib | .pdf ]


1997

A. Rector and I. Horrocks. Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions. In Proc. of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97), 1997. [ bib | .pdf ]

I. Horrocks and G. Gough. Description Logics with Transitive Roles. In Proc. of the 1997 Description Logic Workshop (DL'97), pages 25-28, 1997. [ bib | .pdf ]

A. Rector, S. Bechhofer, C. A. Goble, I. Horrocks, W. A. Nowlan, and W. D. Solomon. The Grail Concept Modelling Language for Medical Terminology. Artificial Intelligence in Medicine, 9:139-171, 1997. [ bib | .pdf ]

Ian Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997. [ bib | .pdf ]

Ian Horrocks. Optimisation Techniques for Expressive Description Logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science, 1997. [ bib | .pdf ]


1996

Ian Horrocks, Alan Rector, and Carole Goble. A Description Logic Based Schema for the Classification of Medical Data. In Proc. of the 3rd Int. Workshop on Knowledge Representation meets Databases (KRDB'96), volume 4 of CEUR (http://ceur-ws.org/), pages 24-28, 1996. [ bib | .pdf ]

Ian Horrocks and Alan Rector. Using a Description Logic with Concept Inclusions. In Proc. of the 1996 Description Logic Workshop (DL'96), number WS-96-05 in AAAI Technical Report, pages 132-135. AAAI Press/The MIT Press, 1996. [ bib | .pdf ]


1995

I. Horrocks. A Comparison of Two Terminological Knowledge Representation Systems. Master's thesis, University of Manchester, 1995. [ bib | .pdf ]


This file has been generated using bibtex2html 1.65

Back to Ian Horrocks's home page.