Ian Horrocks

From Tetherless World Wiki

Jump to: navigation, search
Ian Horrocks [ Edit ]
Photo:
Name: Ian Horrocks
Occupation: Full Professor
Affiliation(s): Oxford University
Homepage(s):
Email(s):
Phone:
Fax:
Interests: Semantic Web, Description Logics
Other tags:
Alias:
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Ian Horrocks. Ontologies and the semantic web, In Commun. ACM, 51(12):58-67, 2008 .
  2. Birte Glimm, Ian Horrocks, Ulrike Sattler. Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata, In Description Logics, , 2008 .
  3. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWL 2: The next step for OWL, In J. Web Sem., 6(4):309-322, 2008 .
  4. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. Representing Structured Objects using Description Graphs, In KR, pp. 296-306, 2008 .
  5. Boris Motik, Ian Horrocks. OWL Datatypes: Design and Implementation, In International Semantic Web Conference, pp. 307-322, 2008 .
  6. Rob Shearer, Boris Motik, Ian Horrocks. Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi, In Description Logics, , 2008 .
  7. Ian Horrocks, Henson Graves. Application of OWL 1.1 to Systems Engineering, In OWL: Experiences and Directions (OWLED), pp. online, 2008 .
  8. Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks. Metalevel Information in Ontology-Based Applications, In AAAI, pp. 1237-1242, 2008 .
  9. H \'e ctor P \'e rez-Urbina, Boris Motik, Ian Horrocks. Rewriting Conjunctive Queries over Description Logic Knowledge Bases, In SDKB, pp. 199-214, 2008 .
  10. Birte Glimm, Ian Horrocks, Ulrike Sattler. Unions of Conjunctive Queries in SHOQ, In KR, pp. 252-262, 2008 .
  11. Boris Motik, Ian Horrocks. Individual Reuse in Description Logic Reasoning, In IJCAR, pp. 242-258, 2008 .
  12. Ian Horrocks, Birte Glimm, Ulrike Sattler. Hybrid Logics and Ontology Languages, In Electr. Notes Theor. Comput. Sci., 174(6):3-14, 2007 (Download) .
  13. Jeff Z. Pan, Ian Horrocks. RDFS(FA): Connecting RDF(S) and OWL DL, In IEEE Trans. Knowl. Data Eng., 19(2):192-206, 2007 (Download) .
  14. Ian Horrocks, Ulrike Sattler. A Tableau Decision Procedure for SHOIQ, In J. Autom. Reasoning, 39(3):249-276, 2007 (Download) .
  15. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Ontology Reuse: Better Safe than Sorry, In Description Logics, , 2007 (Download) .
  16. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Just the right amount: extracting modules from ontologies, In WWW, pp. 717-726, 2007 (Download) .
  17. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. A Logical Framework for Modularity of Ontologies, In IJCAI, pp. 298-303, 2007 (Download) .
  18. Ian Horrocks. Semantic web: the story so far, In W4A, pp. 120-125, 2007 (Download) .
  19. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Extracting Modules from Ontologies: A Logic-based Approach, In OWLED, , 2007 (Download) .
  20. Boris Motik, Rob Shearer, Ian Horrocks. Optimized Reasoning in Description Logics Using Hypertableaux, In CADE, pp. 67-83, 2007 (Download) .
  21. Christine Golbreich, Ian Horrocks. The OBO to OWL Mapping, GO to OWL 1.1!, In OWLED, , 2007 (Download) .
  22. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider. Optimizing Terminological Reasoning for Expressive Description Logics, In J. Autom. Reasoning, 39(3):277-316, 2007 (Download) .
  23. Boris Motik, Rob Shearer, Ian Horrocks. A Hypertableau Calculus for SHIQ, In Description Logics, , 2007 (Download) .
  24. Boris Motik, Ian Horrocks, Ulrike Sattler. Bridging the gap between OWL and relational databases, In WWW, pp. 807-816, 2007 (Download) .
  25. Ian Horrocks. Semantic Web: The Story So Far, In ICTAI (1), , 2007 (Download) .
  26. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. Conjunctive Query Answering for the Description Logic SHIQ, In IJCAI, pp. 399-404, 2007 (Download) .
  27. Birte Glimm, Ian Horrocks, Ulrike Sattler. Conjunctive Query Entailment for SHOQ, In Description Logics, , 2007 (Download) .
  28. Ian Horrocks. Logic for Ontology Engineering Corner, In J. Log. Comput., 17(4):615, 2007 (Download) .
  29. Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks. Reasoning with Very Expressive Fuzzy Description Logics, In J. Artif. Intell. Res. (JAIR), 30:273-320, 2007 (Download) .
  30. Boris Motik, Ian Horrocks, Ulrike Sattler. Adding Integrity Constraints to OWL, In OWLED, , 2007 (Download) .
  31. Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer. OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences, In ISWC/ASWC, pp. 169-182, 2007 (Download) .
  32. Peter F. Patel-Schneider, Ian Horrocks. A comparison of two modelling paradigms in the Semantic Web, In J. Web Sem., 5(4):240-250, 2007 (Download) .
  33. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. Will my Ontologies Fit Together?, In Description Logics, , 2006 (Download) .
  34. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. Next Steps for OWL, In OWLED, , 2006 .
  35. Jeff Z. Pan, Ian Horrocks. OWL-Eu: Adding customised datatypes into OWL, In J. Web Sem., 4(1):29-39, 2006 (Download) .
  36. Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens. Deciding Semantic Matching of Stateless Services, In AAAI, , 2006 (Download) .
  37. Tom Gardiner, Dmitry Tsarkov, Ian Horrocks. Framework for an Automated Comparison of Description Logic Reasoners, In International Semantic Web Conference, pp. 654-667, 2006 (Download) .
  38. Jeff Z. Pan, Ian Horrocks. OWL FA: a metamodeling extension of OWL DL, In WWW, pp. 1065-1066, 2006 (Download) .
  39. Ian Horrocks, Oliver Kutz, Ulrike Sattler. The Even More Irresistible SROIQ, In KR, pp. 57-67, 2006 (Download) .
  40. Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Automated Benchmarking of Description Logic Reasoners, In Description Logics, , 2006 (Download) .
  41. Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler. Can OWL and Logic Programming Live Together Happily Ever After?, In International Semantic Web Conference, pp. 501-514, 2006 (Download) .
  42. Peter F. Patel-Schneider, Ian Horrocks. Position paper: a comparison of two modelling paradigms in the Semantic Web, In WWW, pp. 3-12, 2006 (Download) .
  43. Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks. f-SWRL: A Fuzzy Extension of SWRL, In , pp. 28-46, 2006 (Download) .
  44. Ian Horrocks, Andrei Voronkov. Reasoning Support for Expressive Ontology Languages Using a Theorem Prover, In FoIKS, pp. 201-218, 2006 (Download) .
  45. Birte Glimm, Ian Horrocks, Ulrike Sattler. Conjunctive Query Answering for Description Logics with Transitive Roles, In Description Logics, , 2006 (Download) .
  46. Dmitry Tsarkov, Ian Horrocks. Description Logic Reasoner: System Description, In IJCAR, pp. 292-297, 2006 (Download) .
  47. Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks. The Fuzzy Description Logic f-SHIN, In ISWC-URSW, pp. 67-76, 2005 (Download) .
  48. Birte Glimm, Ian Horrocks. Handling Cyclic Conjunctive Queries, In Description Logics, , 2005 (Download) .
  49. Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler. Semantic Web Architecture: Stack or Two Towers?, In PPSWR, pp. 37-41, 2005 (Download) .
  50. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In J. Artif. Intell. Res. (JAIR), 23:667-726, 2005 (Download) .
  51. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics as Ontology Languages for the Semantic Web, In Mechanizing Mathematical Reasoning, pp. 228-248, 2005 (Download) .
  52. Ian Horrocks. OWL: A Description Logic Based Ontology Language, In ICLP, pp. 1-4, 2005 (Download) .
  53. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov. OWL rules: A proposal and prototype implementation, In J. Web Sem., 3(1):23-40, 2005 (Download) .
  54. Dmitry Tsarkov, Ian Horrocks. Optimised Classification for Taxonomic Knowledge Bases, In Description Logics, , 2005 (Download) .
  55. Jeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks. f-SWRL: A Fuzzy Extension of SWRL, In ICANN (2), pp. 829-834, 2005 (Download) .
  56. Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks. A Fuzzy Extension of SWRL, In Rule Languages for Interoperability, , 2005 (Download) .
  57. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. A Little Semantic Web Goes a Long Way in Biology, In International Semantic Web Conference, pp. 786-800, 2005 (Download) .
  58. Jeff Z. Pan, Ian Horrocks. OWL-Eu: Adding Customised Datatypes into OWL, In ESWC, pp. 153-166, 2005 (Download) .
  59. Jeff Z. Pan, Ian Horrocks, Guus Schreiber. OWL FA: A Metamodeling Extension of OWL DL, In OWLED, , 2005 .
  60. Ian Horrocks. Description Logics in Ontology Applications, In KI, pp. 16, 2005 (Download) .
  61. Ian Horrocks. OWL: A Description Logic Based Ontology Language, In CP, pp. 5-8, 2005 .
  62. Sean Bechhofer, Ian Horrocks, Daniele Turi. The OWL Instance Store: System Description, In CADE, pp. 177-181, 2005 (Download) .
  63. Ian Horrocks. Description Logics in Ontology Applications, In TABLEAUX, pp. 2-13, 2005 (Download) .
  64. Ian Horrocks. Applications of Description Logics: State of the Art and Research Challenges, In ICCS, pp. 78-90, 2005 (Download) .
  65. Dmitry Tsarkov, Ian Horrocks. Ordering Heuristics for Description Logic Reasoning, In IJCAI, pp. 609-614, 2005 (Download) .
  66. Ian Horrocks. OWL Rules, OK?, In Rule Languages for Interoperability, , 2005 (Download) .
  67. Ian Horrocks, Ulrike Sattler. A Tableaux Decision Procedure for SHOIQ, In IJCAI, pp. 448-453, 2005 (Download) .
  68. Ian Horrocks, Ulrike Sattler. Decidability of SHIQ with complex role inclusion axioms, In Artif. Intell., 160(1-2):79-104, 2004 (Download) .
  69. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks. Using Vampire to Reason with OWL, In International Semantic Web Conference, pp. 471-485, 2004 (Download) .
  70. Ian Horrocks. WWW conference special issue, In J. Web Sem., 1(2):139-140, 2004 (Download) .
  71. Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer. The Instance Store: DL Reasoning with Large Numbers of Individuals, In Description Logics, , 2004 (Download) .
  72. Richard Fikes, Patrick J. Hayes, Ian Horrocks. OWL-QL - a language for deductive query answering on the Semantic Web, In J. Web Sem., 2(1):19-29, 2004 (Download) .
  73. Jeff Z. Pan, Ian Horrocks. Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"), In Description Logics, , 2004 (Download) .
  74. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability, In J. Web Sem., 1(4):345-357, 2004 (Download) .
  75. Dmitry Tsarkov, Ian Horrocks. Efficient Reasoning with Range and Domain Constraints, In Description Logics, , 2004 (Download) .
  76. Ian Horrocks, Peter F. Patel-Schneider. A proposal for an owl rules language, In WWW, pp. 723-731, 2004 (Download) .
  77. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics, In Handbook on Ontologies, pp. 3-28, 2004 (Download) .
  78. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. Description logic programs: combining logic programs with description logic, In WWW, pp. 48-57, 2003 (Download) .
  79. Jeff Z. Pan, Ian Horrocks. Web Ontology Reasoning with Datatype Groups, In International Semantic Web Conference, pp. 47-63, 2003 (Download) .
  80. Lei Li, Ian Horrocks. A software framework for matchmaking based on semantic web technology, In WWW, pp. 331-339, 2003 (Download) .
  81. Ian Horrocks. Implementation and Optimization Techniques, In Description Logic Handbook, pp. 306-346, 2003 (Download) .
  82. Jeff Z. Pan, Ian Horrocks. RDFS(FA): A DL-ised Sub-language of RDFS, In Description Logics, , 2003 (Download) .
  83. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability, In International Semantic Web Conference, pp. 17-29, 2003 (Download) .
  84. Dmitry Tsarkov, Ian Horrocks. DL Reasoner vs. First-Order Prover, In Description Logics, , 2003 (Download) .
  85. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. Keys, Nominals, and Concrete Domains, In IJCAI, pp. 349-354, 2003 (Download) .
  86. Ian Horrocks, Peter F. Patel-Schneider. Three theses of representation in the semantic web, In WWW, pp. 39-47, 2003 (Download) .
  87. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner. Where Are the Rules?, In IEEE Intelligent Systems, 18(5):76-83, 2003 (Download) .
  88. Lei Li, Ian Horrocks. Matchmarking Using an Instance Store: Some Preliminary Results, In Description Logics, , 2003 (Download) .
  89. Ian Horrocks, Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms, In IJCAI, pp. 343-348, 2003 (Download) .
  90. Jeff Z. Pan, Ian Horrocks. RDFS(FA) and RDF MT: Two Semantics for RDFS, In International Semantic Web Conference, pp. 30-46, 2003 (Download) .
  91. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. From SHIQ and RDF to OWL: the making of a Web Ontology Language, In J. Web Sem., 1(1):7-26, 2003 (Download) .
  92. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfability, In Description Logics, , 2003 (Download) .
  93. Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks. Ontologies and Schema Languages on the Web, In Spinning the Semantic Web, pp. 95-139, 2003 (Download) .
  94. Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks. A Semantic Infosphere, In International Semantic Web Conference, pp. 882-896, 2003 (Download) .
  95. Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty. Digital Libraries and Web-based Information Systems, In Description Logic Handbook, pp. 427-449, 2003 (Download) .
  96. Ian Horrocks. Reasoning with Expressive Description Logics: Theory and Practice, In CADE, pp. 1-15, 2002 (Download) .
  97. Ian Horrocks, Ulrike Sattler. Optimised Reasoning for SHIQ, In ECAI, pp. 277-281, 2002 (Download) .
  98. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer. OILing the way to machine understandable bioinformatics resources, In IEEE Transactions on Information Technology in Biomedicine, 6(2):129-134, 2002 (Download) .
  99. Jeff Z. Pan, Ian Horrocks. Extending Datatype Support in Web Ontology Reasoning, In CoopIS/DOA/ODBASE, pp. 1362, 2002 (Download) .
  100. Sergio Tessaris, Ian Horrocks, Graham Gough. Evaluating a Modular Abox Algorithm, In KR, pp. 227-238, 2002 (Download) .
  101. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web, In AAAI/IAAI, pp. 792-797, 2002 (Download) .
  102. Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks. Enabling knowledge representation on the Web by extending RDF Schema, In Computer Networks, 39(5):609-634, 2002 (Download) .
  103. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke. Combinations of Modal Logics, In Artif. Intell. Rev., 17(1):1-20, 2002 (Download) .
  104. Sergio Tessaris, Ian Horrocks. Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics, In LPAR, pp. 435-449, 2002 (Download) .
  105. Ian Horrocks. DAML+OIL: a Description Logic for the Semantic Web, In IEEE Data Eng. Bull., 25(1):4-9, 2002 (Download) .
  106. Ian Horrocks. DAML+OIL: A Reason-able Web Ontology Language, In EDBT, pp. 2-13, 2002 (Download) .
  107. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer. Building a bioinformatics ontology using OIL, In IEEE Transactions on Information Technology in Biomedicine, 6(2):135-141, 2002 (Download) .
  108. Ian Horrocks, Peter F. Patel-Schneider. Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability, In J. Autom. Reasoning, 28(2):173-204, 2002 (Download) .
  109. Ian Horrocks. DAML+OIL: A Reason-Able Web Ontology Language, In WES, pp. 174, 2002 (Download) .
  110. Ian Horrocks, Sergio Tessaris. Querying the Semantic Web: A Formal Approach, In International Semantic Web Conference, pp. 177-191, 2002 (Download) .
  111. Jeff Z. Pan, Ian Horrocks. Extending Datatype Support in Web Ontology Reasoning, In CoopIS/DOA/ODBASE, pp. 1067-1081, 2002 (Download) .
  112. Franz Baader, Ian Horrocks, Ulrike Sattler. Description Logics for the Semantic Web, In KI, 16(4):57-59, 2002 (Download) .
  113. Ian Horrocks, Ulrike Sattler. Ontology Reasoning in the SHOQ(D) Description Logic, In IJCAI, pp. 199-204, 2001 (Download) .
  114. Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens. OilEd: A Reason-able Ontology Editor for the Semantic Web, In KI/ÖGAI, pp. 396-408, 2001 (Download) .
  115. Jeff Z. Pan, Ian Horrocks. Metamodeling Architecture of Web Ontology Languages, In The Emerging Semantic Web, , 2001 (Download) .
  116. Ian Horrocks, Peter F. Patel-Schneider. The Generation of DAML+OIL, In Description Logics, , 2001 (Download) .
  117. Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks. Enabling knowledge representation on the Web by extending RDF schema, In WWW, pp. 467-478, 2001 (Download) .
  118. Jeff Z. Pan, Ian Horrocks. Metamodeling Architecture of Web Ontology Languages, In SWWS, pp. 131-149, 2001 (Download) .
  119. Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens. OilEd: a Reason-able Ontology Editor for the Semantic Web, In Description Logics, , 2001 (Download) .
  120. Sean Bechhofer, Carole A. Goble, Ian Horrocks. DAML+OIL is not Enough, In SWWS, pp. 151-159, 2001 (Download) .
  121. Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein. OIL in a Nutshell, In EKAW, pp. 1-16, 2000 (Download) .
  122. Sean Bechhofer, Ian Horrocks. Driving User Interfaces from FaCT, In Description Logics, pp. 45-54, 2000 (Download) .
  123. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to Decide Query Containment Under Constraints Using a Description Logic, In LPAR, pp. 326-343, 2000 (Download) .
  124. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CoRR, cs.LO/0005017, 2000 (Download) .
  125. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. How to decide Query Containment under Constraints using a Description Logic, In KRDB, pp. 59-72, 2000 (Download) .
  126. Ian Horrocks. Benchmark Analysis with FaCT, In TABLEAUX, pp. 62-66, 2000 (Download) .
  127. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In CoRR, cs.LO/0005013, 2000 (Download) .
  128. Ian Horrocks, Sergio Tessaris. Answering Conjunctive Queries over DL Aboxes: A Preliminary Report, In Description Logics, pp. 173-182, 2000 (Download) .
  129. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Very Expressive Description Logics, In Logic Journal of the IGPL, 8(3), 2000 (Download) .
  130. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Reasoning with Individuals for the Description Logic SHIQ, In CADE, pp. 482-496, 2000 (Download) .
  131. Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra. Knowledge Representation on the Web, In Description Logics, pp. 89-97, 2000 (Download) .
  132. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In CoRR, cs.LO/0005014, 2000 (Download) .
  133. Alexander Borgida, Enrico Franconi, Ian Horrocks. Explaining ALC Subsumption, In ECAI, pp. 209-213, 2000 (Download) .
  134. Ian Horrocks, Stephan Tobies. Optimisation of Terminological Reasoning, In Description Logics, pp. 183-192, 2000 (Download) .
  135. Stefan Decker, Sergey Melnik, Frank van Harmelen, Dieter Fensel, Michel C. A. Klein, Jeen Broekstra, Michael Erdmann, Ian Horrocks. The Semantic Web: The Roles of XML and RDF, In IEEE Internet Computing, 4(5):63-74, 2000 (Download) .
  136. Ian Horrocks, Sergio Tessaris. A Conjunctive Query Language for Description Logic Aboxes, In AAAI/IAAI, pp. 399-404, 2000 (Download) .
  137. Ian Horrocks, Stephan Tobies. Reasoning with Axioms: Theory and Pratice, In CoRR, cs.LO/0005012, 2000 (Download) .
  138. Ian Horrocks, Stephan Tobies. Reasoning with Axioms: Theory and Practice, In KR, pp. 285-296, 2000 (Download) .
  139. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani. An Analysis of Empirical Testing for Modal Decision Procedures, In Logic Journal of the IGPL, 8(3), 2000 (Download) .
  140. Ian Horrocks, Peter F. Patel-Schneider. Performance of DLP on Random Modal Formulae, In Description Logics, , 1999 (Download) .
  141. Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies, In J. Log. Comput., 9(3):385-410, 1999 (Download) .
  142. Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris. A Proposal for a Description Logic Interface, In Description Logics, , 1999 (Download) .
  143. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. Report on the 1998 International Workshop on Description Logics (DL'98), In J. Log. Comput., 9(3):449-456, 1999 (Download) .
  144. Ian Horrocks. FaCT and iFaCT, In Description Logics, , 1999 (Download) .
  145. Ian Horrocks, Ulrike Sattler, Stephan Tobies. Practical Reasoning for Expressive Description Logics, In LPAR, pp. 161-180, 1999 (Download) .
  146. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Explaining ALC Subsumption, In Description Logics, , 1999 (Download) .
  147. Ian Horrocks, Lin Padgham, Laura Thomson. Feasibility of Optimised Disjunctive Reasoning for Approximate Matching, In Australian Joint Conference on Artificial Intelligence, pp. 328-339, 1999 (Download) .
  148. Ian Horrocks, Peter F. Patel-Schneider. Optimizing Description Logic Subsumption, In J. Log. Comput., 9(3):267-293, 1999 (Download) .
  149. Peter F. Patel-Schneider, Ian Horrocks. DLP and FaCT, In TABLEAUX, pp. 19-23, 1999 (Download) .
  150. Ian Horrocks. Using an Expressive Description Logic: FaCT or Fiction?, In KR, pp. 636-649, 1998 (Download) .
  151. Ian Horrocks. Kris, In Description Logics, , 1998 (Download) .
  152. Ian Horrocks. The FaCT System, In TABLEAUX, pp. 307-312, 1998 (Download) .
  153. Ian Horrocks, Peter F. Patel-Schneider. DL Systems Comparison (Summary Relation), In Description Logics, , 1998 (Download) .
  154. Ian Horrocks, Peter F. Patel-Schneider. Optimising Propositional Modal Satisfiability for Description Logic Subsumption, In AISC, pp. 234-246, 1998 (Download) .
  155. Ian Horrocks, Ulrike Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies, In Description Logics, , 1998 (Download) .
  156. Ian Horrocks, Peter F. Patel-Schneider. FaCT and DLP, In TABLEAUX, pp. 27-30, 1998 (Download) .
  157. Ian Horrocks, Peter F. Patel-Schneider. Comparing Subsumption Optimizations, In Description Logics, , 1998 (Download) .
  158. Ian Horrocks. FaCT, In Description Logics, , 1998 (Download) .
  159. Ian Horrocks, Graham Gough. Description Logics with Transitive Roles, In Description Logics, , 1997 (Download) .
  160. Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon. The GRAIL concept modelling language for medical terminology, In Artificial Intelligence in Medicine, 9(2):139-171, 1997 (Download) .
  161. Ian Horrocks, Alan L. Rector, Carole A. Goble. A Description Logic Based Schema for the Classification of Medical Data, In KRDB, , 1996 (Download) .
  162. Ian Horrocks, Alan L. Rector. Using a Description Logic with Concept Inclusions, In Description Logics, pp. 132-135, 1996 (Download) .

External Links

More information on Google, and DBLP

Facts about Ian HorrocksRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Ian  +
Foaf:interest Semantic Web  +, and Description Logics  +
Foaf:name Ian Horrocks  +
Foaf:surname Horrocks  +
Has affiliation Oxford University  +
Has identifier Ian Horrocks  +
Has role Full Professor  +
Retrieved from "http://tw.rpi.edu/wiki/Ian_Horrocks"
Personal tools