The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ian Horrocks: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  140. Metalevel Information in Ontology-Based Applications. [Citation Graph (, )][DBLP]


  141. How Incomplete Is Your Semantic Web Reasoner? [Citation Graph (, )][DBLP]


  142. Individual Reuse in Description Logic Reasoning. [Citation Graph (, )][DBLP]


  143. Tractable Extensions of the Description Logic EL with Numerical Datatypes. [Citation Graph (, )][DBLP]


  144. Optimized Description Logic Reasoning via Core Blocking. [Citation Graph (, )][DBLP]


  145. Conjunctive Query Entailment for SHOQ. [Citation Graph (, )][DBLP]


  146. Ontology Reuse: Better Safe than Sorry. [Citation Graph (, )][DBLP]


  147. A Hypertableau Calculus for SHIQ. [Citation Graph (, )][DBLP]


  148. Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. [Citation Graph (, )][DBLP]


  149. Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. [Citation Graph (, )][DBLP]


  150. Building Ontologies Collaboratively Using ContentCVS. [Citation Graph (, )][DBLP]


  151. A Comparison of Query Rewriting Techniques for DL-lite. [Citation Graph (, )][DBLP]


  152. Exploiting Partial Information in Taxonomy Construction. [Citation Graph (, )][DBLP]


  153. Privacy-Preserving Query Answering in Logic-based Information Systems. [Citation Graph (, )][DBLP]


  154. Scalable ontology-based information systems. [Citation Graph (, )][DBLP]


  155. Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. [Citation Graph (, )][DBLP]


  156. Semantic Web: The Story So Far. [Citation Graph (, )][DBLP]


  157. Logic-based Ontology Integration using ContentMap. [Citation Graph (, )][DBLP]


  158. Unions of Conjunctive Queries in SHOQ. [Citation Graph (, )][DBLP]


  159. Representing Structured Objects using Description Graphs. [Citation Graph (, )][DBLP]


  160. Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]


  161. Ontology Languages and Engineering. [Citation Graph (, )][DBLP]


  162. Rewriting Conjunctive Queries over Description Logic Knowledge Bases. [Citation Graph (, )][DBLP]


  163. OWL Datatypes: Design and Implementation. [Citation Graph (, )][DBLP]


  164. Exploiting Partial Information in Taxonomy Construction. [Citation Graph (, )][DBLP]


  165. Efficient Query Answering for OWL 2. [Citation Graph (, )][DBLP]


  166. Practical Aspects of Query Rewriting for OWL 2. [Citation Graph (, )][DBLP]


  167. The OBO to OWL Mapping, GO to OWL 1.1! [Citation Graph (, )][DBLP]


  168. Adding Integrity Constraints to OWL. [Citation Graph (, )][DBLP]


  169. Extracting Modules from Ontologies: A Logic-based Approach. [Citation Graph (, )][DBLP]


  170. HermiT: A Highly-Efficient OWL Reasoner. [Citation Graph (, )][DBLP]


  171. Modeling Ontologies using OWL, Description Graphs, and Rules. [Citation Graph (, )][DBLP]


  172. Problems with OWL Syntax. [Citation Graph (, )][DBLP]


  173. Next Steps for OWL. [Citation Graph (, )][DBLP]


  174. Fuzzy OWL: Uncertainty and the Semantic Web. [Citation Graph (, )][DBLP]


  175. The Irresistible SRIQ. [Citation Graph (, )][DBLP]


  176. Introducing Customised Datatypes and Datatype Predicates into OWL. [Citation Graph (, )][DBLP]


  177. OWL FA: A Metamodeling Extension of OWL DL. [Citation Graph (, )][DBLP]


  178. Representing ontologies using description logics, description graphs, and rules. [Citation Graph (, )][DBLP]


  179. Ontologies and the semantic web. [Citation Graph (, )][DBLP]


Search in 0.238secs, Finished in 0.243secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002