Ian Horrocks : Publications

By dateBy titleBy type Bibtex

[1]	A Comparison of Query Rewriting Techniques for DL−Lite Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks In Proc.of the 2009 Description Logic Workshop (DL 2009). Vol. 477 of CEUR (http://ceur-ws.org/). 2009. Details \| BibTeX \| Link (pdf)

[2]	A Comparison of Two Modelling Paradigms in the Semantic Web Peter F.Patel−Schneider and Ian Horrocks In J.of Web Semantics. 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1016/j.websem.2007.09.004)

[3]	A Comparison of Two Modelling Paradigms in the Semantic Web Peter F.Patel−Schneider and Ian Horrocks In Proc.of the Fifteenth International World Wide Web Conference (WWW 2006). Pages 3–12. ACM. 2006. Details \| BibTeX \| Link (pdf)

[4]	A Comparison of Two Terminological Knowledge Representation Systems I. Horrocks Master's Thesis University of Manchester. 1995. Details \| BibTeX \| Link (pdf)

[5]	A Conjunctive Query Language for Description Logic ABoxes Ian Horrocks and Sergio Tessaris In Proc.of the 17th Nat.Conf.on Artificial Intelligence (AAAI 2000). Pages 399–404. 2000. Details \| BibTeX \| Link (pdf)

[6]	A Description Logic Based Schema for the Classification of Medical Data Ian Horrocks‚ Alan Rector and Carole Goble In Proc.of the 3rd Int.Workshop on Knowledge Representation meets Databases (KRDB'96). Vol. 4 of CEUR (http://ceur-ws.org/). Pages 24–28. 1996. Details \| BibTeX \| Link (pdf)

[7]	A Description Logic with Transitive and Converse Roles and Role Hierarchies I. Horrocks and U. Sattler No. 98−05. LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany. 1998. Details \| BibTeX \| Link (pdf)

[8]	A Description Logic with Transitive and Converse Roles‚ Role Hierarchies and Qualifying Number Restrictions Ian Horrocks‚ Ulrike Sattler and Stephan Tobies No. 99−08. LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany. 1999. Details \| BibTeX \| Link (pdf)

[9]	A Description Logic with Transitive and Inverse Roles and Role Hierarchies Ian Horrocks and Ulrike Sattler In J.of Logic and Computation. Vol. 9. No. 3. Pages 385–410. 1999. Details \| BibTeX \| Link (pdf)

[10]	A Description Logic with Transitive and Inverse Roles and Role Hierarchies I. Horrocks and U. Sattler In Proc.of the 1998 Description Logic Workshop (DL'98). Vol. 11 of CEUR (http://ceur-ws.org/). Pages 72–81. 1998. Details \| BibTeX \| Link (pdf)

[11]	A Hypertableau Calculus for SHIQ Boris Motik‚ Rob Shearer and Ian Horrocks In Proc.of the 2007 Description Logic Workshop (DL 2007). Vol. 250 of CEUR (http://ceur-ws.org/). 2007. Details \| BibTeX \| Link (pdf)

[12]

A Little Semantic Web Goes a Long Way in Biology

Katherine Wolstencroft‚ Andy Brass‚ Ian Horrocks‚ Phil Lord‚ Ulrike Sattler‚ Robert Stevens and Daniele Turi

In Proc.of the 4th International Semantic Web Conference (ISWC 2005). Vol. 3729 of Lecture Notes in Computer Science. Pages 786–800. Springer. 2005.

Details | BibTeX | Link (pdf)

[13]	A Logical Framework for Modular Integration of Ontologies Bernardo Cuenca Grau‚ Yevgeny Kazakov‚ Ian Horrocks and Ulrike Sattler In Proc.of the 20th Int.Joint Conf.on Artificial Intelligence (IJCAI 2007). Pages 298–303. 2007. Details \| BibTeX \| Link (pdf)

[14]	A Model−Theoretic Semantics for DAML+OIL (March 2001) Frank van Harmelen‚ Peter F. Patel−Schneider and Ian Horrocks March, 2001. http://www.daml.org/2001/03/model-theoretic-semantics.html Details \| BibTeX \| http://www.daml.org/2001/03/model-theoretic-semantics.html">Link

[15]	A Proposal for a Description Logic Interface Sean Bechhofer‚ Ian Horrocks‚ Peter F. Patel−Schneider and Sergio Tessaris In Proc.of the 1999 Description Logic Workshop (DL'99). Vol. 22 of CEUR (http://ceur-ws.org/). Pages 33–36. 1999. Details \| BibTeX \| Link (pdf)

[16]	A Proposal for an OWL Rules Language Ian Horrocks and Peter F.Patel−Schneider In Proc.of the Thirteenth International World Wide Web Conference (WWW 2004). Pages 723–731. ACM. 2004. Details \| BibTeX \| Link (pdf)

[17]

A Semantic Infosphere

Michael Uschold‚ Peter Clark‚ Fred Dickey‚ Casey Fung‚ Sonia Smith‚ Stephen Uczekaj Michael Wilke‚ Sean Bechhofer and Ian Horrocks

In Dieter Fensel‚ Katia Sycara and John Mylopoulos, editors, Proc.of the 2nd International Semantic Web Conference (ISWC 2003). Vol. 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.

Details | BibTeX | Link (pdf)

[18]	A Software Framework For Matchmaking Based on Semantic Web Technology Lei Li and Ian Horrocks In Proc.of the Twelfth International World Wide Web Conference (WWW 2003). Pages 331–339. ACM. 2003. Details \| BibTeX \| Link (pdf)

[19]	A Software Framework for Matchmaking Based on Semantic Web Technology Lei Li and Ian Horrocks In Int.J.of Electronic Commerce. Vol. 8. No. 4. Pages 39–60. 2004. Details \| BibTeX \| Link (pdf)

[20]	A Tableau Decision Procedure for SHOIQ Ian Horrocks and Ulrike Sattler In J.of Automated Reasoning. Vol. 39. No. 3. Pages 249–276. 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1007/s10817-007-9079-9)

[21]	A Tableaux Decision Procedure for SHOIQ Ian Horrocks and Ulrike Sattler In Proc.of the 19th Int.Joint Conf.on Artificial Intelligence (IJCAI 2005). Pages 448–453. 2005. Details \| BibTeX \| Link (pdf)

[22]	A PSpace−algorithm for deciding ALCI_R⁺−satisfiability I. Horrocks‚ U. Sattler and S. Tobies No. 98−08. LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany. 1998. Details \| BibTeX \| Link (pdf)

[23]

Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics

Sergio Tessaris and Ian Horrocks

In Proc.of the 9th Int.Conf.on Logic for Programming‚ Artificial Intelligence and Reasoning (LPAR 2002). No. 2514. Pages 435–449. Springer. 2002.

Details | BibTeX | Link (pdf)

[24]	Adding Formal Semantics to the Web: building on Top of RDF Schema Jeen Broekstra‚ Michel Klein‚ Dieter Fensel and Ian Horrocks In Proc.of the ECDL 2000 Workshop on the Semantic Web. 2000. Details \| BibTeX \| Link (pdf)

[25]	Adding Integrity Constraints to OWL Boris Motik‚ Ian Horrocks and Ulrike Sattler In Proc.of the Third Int.Workshop on OWL Experiences and Directions (OWLED 2007). No. 258. 2007. Details \| BibTeX \| Link (pdf)

[26]	An Analysis of Empirical Testing for Modal Decision Procedures I. Horrocks‚ P. F. Patel−Schneider and R. Sebastiani In Logic Journal of the IGPL. Vol. 8. No. 3. Pages 293–323. 2000. Details \| BibTeX \| Link (pdf)

[27]

An Informal Description of OIL−Core and Standard OIL: a Layered Proposal for DAML−O

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

No. KSL−00−19. Stanford University KSL. November, 2000.

Available at http://www.ontoknowledge.org/oil/downl/dialects.pdf

Details | BibTeX | Link (pdf)

[28]	An Ontology Language for the Semantic Web Ian Horrocks In IEEE Intelligent Systems. Vol. 17. No. 2. Pages 74–75. 2002. Trends and Controversies Details \| BibTeX \| http://www.computer.org/intelligent/">Link

[29]	Answering Conjunctive Queries Over DL Aboxes: a Preliminary Report I. Horrocks and S. Tessaris In Proc.of the 2000 Description Logic Workshop (DL 2000). Pages 173–182. 2000. Details \| BibTeX \| Link (pdf)

[30]	Applications of Description Logics: State of the Art and Research Challenges Ian Horrocks In Frithjof Dau‚ Marie−Laure Mugnier and Gerd Stumme, editors, Proc.of the 13th Int.Conf.on Conceptual Structures (ICCS'05). No. 3596. Pages 78–90. Springer. 2005. Details \| BibTeX \| Link (pdf)

[31]	Automated Benchmarking of Description Logic Reasoners Tom Gardiner‚ Ian Horrocks and Dmitry Tsarkov In Proc.of the 2006 Description Logic Workshop (DL 2006). Vol. 189 of CEUR (http://ceur-ws.org/). 2006. Details \| BibTeX \| Link (pdf)

[32]	Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99 N. V. Murray, editor N. V. Murray, editor Details \| BibTeX

[33]	Backtracking and Qualified Number Restrictions: Some Preliminary Results Ian Horrocks In Proc.of the 2002 Description Logic Workshop (DL 2002). Vol. 63 of CEUR. Pages 99–106. 2002. Details \| BibTeX \| Link (pdf)

[34]	Benchmark Analysis with FaCT I. Horrocks In Proc.of the 4th Int.Conf.on Analytic Tableaux and Related Methods (TABLEAUX 2000). No. 1847. Pages 62–66. Springer−Verlag. 2000. Details \| BibTeX \| Link (pdf)

[35]	Bridging the Gap Between OWL and Relational Databases Boris Motik‚ Ian Horrocks and Ulrike Sattler In J.of Web Semantics. Vol. 7. No. 2. Pages 74–89. April, 2009. Details \| BibTeX \| Link (pdf) \| DOI (10.1016/j.websem.2009.02.001)

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

[37]	Building Ontologies Collaboratively Using ContentCVS Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proc.of the 2009 Description Logic Workshop (DL 2009). Vol. 477 of CEUR (http://ceur-ws.org/). 2009. Details \| BibTeX \| Link (pdf)

[38]	Building a Reason−able Bioinformatics Ontology Using OIL R. Stevens‚ I. Horrocks‚ C. Goble and S. Bechhofer In Proceedings of the IJCAI−2001 Workshop on Ontologies and Information Sharing. Vol. 47 of CEUR (http://ceur-ws.org/). Pages 81–90. 2001. Details \| BibTeX \| Link (pdf)

[39]	Building a bioinformatics ontology using OIL Robert Stevens‚ Carole Goble‚ Ian Horrocks and Sean Bechhofer In IEEE Transactions on Information Technology in Biomedicine. Vol. 6. No. 2. Pages 135–141. 2002. Details \| BibTeX \| Link (pdf)

[40]

Can OWL and Logic Programming Live Together Happily Ever After?

Boris Motik‚ Ian Horrocks‚ Riccardo Rosati and Ulrike Sattler

In Proc.of the 5th International Semantic Web Conference (ISWC 2006). Vol. 4273 of Lecture Notes in Computer Science. Pages 501–514. Springer. 2006.

Details | BibTeX | Link (pdf)

[41]	Collected Papers from the International Description Logics Workshop (DL'97) M.−C. Rousset‚ R. Brachman‚ F. Donini‚ E. Franconi‚ I. Horrocks and A. Levy, editors M.−C. Rousset‚ R. Brachman‚ F. Donini‚ E. Franconi‚ I. Horrocks and A. Levy, editors Details \| BibTeX

[42]	Combinations of Modal Logics B. Bennett‚ C. Dixon‚ M. Fisher‚ U. Hustadt‚ E. Franconi‚ I. Horrocks and M. de Rijke In AI Review. Vol. 17. No. 1. Pages 1–20. March, 2002. Details \| BibTeX \| Link (pdf)

[43]	Comparing Subsumption Optimizations Ian Horrocks and Peter F. Patel−Schneider In Proc.of the 1998 Description Logic Workshop (DL'98). Vol. 11 of CEUR (http://ceur-ws.org/). Pages 90–94. 1998. Details \| BibTeX \| Link (pdf)

[44]	Completeness Guarantees for Incomplete Reasoners Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks In Proc.of the 9th International Semantic Web Conference (ISWC 2010). 2010. Details \| BibTeX \| Link (pdf)

[45]	Computational modal logic Ian Horrocks‚ Ullrich Hustadt‚ Ulrike Sattler and Renate Schmidt In Patrick Blackburn‚ Johan van Benthem and Frank Wolter, editors, Handbook of Modal Logic. Chapter 4. Pages 181–245. Elsevier. 2006. Details \| BibTeX \| Link (pdf)

[46]	Conjunctive Query Answering for SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Ulrike Sattler University of Manchester. 2006. Details \| BibTeX \| Link (pdf)

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

[48]	Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler In J.of Artificial Intelligence Research. Vol. 31. Pages 157–204. 2008. Details \| BibTeX \| Link (pdf)

[49]	Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler In Proc.of the 20th Int.Joint Conf.on Artificial Intelligence (IJCAI 2007). Pages 399–404. 2007. Details \| BibTeX \| Link (pdf)

[50]	Conjunctive Query Answering for the Description Logic SHOIQ Birte Glimm‚ Ian Horrocks and Ulrike Sattler University of Manchester‚ School of Computer Science. 2006. Details \| BibTeX \| Link (pdf)

[51]	Conjunctive Query Entailment for SHOQ Birte Glimm‚ Ian Horrocks and Uli Sattler In Proc.of the 2007 Description Logic Workshop (DL 2007). Vol. 250 of CEUR (http://ceur-ws.org/). 2007. Details \| BibTeX \| Link (pdf)

[52]	Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler In Artificial Intelligence. Vol. 160. No. 1–2. Pages 79–104. December, 2004. Details \| BibTeX \| Link (pdf)

[53]	Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler In Proc.of the 18th Int.Joint Conf.on Artificial Intelligence (IJCAI 2003). Pages 343–348. Morgan Kaufmann‚ Los Altos. 2003. Details \| BibTeX \| Link (pdf)

[54]	Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler No. 02−06. Lehrstuhl für Automatentheorie Institut für Theoretische Informatik‚ TU Dresden. 2002. Details \| BibTeX \| Link (pdf)

[55]	Deciding SHOQ^⊓ Knowledge Base Consistency using Alternating Automata Birte Glimm‚ Ian Horrocks and Ulrike Sattler In Proc.of the 2008 Description Logic Workshop (DL 2008). 2008. Details \| BibTeX \| Link (pdf)

[56]	Deciding semantic matching of stateless services Duncan Hull‚ Evgeny Zolin‚ Andrey Bovykin‚ Ian Horrocks‚ Ulrike Sattler and Robert Stevens In Proc.of the 21st Nat.Conf.on Artificial Intelligence (AAAI−06). Pages 1319–1324. 2006. Details \| BibTeX \| Link (pdf)

[57]	Description Logic Programs: Combining Logic Programs with Description Logic Benjamin N. Grosof‚ Ian Horrocks‚ Raphael Volz and Stefan Decker In Proc.of the Twelfth International World Wide Web Conference (WWW 2003). Pages 48–57. ACM. 2003. Details \| BibTeX \| Link (pdf)

[58]	Description Logics Franz Baader‚ Ian Horrocks and Ulrike Sattler In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies. Pages 3–28. Springer. 2004. Details \| BibTeX \| Link (pdf)

[59]

Description Logics as Ontology Languages for the Semantic Web

Franz Baader‚ Ian Horrocks and Ulrike Sattler

In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. No. 2605. Pages 228–248. Springer. 2005.

Details | BibTeX | Link (pdf)

[60]	Description Logics for the Semantic Web Franz Baader‚ Ian Horrocks and Ulrike Sattler In KI – Künstliche Intelligenz. Vol. 16. No. 4. Pages 57–59. 2002. Details \| BibTeX \| Link (pdf)

[61]	Description Logics in Ontology Applications Ian Horrocks In B. Beckert, editor, Proc.of the 9th Int.Conf.on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005). No. 3702. Pages 2–13. Springer. 2005. Details \| BibTeX \| Link (pdf)

[62]	Description Logics with Transitive Roles I. Horrocks and G. Gough In M.−C. Rousset‚ R. Brachman‚ F. Donini‚ E. Franconi‚ I. Horrocks and A. Levy, editors, Collected Papers from the International Description Logics Workshop (DL'97). Pages 25–28. 1997. Details \| BibTeX \| Link (pdf)

[63]

Digital Libraries and Web−Based Information Systems

Ian Horrocks‚ Deborah McGuinness and Christopher Welty

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.

Details | BibTeX | Link (pdf)

[64]	Driving User Interfaces from FaCT S. Bechhofer and I. Horrocks In Proc.of the 2000 Description Logic Workshop (DL 2000). Pages 45–54. 2000. Details \| BibTeX \| Link (pdf)

[65]	Efficient Query Answering for OWL 2 Héctor Pérez−Urbina‚ Ian Horrocks and Boris Motik In Proc.of the 8th International Semantic Web Conference (ISWC 2009). Vol. 5823 of Lecture Notes in Computer Science. Pages 489–504. Springer. 2009. Details \| BibTeX \| Link (pdf)

[66]	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks In Proc.of the 2004 Description Logic Workshop (DL 2004). Pages 41–50. 2004. Details \| BibTeX \| Link (pdf)

[67]	Enabling knowledge representation on the Web by Extending RDF Schema J. Broekstra‚ M. Klein‚ S. Decker‚ D. Fensel‚ F. van Harmelen and I. Horrocks In Computer Networks. Vol. 39. No. 5. Pages 609–634. 2002. Details \| BibTeX \| Link (pdf)

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

[69]	Evaluating Optimised Decision Procedures for Propositional Modal K_(m) Satisfiability I. Horrocks and P. F. Patel−Schneider In J.of Automated Reasoning. Vol. 28. No. 2. Pages 173–204. February, 2002. Details \| BibTeX \| Link (pdf)

[70]

Evaluating Optimised Decision Procedures for Propositional Modal K_(m) Satisfiability

I. Horrocks and P. F. Patel−Schneider

In I. Gent‚ H. van Maaren and T. Walsh, editors, Highlights of Satisfiability Research in the Year 2000. Vol. 63 of Frontiers in Artificial Intelligence and Applications. ISO Press , AddressAmsterdam. 2000.

Details | BibTeX | Link (pdf)

[71]	Evaluating a modular Abox algorithm Sergio Tessaris‚ Ian Horrocks and Graham Gough In Proc.of the 8th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2002). Pages 227–235. Morgan Kaufmann. 2002. Details \| BibTeX \| Link (pdf)

[72]	Experience Building a Large‚ Re−usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions A. Rector and I. Horrocks 1997. Details \| BibTeX \| Link (pdf)

[73]	Explaining ALC Subsumption Alex Borgida‚ Enrico Franconi and Ian Horrocks In Proc.of the 14th Eur.Conf.on Artificial Intelligence (ECAI 2000). Pages 209–213. IOS Press. 2000. Details \| BibTeX \| Link (pdf)

[74]	Explaining ALC Subsumption Alex Borgida‚ Enrico Franconi‚ Ian Horrocks‚ Deborah L. McGuinness and Peter F. Patel−Schneider In Proc.of the 1999 Description Logic Workshop (DL'99). Vol. 22 of CEUR (http://ceur-ws.org/). Pages 37–40. 1999. Details \| BibTeX \| Link (pdf)

[75]	Exploiting Partial Information in Taxonomy Construction Rob Shearer‚ Ian Horrocks and Boris Motik In Proc.of the 2009 Description Logic Workshop (DL 2009). Vol. 477 of CEUR (http://ceur-ws.org/). 2009. Details \| BibTeX \| Link (pdf)

[76]	Exploiting Partial Information in Taxonomy Construction Rob Shearer and Ian Horrocks In Proc.of the 8th International Semantic Web Conference (ISWC 2009). Vol. 5823 of Lecture Notes in Computer Science. Pages 569–584. Springer. 2009. Details \| BibTeX \| Link (pdf)

[77]

Extracting Modules from Ontologies: A Logic−based Approach

Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

In Heiner Stuckenschmidt‚ Christine Parent and Stefano Spaccapietra, editors, Modular Ontologies: Concepts‚ Theories and Techniques for Knowledge Modularization. Vol. 5445 of Lecture Notes in Computer Science. Pages 159–186. Springer. 2009.

Details | BibTeX | Link (pdf)

[78]	Extracting Modules from Ontologies: A Logic−based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Proc.of the Third Int.Workshop on OWL Experiences and Directions (OWLED 2007). No. 258. 2007. Details \| BibTeX \| Link (pdf)

[79]

Feasibility of Optimised Disjunctive Reasoning for Approximate Matching

I. Horrocks‚ L. Padgham and L. Thomson

In Advanced Topics in Artificial Intelligence: Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI'99). No. 1747. Springer−Verlag. 1999.

Details | BibTeX | Link (pdf)

[80]	Framework For an Automated Comparison of Description Logic Reasoners Tom Gardiner‚ Dmitry Tsarkov and Ian Horrocks In Proc.of the 5th International Semantic Web Conference (ISWC 2006). Vol. 4273 of Lecture Notes in Computer Science. Pages 654–667. Springer. 2006. Details \| BibTeX \| Link (pdf)

[81]	From SHIQ and RDF to OWL: The Making of a Web Ontology Language Ian Horrocks‚ Peter F. Patel−Schneider and Frank van Harmelen In J.of Web Semantics. Vol. 1. No. 1. Pages 7–26. 2003. Details \| BibTeX \| Link (pdf)

[82]	Fuzzy OWL: Uncertainty and the Semantic Web Giorgos Stoilos‚ Giorgos Stamou‚ Vassilis Tzouvaras‚ Jeff Z. Pan and Ian Horrocks In Proc.of the First Int.Workshop on OWL Experiences and Directions (OWLED 2005). Vol. 188 of CEUR (http://ceur-ws.org/). 2005. Details \| BibTeX \| Link (pdf)

[83]	Generating Hard Modal Problems for Modal Decision Procedures I. Horrocks and P. F. Patel−Schneider In Proceedings of the first workshop on Methods for Modalities (M4M−1). May, 1999. Details \| BibTeX \| Link (pdf)

[84]	Handling Cyclic Conjunctive Queries. Birte Glimm and Ian Horrocks In Proc.of the 2005 Description Logic Workshop (DL 2005). Vol. 147 of CEUR (http://ceur-ws.org/). 2005. Details \| BibTeX \| Link (pdf)

[85]	How Incomplete is your Semantic Web Reasoner? Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks In Proc.of the 20th Nat.Conf.on Artificial Intelligence (AAAI 10). Pages 1431–1436. AAAI Publications. 2010. Details \| BibTeX \| Link (pdf)

[86]	How to decide Query Containment under Constraints using a Description Logic I. Horrocks‚ U. Sattler‚ S. Tessaris and S. Tobies In Proc.of the 7th Int.Conf.on Logic for Programming and Automated Reasoning (LPAR 2000). Springer−Verlag. 2000. Details \| BibTeX \| Link (pdf)

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

[88]	Hybrid Logics and Ontology Languages Ian Horrocks‚ Birte Glimm and Ulrike Sattler In Electronic Notes in Theoretical Computer Science. Vol. 174. No. 6. Pages 3–14. 2007. Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) Details \| BibTeX \| Link (pdf)

[89]	Hypertableau Reasoning for Description Logics Boris Motik‚ Rob Shearer and Ian Horrocks In J.of Artificial Intelligence Research. Vol. 36. Pages 165–228. 2009. Details \| BibTeX \| Link (pdf)

[90]

Implementation and Optimisation Techniques

I. Horrocks

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.

Details | BibTeX | Link (pdf)

[91]	Individual Reuse in Description Logic Reasoning Boris Motik and Ian Horrocks In Proc.of the Int.Joint Conf.on Automated Reasoning (IJCAR 2008). Pages 242–258. 2008. Details \| BibTeX \| Link (pdf)

[92]	Introducing Customised Datatypes and Datatype Predicates into OWL Jeff Z. Pan and Ian Horrocks In Proc.of the First Int.Workshop on OWL Experiences and Directions (OWLED 2005). Vol. 188 of CEUR (http://ceur-ws.org/). 2005. Details \| BibTeX \| Link (pdf)

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

[94]	Keys‚ Nominals‚ and Concrete Domains Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler In J.of Artificial Intelligence Research. Vol. 23. Pages 667–726. 2004. Details \| BibTeX \| Link (pdf)

[95]	Keys‚ Nominals‚ and Concrete Domains Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler In Proc.of the 18th Int.Joint Conf.on Artificial Intelligence (IJCAI 2003). Pages 349−354. Morgan Kaufmann‚ Los Altos. 2003. Details \| BibTeX \| Link (pdf)

[96]	Keys‚ Nominals‚ and Concrete Domains Carsten Lutz‚ Carlos Areces‚ Ian Horrocks and Ulrike Sattler No. 02−04. Lehrstuhl für Automatentheorie Institut für Theoretische Informatik‚ TU Dresden. 2002. Details \| BibTeX \| Link (pdf)

[97]	Knowledge Representation on the Web S. Decker‚ D. Fensel‚ F. van Harmelen‚ I. Horrocks‚ S. Melnik‚ M. Klein and J. Broekstra In Proc.of the 2000 Description Logic Workshop (DL 2000). Vol. 33 of CEUR (http://ceur-ws.org/). Pages 89–98. 2000. Details \| BibTeX \| Link (pdf)

[98]

Logic−based Ontology Integration using ContentMap

Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga Llavori

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.

Details | BibTeX | Link (pdf)

[99]	Metalevel Information in Ontology−Based Applications Duc Thanh Tran‚ Peter Haase‚ Bernardo Cunca Grau‚ Boris Motik and Ian Horrocks In Proc.of the 18th Nat.Conf.on Artificial Intelligence (AAAI 08). Pages 1237–1242. 2008. Details \| BibTeX \| Link (pdf)

[100]

Metamodeling Architecture of Web Ontology Languages

Jeff Pan and Ian Horrocks

In Isabel Cruz‚ Stefan Decker‚ Jérôme Euzenat and Deborah McGuinness, editors, The emerging semantic web. IOS press , AddressAmsterdam (NL). 2002.

Details | BibTeX | Link (pdf)

[101]

Metamodeling Architecture of Web Ontology Languages

J. Pan and I. Horrocks

In Proc.of the 2001 Int.Semantic Web Working Symposium (SWWS 2001). Pages 131–149. 2001.

Details | BibTeX | Link (pdf)

[102]

Modular Reuse of Ontologies: Theory and Practice

Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

In J.of Artificial Intelligence Research. Vol. 31. Pages 273−318. 2008.

Details | BibTeX | Link (pdf)

[103]

Next Steps for OWL

Bernardo Cuenca Grau‚ Ian Horrocks‚ Bijan Parsia‚ Peter Patel−Schneider and Ulrike Sattler

In Proc.of the Second Int.Workshop on OWL Experiences and Directions (OWLED 2006). Vol. 216 of CEUR (http://ceur-ws.org/). 2006.

Details | BibTeX | Link (pdf)

[104]

OWL: A Description Logic Based Ontology Language.

Ian Horrocks

In Proc.of Int.Conf.on Principles and Practice of Constraint Programming (CP 2005). Vol. 3709 of Lecture Notes in Computer Science. Pages 5−8. Springer. 2005.

Details | BibTeX | Link (pdf)

[105]

Ontologies and Schema Languages on the Web

M. Klein‚ J. Broekstra‚ D. Fensel‚ F. van Harmelen and I. Horrocks

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.

Details | BibTeX

[106]

Ontologies and the semantic web

Ian Horrocks

In Communications of the ACM. Vol. 51. No. 12. Pages 58–67. December, 2008.

Details | BibTeX | Link (pdf)

[107]

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga Llavori

In Proc.of the 6th European Semantic Web Conf.(ESWC 2009). Vol. 5554 of Lecture Notes in Computer Science. Pages 173–187. Springer. 2009.

Details | BibTeX | Link (pdf)

[108]

Ontology Reasoning in the SHOQ(D) Description Logic

Ian Horrocks and Ulrike Sattler

In Proc.of the 17th Int.Joint Conf.on Artificial Intelligence (IJCAI 2001). Pages 199–204. Morgan Kaufmann‚ Los Altos. 2001.

Details | BibTeX | Link (pdf)

[109]

Ontology Reuse: Better Safe than Sorry

Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

In Proc.of the 2007 Description Logic Workshop (DL 2007). Vol. 250 of CEUR (http://ceur-ws.org/). 2007.

Details | BibTeX | Link (pdf)

[110]

Optimisation Techniques for Expressive Description Logics

Ian Horrocks

No. UMCS−97−2−1. University of Manchester‚ Department of Computer Science. 1997.

Details | BibTeX | Link (pdf)

[111]

Optimisation of Terminological Reasoning

Ian Horrocks and Stephan Tobies

No. 99−14. LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany. 1999.

Details | BibTeX | Link (pdf)

[112]

Optimisation of Terminological Reasoning

I. Horrocks and S. Tobies

In Proc.of the 2000 Description Logic Workshop (DL 2000). Pages 183–192. 2000.

Details | BibTeX | Link (pdf)

[113]

Optimised Classification for Taxonomic Knowledge Bases

Dmitry Tsarkov and Ian Horrocks

In Proc.of the 2005 Description Logic Workshop (DL 2005). Vol. 147 of CEUR (http://ceur-ws.org/). 2005.

Details | BibTeX | Link (pdf)

[114]

Optimised Reasoning for SHIQ

Ian Horrocks and Ulrike Sattler

In Proc.of the 15th Eur.Conf.on Artificial Intelligence (ECAI 2002). Pages 277–281. July, 2002.

Details | BibTeX | Link (pdf)

[115]

Optimised Reasoning for SHIQ

Ian Horrocks and Ulrike Sattler

No. 01−08. LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany. 2001.

Details | BibTeX | Link (pdf)

[116]

Optimising Ontology Classification

Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos

In Proc.of the 9th International Semantic Web Conference (ISWC 2010). 2010.

Details | BibTeX | Link (pdf)

[117]

Optimising Propositional Modal Satisfiability for Description Logic Subsumption

I. Horrocks and P. F. Patel−Schneider

In Proc.of the 4th Int.Conf.on Artificial Intelligence and Symbolic Computation (AISC'98). Vol. 1476 of LNAI. Pages 234–246. SV. 1998.

Details | BibTeX | Link (pdf)

[118]

Optimising Tableaux Decision Procedures for Description Logics

Ian Horrocks

PhD Thesis University of Manchester. 1997.

Details | BibTeX | Link (pdf)

[119]

Optimized Description Logic Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

In Jürgen Giesl and Reiner Hähnle, editors, Proc.of the Int.Joint Conf.on Automated Reasoning (IJCAR 2010). Vol. 6173 of Lecture Notes in Artificial Intelligence. Pages 457–471. Springer. 2010.

Details | BibTeX | Link (pdf)

[120]

Optimized Description Logic Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

In Proc.of the 2010 Description Logic Workshop (DL 2010). Vol. 573 of CEUR (http://ceur-ws.org/). 2010.

Details | BibTeX | Link (pdf)

[121]

Optimized Reasoning in Description Logics using Hypertableaux

Boris Motik‚ Rob Shearer and Ian Horrocks

In Proc.of the 21st Int.Conf.on Automated Deduction (CADE−21). Vol. 4603 of Lecture Notes in Artificial Intelligence. Pages 67–83. Springer. 2007.

Details | BibTeX | Link (pdf)

[122]

Optimizing Description Logic Subsumption

Ian Horrocks and Peter F. Patel−Schneider

In J.of Logic and Computation. Vol. 9. No. 3. Pages 267–293. 1999.

Details | BibTeX | Link (pdf)

[123]

Optimizing Terminological Reasoning for Expressive Description Logics

Dmitry Tsarkov‚ Ian Horrocks and Peter F.Patel−Schneider

In J.of Automated Reasoning. Vol. 39. No. 3. Pages 277–316. 2007.

Details | BibTeX | Link (pdf) | DOI (10.1007/s10817-007-9077-y)

[124]

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi

Rob Shearer‚ Boris Motik and Ian Horrocks

In Proc.of the 2008 Description Logic Workshop (DL 2008). 2008.

Details | BibTeX | Link (pdf)

[125]

Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov and Ian Horrocks

In Proc.of the 19th Int.Joint Conf.on Artificial Intelligence (IJCAI 2005). Pages 609–614. 2005.

Details | BibTeX | Link (pdf)

[126]

Performance of DLP on Random Modal Formulae

I. Horrocks and P. F. Patel−Schneider

In P. Lambrix‚ A. Borgida‚ M. Lenzerini‚ R. Möller and P. Patel−Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99). Pages 120–124. 1999.

Details | BibTeX | Link (pdf)

[127]

Practical Reasoning for Description Logics with Functional Restrictions‚ Inverse and Transitive Roles‚ and Role Hierarchies

I. Horrocks‚ U. Sattler and S. Tobies

In Proceedings of the first workshop on Methods for Modalities (M4M−1). May, 1999.

Details | BibTeX | Link (pdf)

[128]

Practical Reasoning for Expressive Description Logics

I. Horrocks‚ U. Sattler and S. Tobies

In H. Ganzinger‚ D. McAllester and A. Voronkov, editors, Proc.of the 6th Int.Conf.on Logic for Programming and Automated Reasoning (LPAR'99). No. 1705. Pages 161–180. Springer. 1999.

Details | BibTeX | Link (pdf)

[129]

Practical Reasoning for Very Expressive Description Logics

Ian Horrocks‚ Ulrike Sattler and Stephan Tobies

In Logic Journal of the IGPL. Vol. 8. No. 3. Pages 239–264. 2000.

Details | BibTeX | Link (pdf)

[130]

Privacy−Preserving Query Answering in Logic−based Information Systems

Bernardo Cuenca Grau and Ian Horrocks

In Proc.of the 18th Eur.Conf.on Artificial Intelligence (ECAI 2008). Pages 40–44. IOS Press. 2008.

Details | BibTeX | Link (pdf)

[131]

Problems with OWL Syntax

Boris Motik and Ian Horrocks

In Proc.of the Second Int.Workshop on OWL Experiences and Directions (OWLED 2006). Vol. 216 of CEUR (http://ceur-ws.org/). 2006.

Details | BibTeX | Link (pdf)

[132]

Proceedings of the International Workshop on Description Logics (DL'99)

P. Lambrix‚ A. Borgida‚ M. Lenzerini‚ R. Möller and P. Patel−Schneider, editors

Details | BibTeX | http://ceur-ws.org/Vol-22/">Link

[133]

Proceedings of the Workshop on Ontological Engineering‚ AAAI Spring Symposium (AAAI'97)

Details | BibTeX

[134]

Proceedings of the first workshop on Methods for Modalities (M4M−1)

Details | BibTeX

[135]

Query Containment Using a DLR ABox

I. Horrocks‚ U. Sattler‚ S. Tessaris and S. Tobies

No. 99−15. LuFG Theoretical Computer Science‚ RWTH Aachen. Germany. 1999.

Details | BibTeX | Link (pdf)

[136]

Querying the Semantic Web: a Formal Approach

Ian Horrocks and Sergio Tessaris

In Ian Horrocks and James Hendler, editors, Proc.of the 1st International Semantic Web Conference (ISWC 2002). Vol. 2342 of Lecture Notes in Computer Science. Pages 177–191. Springer−Verlag. 2002.

Details | BibTeX | Link (pdf)

[137]

Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

Ian Horrocks and Andrei Voronkov

In Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS). No. 3861. Pages 201–218. Springer. 2006.

Details | BibTeX | Link (pdf)

[138]

Reasoning with Axioms: Theory and Practice

I. Horrocks and S. Tobies

In Proc.of the 7th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2000). Pages 285–296. 2000.

Details | BibTeX | Link (pdf)

[139]

Reasoning with Expressive Description Logics: Theory and Practice

Ian Horrocks

In Andrei Voronkov, editor, Proc.of the 19th Int.Conf.on Automated Deduction (CADE 2002). No. 2392. Pages 1–15. Springer. 2002.

Details | BibTeX | Link (pdf)

[140]

Reasoning with Individuals for the Description Logic SHIQ

Ian Horrocks‚ Ulrike Sattler and Stephan Tobies

In David McAllester, editor, Proc.of the 17th Int.Conf.on Automated Deduction (CADE 2000). Vol. 1831 of Lecture Notes in Computer Science. Pages 482–496. Springer. 2000.

Details | BibTeX | Link (pdf)

[141]

Reasoning with Very Expressive Fuzzy Description Logics

Giorgos Stoilos‚ Giorgos Stamou‚ Jeff Z. Pan‚ Vassilis Tzouvaras and Ian Horrocks

In J.of Artificial Intelligence Research. Vol. 30. Pages 273–320. 2007.

Details | BibTeX | Link (pdf)

[142]

Reducing OWL Entailment to Description Logic Satisfiability

Ian Horrocks and Peter F. Patel−Schneider

Details | BibTeX | Link (pdf)

[143]

Reducing OWL Entailment to Description Logic Satisfiability

Ian Horrocks and Peter F. Patel−Schneider

In Proc.of the 2003 Description Logic Workshop (DL 2003). Vol. 81 of CEUR (http://ceur-ws.org/). Pages 1–8. 2003.

Details | BibTeX | Link (pdf)

[144]

Reducing OWL entailment to description logic satisfiability

Ian Horrocks and Peter Patel−Schneider

In J.of Web Semantics. Vol. 1. No. 4. Pages 345–357. 2004.

Details | BibTeX | Link (pdf)

[145]

Reference Description of the DAML+OIL (March 2001) Ontology Markup Langauge

Frank van Harmelen‚ Peter F. Patel−Schneider and Ian Horrocks

March, 2001.

http://www.daml.org/2001/03/reference.html

Details | BibTeX | http://www.daml.org/2001/03/reference.html">Link

[146]

Representing Ontologies Using Description Logics‚ Description Graphs‚ and Rules

Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler

In Artificial Intelligence. Vol. 173. No. 14. Pages 1275–1309. 2009.

Details | BibTeX | Link (pdf) | DOI (10.1016/j.artint.2009.06.003)

[147]

Representing Structured Objects using Description Graphs

Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler

In Proc.of the 11th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2008). Pages 296–306. 2008.

Details | BibTeX | Link (pdf)

[148]

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web

Ian Horrocks‚ Peter F. Patel−Schneider and Frank van Harmelen

In Proc.of the 18th Nat.Conf.on Artificial Intelligence (AAAI 2002). Pages 792–797. AAAI Press. 2002.

Details | BibTeX | Link (pdf)

[149]

Rewriting Conjunctive Queries over Description Logic Constraints

Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks

In Proc.of the Int.Workshop on Logics in Databases (LID 2008). 2008.

Details | BibTeX | Link (pdf)

[150]

Rewriting Conjunctive Queries over Description Logic Knowledge Bases

Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks

In Proc.of the Int.Workshop on Semantics in Data and Knowledge Bases (SDKB 2008). Vol. 4925 of Lecture Notes in Computer Science. Pages 199–214. Springer. 2008.

Details | BibTeX | Link (pdf)

[151]

Semantic Web

Ian Horrocks and Sean Bechhofer

Chapter 19. Pages 315–330. Springer , AddressLondon. Edition 1st. September, 2008.

Details | BibTeX | Link (pdf) | http://dx.doi.org/10.1007/978-1-84800-050-6_19"> DOI (http://dx.doi.org/10.1007/978-1-84800-050-6_19)

[152]

Semantic Web Architecture: Stack or Two Towers?

Ian Horrocks‚ Bijan Parsia‚ Peter Patel−Schneider and James Hendler

In Francois Fages and Sylvain Soliman, editors, Principles and Practice of Semantic Web Reasoning (PPSWR 2005). Vol. 3703 of LNCS. Pages 37–41. Springer. 2005.

Details | BibTeX | Link (pdf)

[153]

Semantic Web Ontology Reasoning in the SHOQ(D_n) Description Logic

Jeff Z. Pan and Ian Horrocks

In Proc.of the 2002 Description Logic Workshop (DL 2002). Vol. 63 of CEUR (http://ceur-ws.org/). Pages 53–62. 2002.

Details | BibTeX | Link (pdf)

[154]

The Even More Irresistible SROIQ

Ian Horrocks‚ Oliver Kutz and Ulrike Sattler

In Proc.of the 10th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2006). Pages 57–67. AAAI Press. 2006.

Details | BibTeX | Link (pdf)

[155]

The Generation of DAML+OIL

Ian Horrocks and Peter F. Patel−Schneider

In Proc.of the 2001 Description Logic Workshop (DL 2001). Vol. 49 of CEUR (http://ceur-ws.org/). Pages 30–35. 2001.

Details | BibTeX | Link (pdf)

[156]

The Instance Store: DL Reasoning with Large Numbers of Individuals

Ian Horrocks‚ Lei Li‚ Daniele Turi and Sean Bechhofer

In Proc.of the 2004 Description Logic Workshop (DL 2004). Pages 31–40. 2004.

Details | BibTeX | Link (pdf)

[157]

The Irresistible SRIQ

Ian Horrocks‚ Oliver Kutz and Ulrike Sattler

In Proc.of the First Int.Workshop on OWL Experiences and Directions (OWLED 2005). 2005.

Details | BibTeX | Link (pdf)

[158]

The Semantic Web: The Roles of XML and RDF

S. Decker‚ F. van Harmelen‚ J. Broekstra‚ M. Erdmann‚ D. Fensel‚ I. Horrocks‚ M. Klein and S. Melnik

In IEEE Internet Computing. Vol. 4. No. 5. Pages 63–74. 2000.

Details | BibTeX | Link (pdf)

[159]

The relation between ontologies and XML schemas

M. Klein‚ D. Fensel‚ F. van Harmelen and I. Horrocks

In Electronic Trans.on Artificial Intelligence. 2001.

Special Issue on the 1st International Workshop “Semantic Web: Models‚ Architectures and Management”

Details | BibTeX | Link (pdf)

[160]

The relation between ontologies and schema−languages: Translating OIL−specifications in XML−schema

Michel Klein‚ Dieter Fensel‚ Frank van Harmelen and Ian Horrocks

In Proceedings of the ECAI'00 workshop on applications of ontologies and problem−solving methods. Berlin. August, 2000.

Details | BibTeX | Link (pdf)

[161]

The FaCT System

Ian Horrocks

In Harrie de Swart, editor, Proc.of the 2nd Int.Conf.on Analytic Tableaux and Related Methods (TABLEAUX'98). Vol. 1397 of Lecture Notes in Artificial Intelligence. Pages 307–312. Springer. 1998.

Details | BibTeX | Link (pdf)

[162]

The OBO to OWL mapping‚ GO to OWL 1.1!

Christine Golbreich and Ian Horrocks

In Proc.of the Third Int.Workshop on OWL Experiences and Directions (OWLED 2007). No. 258. 2007.

Details | BibTeX | Link (pdf)

[163]

The OWL Instance Store: System Description

Sean Bechhofer‚ Ian Horrocks and Daniele Turi

In Proc.of the 20th Int.Conf.on Automated Deduction (CADE−20). Pages 177–181. Springer. 2005.

Details | BibTeX | Link (pdf)

[164]

The Grail Concept Modelling Language for Medical Terminology

A. Rector‚ S. Bechhofer‚ C. A. Goble‚ I. Horrocks‚ W. A. Nowlan and W. D. Solomon

In Artificial Intelligence in Medicine. Vol. 9. Pages 139–171. 1997.

Details | BibTeX | Link (pdf)

[165]

Three Theses of Representation in the Semantic Web

Ian Horrocks and Peter F.Patel−Schneider

In Proc.of the Twelfth International World Wide Web Conference (WWW 2003). Pages 39–47. ACM. 2003.

Details | BibTeX | Link (pdf)

[166]

Towards a Logic−based Assessment of the compatibility of UMLS sources

Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau‚ Rafael Berlanga Llavori and Ian Horrocks

In Proc.of the 2nd Int.Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). Vol. 559 of CEUR (http://ceur-ws.org/). 2009.

Details | BibTeX | Link (pdf)

[167]

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

In Jürgen Giesl and Reiner Hähnle, editors, Proc.of the Int.Joint Conf.on Automated Reasoning (IJCAR 2010). Vol. 6173 of Lecture Notes in Artificial Intelligence. Pages 61–75. Springer. 2010.

Details | BibTeX | Link (pdf)

[168]

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

In Proc.of the 2010 Description Logic Workshop (DL 2010). Vol. 573 of CEUR (http://ceur-ws.org/). 2010.

Details | BibTeX | Link (pdf)

[169]

Tractable Query Answering and Rewriting under Description Logic Constraints

Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks

In J.of Applied Logic. Vol. 8. No. 2. Pages 186–209. 2010.

DOI 10.1016/j.jal.2009.09.004

Details | BibTeX | Link (pdf) | DOI (10.1016/j.jal.2009.09.004)

[170]

Unions of Conjunctive Queries in SHOQ

Birte Glimm‚ Ian Horrocks and Ulrike Sattler

In Proc.of the 11th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2008). Pages 252–262. 2008.

Details | BibTeX | Link (pdf)

[171]

Using a Description Logic with Concept Inclusions

Ian Horrocks and Alan Rector

In Proc.of the 1996 Description Logic Workshop (DL'96). No. WS−96−05. Pages 132–135. AAAI Press/The MIT Press. 1996.

Details | BibTeX | Link (pdf)

[172]

Using an Expressive Description Logic: FaCT or Fiction?

Ian Horrocks

In Proc.of the 6th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR'98). Pages 636–647. 1998.

Details | BibTeX | Link (pdf)

[173]

Using Vampire to Reason with OWL

Dmitry Tsarkov‚ Alexandre Riazanov‚ Sean Bechhofer and Ian Horrocks

In Sheila A.McIlraith‚ Dimitris Plexousakis and Frank van Harmelen, editors, Proc.of the 3rd International Semantic Web Conference (ISWC 2004). Vol. 3298 of Lecture Notes in Computer Science. Pages 471–485. Springer. 2004.

Details | BibTeX | Link (pdf)

[174]

Web Ontology Reasoning with Datatype Groups

Jeff Pan and Ian Horrocks

Details | BibTeX | Link (pdf)

[175]

Where Are the Rules?

Ian Horrocks‚ Jürgen Angele‚ Stefan Decker‚ Michael Kifer‚ Benjamin N. Grosof and Gerd Wagner

In IEEE Intelligent Systems. Vol. 18. No. 5. Pages 76–83. 2003.

Details | BibTeX | http://csdl.computer.org/comp/mags/ex/2003/05/x5076abs.htm">Link

[176]

Will my Ontologies Fit Together?

Bernardo Cuenca Grau‚ Ian Horrocks‚ Oliver Kutz and Ulrike Sattler

In Proc.of the 2006 Description Logic Workshop (DL 2006). Vol. 189 of CEUR (http://ceur-ws.org/). 2006.

Details | BibTeX | Link (pdf)

[177]

ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo)

Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga Llavori

In Proc.of the 2nd Int.Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). Vol. 559 of CEUR (http://ceur-ws.org/). 2009.

Details | BibTeX | Link (pdf)

[178]

DAML+OIL (March 2001) Reference Description

Dan Connolly‚ Frank van Harmelen‚ Ian Horrocks‚ Deborah L. McGuinness‚ Peter F. Patel−Schneider and Lynn Andrea Stein

W3C Note. , 2001.

Available at http://www.w3.org/TR/daml+oil-reference

Details | BibTeX | http://www.w3.org/TR/daml+oil-reference">Link

[179]

DAML+OIL is not Enough

Sean Bechhofer‚ Carole Goble and Ian Horrocks

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

Details | BibTeX | Link (pdf)

[180]

DAML+OIL: a Description Logic for the Semantic Web

Ian Horrocks

In Bull.of the IEEE Computer Society Technical Committee on Data Engineering. Vol. 25. No. 1. Pages 4–9. March, 2002.

Details | BibTeX | Link (pdf)

[181]

DAML+OIL: a Reason−able Web Ontology Language

Ian Horrocks

In Proc.of EDBT 2002. No. 2287. Pages 2–13. Springer. March, 2002.

Details | BibTeX | Link (pdf)

[182]

DLP and FaCT

P. F. Patel−Schneider and I. Horrocks

Pages 19–23. 1999.

Details | BibTeX | Link (pdf)

[183]

DL Reasoner vs.First−Order Prover

Dmitry Tsarkov and Ian Horrocks

In Proc.of the 2003 Description Logic Workshop (DL 2003). Vol. 81 of CEUR (http://ceur-ws.org/). Pages 152–159. 2003.

Details | BibTeX | Link (pdf)

[184]

DL Systems Comparison

Ian Horrocks and Peter F. Patel−Schneider

In Proc.of the 1998 Description Logic Workshop (DL'98). Vol. 11 of CEUR (http://ceur-ws.org/). Pages 55–57. 1998.

Details | BibTeX | Link (pdf)

[185]

Description Logics

Franz Baader‚ Ian Horrocks and Ulrike Sattler

In Frank van Harmelen‚ Vladimir Lifschitz and Bruce Porter, editors, Handbook of Knowledge Representation. Elsevier. 2007.

Details | BibTeX | Link (pdf)

[186]

Extending Datatype Support in Web Ontology Reasoning

Jeff Z. Pan and Ian Horrocks

In Proc.of the 2002 Int.Conference on Ontologies‚ Databases and Applications of SEmantics (ODBASE 2002). No. 2519. Pages 1067–1081. Springer. 2002.

Details | BibTeX | Link (pdf)

[187]

FAQs on OIL: the Ontology Inference Layer

F. Van Harmelen and I. Horrocks

In IEEE Intelligent Systems. Vol. 15. No. 6. Pages 69–72. 2000.

Details | BibTeX | Link (pdf)

[188]

FaCT and DLP

Ian Horrocks and Peter F. Patel−Schneider

In Harrie de Swart, editor, Proc.of the 2nd Int.Conf.on Analytic Tableaux and Related Methods (TABLEAUX'98). No. 1397. Pages 27–30. Springer. May, 1998.

Details | BibTeX | Link (pdf)

[189]

FaCT and iFaCT

Ian Horrocks

In Proc.of the 1999 Description Logic Workshop (DL'99). Vol. 22 of CEUR (http://ceur-ws.org/). Pages 133–135. 1999.

Details | BibTeX | Link (pdf)

[190]

FaCT++ Description Logic Reasoner: System Description

Dmitry Tsarkov and Ian Horrocks

In Proc.of the Int.Joint Conf.on Automated Reasoning (IJCAR 2006). Vol. 4130 of Lecture Notes in Artificial Intelligence. Pages 292–297. Springer. 2006.

Details | BibTeX | Link (pdf)

[191]

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences

Christine Golbreic‚ Matthew Horridge‚ Ian Horrocks‚ Boris Motik and Rob Shearer

In Proc.of the 6th International Semantic Web Conference (ISWC 2007). Vol. 4825 of Lecture Notes in Computer Science. Pages 169–182. Springer. 2007.

Details | BibTeX | Link (pdf)

[192]

OIL: The Ontology Inference Layer

Ian Horrocks‚ Dieter Fensel‚ Jeen Broekstra‚ Stefan Decker‚ Michael Erdmann‚ Carole Goble‚ Frank van Harmelen‚ Michel Klein‚ Steffen Staab‚ Rudi Studer and Enrico Motta

No. IR−479. Vrije Universiteit Amsterdam‚ Faculty of Sciences. September, 2000.

See http://www.ontoknowledge.org/oil/

Details | BibTeX | Link (pdf)

[193]

OIL and UPML: a unifying framework for the Knowledge Web

D. Fensel‚ M. Cruzeby‚ F. van Harmelen and I. Horrocks

In Proceedings of the ECAI'00 workshop on applications of ontologies and problem−solving methods. Berlin. August, 2000.

Details | BibTeX | Link (pdf)

[194]

OIL in a Nutshell

Dieter Fensel‚ Ian Horrocks‚ Frank van Harmelen‚ Stefan Decker‚ Michael Erdmann and Michel Klein

In R. Dieng, editor, Proc.of the 12th European Workshop on Knowledge Acquisition‚ Modeling‚ and Management (EKAW 2000). No. 1937. Pages 1–16. Springer. 2000.

Details | BibTeX | Link (pdf)

[195]

OIL: An Ontology Infrastructure for the Semantic Web

D. Fensel‚ F. van Harmelen‚ I. Horrocks‚ D. McGuinness and P. F. Patel−Schneider

In IEEE Intelligent Systems. Vol. 16. No. 2. Pages 38–45. 2001.

Details | BibTeX | Link (pdf)

[196]

OILing the way to machine understandable bioinformatics resources

Robert Stevens‚ Carole Goble‚ Ian Horrocks and Sean Bechhofer

In IEEE Transactions on Information Technology in Biomedicine. Vol. 6. No. 2. Pages 129–134. 2002.

Details | BibTeX | Link (pdf)

[197]

OWL 2: The next step for OWL

Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik‚ Bijan Parsia‚ Peter Patel−Schneider and Ulrike Sattler

In J.of Web Semantics. Vol. 6. No. 4. Pages 309–322. November, 2008.

Details | BibTeX | Link (pdf) | DOI (10.1016/j.websem.2008.05.001)

[198]

OWL−Eu: Adding Customised Datatypes into OWL

Jeff Pan and Ian Horrocks

In J.of Web Semantics. Vol. 4. No. 1. Pages 29–39. 2006.

Details | BibTeX | Link (pdf)

[199]

OWL−Eu: Adding Customised Datatypes into OWL

Jeff Pan and Ian Horrocks

In Asunciόn Gόmez−Prez and Jérôme Euzenat, editors, Proc.of The Second European Semantic Web Conference (ESWC 2005). No. 3532. Pages 153–166. Springer. 2005.

Details | BibTeX | Link (pdf)

[200]

OWL−QL—a language for deductive query answering on the Semantic Web

Richard Fikes‚ Patrick Hayes and Ian Horrocks

In J.of Web Semantics. Vol. 2. No. 1. Pages 19–29. 2004.

Details | BibTeX | Link (pdf)

[201]

OWL−QL—a language for deductive query answering on the Semantic Web

Richard Fikes‚ Patrick Hayes and Ian Horrocks

No. KSL−03−14. Knowledge Systems Laboratory‚ Stanford University‚ Stanford‚ CA‚ USA. 2003.

Details | BibTeX | Link (pdf)

[202]

OWL: a Description Logic Based Ontology Language for the Semantic Web

Ian Horrocks‚ Peter F. Patel−Schneider‚ Deborah L. McGuinness and Christopher A. Welty

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.

Details | BibTeX | Link (pdf)

[203]

OWL 1.1 Web Ontology Language Overview

Peter Patel−Schneider and Ian Horrocks

W3C Member Submission. , 2006.

Available at http://www.w3.org/Submission/owl11-overview/

Details | BibTeX | http://www.webont.org/owl/1.1/">Link

[204]

OWL Datatypes: Design and Implementation

Boris Motik and Ian Horrocks

In Proc.of the 7th International Semantic Web Conference (ISWC 2008). Vol. 5318 of Lecture Notes in Computer Science. Pages 307–322. Springer. 2008.

Details | BibTeX | Link (pdf)

[205]

OWL Rules: A Proposal and Prototype Implementation

Ian Horrocks‚ Peter F.Patel−Schneider‚ Sean Bechhofer and Dmitry Tsarkov

In J.of Web Semantics. Vol. 3. No. 1. Pages 23–40. 2005.

Details | BibTeX | Link (pdf)

[206]

OWL Web Ontology Language Reference

Sean Bechhofer‚ Frank van Harmelen‚ Jim Hendler‚ Ian Horrocks‚ Deborah L. McGuinness‚ Peter F.Patel−Schneider and Lynn Andrea Stein

W3C Recommendation. , 2004.

Available at http://www.w3.org/TR/owl-ref/

Details | BibTeX | http://www.w3.org/TR/owl-ref/">Link

[207]

OWL Web Ontology Language Semantics and Abstract Syntax

Peter F. Patel−Schneider‚ Patrick Hayes and Ian Horrocks

W3C Recommendation. , 2004.

Available at http://www.w3.org/TR/owl-semantics/

Details | BibTeX | http://www.w3.org/TR/owl-semantics/">Link

[208]

OilEd: A Reason−able Ontology Editor for the Semantic Web

Sean Bechhofer‚ Ian Horrocks‚ Carole Goble and Robert Stevens

In Proc.of the 2001 Description Logic Workshop (DL 2001). Vol. 49 of CEUR (http://ceur-ws.org/). Pages 1–9. 2001.

Details | BibTeX | Link (pdf)

[209]

OilEd: A Reason−able Ontology Editor for the Semantic Web

Sean Bechhofer‚ Ian Horrocks‚ Carole Goble and Robert Stevens

In Proc.of the Joint German/Austrian Conf.on Artificial Intelligence (KI 2001). No. 2174. Pages 396–408. Springer. 2001.

Details | BibTeX | Link (pdf)

[210]

On−To−Knowledge: Ontology−based Tools for Knowledge Management.

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

In Proceedings of the eBusiness and eWork 2000 Conference (eBeW'00). October, 2000.

Details | BibTeX | Link (pdf)

[211]

RDFS(FA) and RDF MT: Two Semantics for RDFS

Jeff Pan and Ian Horrocks

Details | BibTeX | Link (pdf)

[212]

RDFS(FA): A DL−ised Sub−language of RDFS

Jeff Pan and Ian Horrocks

In Proc.of the 2003 Description Logic Workshop (DL 2003). Vol. 81 of CEUR (http://ceur-ws.org/). Pages 95–102. 2003.

Details | BibTeX | Link (pdf)

[213]