| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Ian Horrocks 60 Michel C. A. Klein , Jeen Broekstra , Dieter Fensel , Frank van Hermelen , Ian Horrocks: Ontologies and Schema Languages on the Web. Spinning the Semantic Web 2003 : 95-139 59 Lei Li , Ian Horrocks: A software framework for matchmaking based on semantic web technology. WWW 2003 : 331-339 58 Ian Horrocks, Peter F. Patel-Schneider : Three theses of representation in the semantic web. WWW 2003 : 39-47 57 Benjamin N. Grosof , Ian Horrocks, Raphael Volz , Stefan Decker : Description logic programs: combining logic programs with description logic. WWW 2003 : 48-57 56 Ian Horrocks, James A. Hendler : The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings. Springer 2002 55 Ian Horrocks, Peter F. Patel-Schneider , Frank van Harmelen : Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002 : 792-797 54 Ian Horrocks: Reasoning with Expressive Description Logics: Theory and Practice. CADE 2002 : 1-15 53 Jeff Z. Pan , Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002 : 1067-1081 52 Jeff Z. Pan , Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002 : 1362 51 Ian Horrocks, Sergio Tessaris : Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Description Logics 2002 50 Ian Horrocks: DAML+OIL: A Reason-able Web Ontology Language. EDBT 2002 : 2-13 49 Ian Horrocks, Sergio Tessaris : Querying the Semantic Web: A Formal Approach. International Semantic Web Conference 2002 : 177-191 48 Sergio Tessaris , Ian Horrocks, Graham Gough : Evaluating a Modular Abox Algorithm. KR 2002 : 227-238 47 Sergio Tessaris , Ian Horrocks: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002 : 435-449 46 Ian Horrocks: DAML+OIL: A Reason-Able Web Ontology Language. WES 2002 : 174 45 Brandon Bennett , Clare Dixon , Michael Fisher , Ullrich Hustadt , Enrico Franconi , Ian Horrocks, Maarten de Rijke : Combinations of Modal Logics. Artificial Intelligence Review 17 (1): 1-20 (2002) 44 Jeen Broekstra , Michel C. A. Klein , Stefan Decker , Dieter Fensel , Frank van Harmelen , Ian Horrocks: Enabling knowledge representation on the Web by extending RDF Schema. Computer Networks 39 (5): 609-634 (2002) 43 Ian Horrocks: DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Engineering Bulletin 25 (1): 4-9 (2002) 42 Ian Horrocks, Peter F. Patel-Schneider : Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. Journal of Automated Reasoning 28 (2): 173-204 (2002) 41 Franz Baader , Ian Horrocks, Ulrike Sattler : Description Logics for the Semantic Web. KI 16 (4): 57-59 (2002) 40 Sean Bechhofer , Ian Horrocks, Carole A. Goble , Robert Stevens : OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics 2001 39 Ian Horrocks, Peter F. Patel-Schneider : The Generation of DAML+OIL. Description Logics 2001 38 Ian Horrocks, Ulrike Sattler : Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001 : 199-204 37 Sean Bechhofer , Ian Horrocks, Carole A. Goble , Robert Stevens : OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI 2001 : 396-408 36 Jeen Broekstra , Michel C. A. Klein , Stefan Decker , Dieter Fensel , Frank van Harmelen , Ian Horrocks: Enabling knowledge representation on the Web by extending RDF schema. WWW 2001 : 467-478 35 Dieter Fensel , Frank van Harmelen , Ian Horrocks, Deborah L. McGuinness , Peter F. Patel-Schneider : OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems 16 (2): 38-45 (2001) 34 Ian Horrocks, Sergio Tessaris : A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000 : 399-404 33 Ian Horrocks, Ulrike Sattler , Stephan Tobies : Reasoning with Individuals for the Description Logic SHIQ. CADE 2000 : 482-496 32 Ian Horrocks, Sergio Tessaris : Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000 : 173-182 31 Ian Horrocks, Stephan Tobies : Optimisation of Terminological Reasoning. Description Logics 2000 : 183-192 30 Sean Bechhofer , Ian Horrocks: Driving User Interfaces from FaCT. Description Logics 2000 : 45-54 29 Stefan Decker , Dieter Fensel , Frank van Harmelen , Ian Horrocks, Sergey Melnik , Michel C. A. Klein , Jeen Broekstra : Knowledge Representation on the Web. Description Logics 2000 : 89-97 28 Alexander Borgida , Enrico Franconi , Ian Horrocks: Explaining ALC Subsumption. ECAI 2000 : 209-213 27 Dieter Fensel , Ian Horrocks, Frank van Harmelen , Stefan Decker , Michael Erdmann , Michel C. A. Klein : OIL in a Nutshell. EKAW 2000 : 1-16 26 Ian Horrocks, Stephan Tobies : Reasoning with Axioms: Theory and Practice. KR 2000 : 285-296 25 Ian Horrocks, Ulrike Sattler , Sergio Tessaris , Stephan Tobies : How to decide Query Containment under Constraints using a Description Logic. KRDB 2000 : 59-72 24 Ian Horrocks, Ulrike Sattler , Sergio Tessaris , Stephan Tobies : How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000 : 326-343 23 Ian Horrocks: Benchmark Analysis with FaCT. TABLEAUX 2000 : 62-66 22 Stefan Decker , Sergey Melnik , Frank van Harmelen , Dieter Fensel , Michel C. A. Klein , Jeen Broekstra , Michael Erdmann , Ian Horrocks: The Semantic Web: The Roles of XML and RDF. IEEE Internet Computing 4 (5): 63-74 (2000) 21 Ian Horrocks, Lin Padgham , Laura Thomson : Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999 : 328-339 20 Sean Bechhofer , Ian Horrocks, Peter F. Patel-Schneider , Sergio Tessaris : A Proposal for a Description Logic Interface. Description Logics 1999 19 Alexander Borgida , Enrico Franconi , Ian Horrocks, Deborah L. McGuinness , Peter F. Patel-Schneider : Explaining ALC Subsumption. Description Logics 1999 18 Ian Horrocks: FaCT and iFaCT. Description Logics 1999 17 Ian Horrocks, Peter F. Patel-Schneider : Performance of DLP on Random Modal Formulae. Description Logics 1999 16 Ian Horrocks, Ulrike Sattler , Stephan Tobies : Practical Reasoning for Expressive Description Logics. LPAR 1999 : 161-180 15 Peter F. Patel-Schneider , Ian Horrocks: DLP and FaCT. TABLEAUX 1999 : 19-23 14 Ian Horrocks, Peter F. Patel-Schneider : Optimizing Description Logic Subsumption. Journal of Logic and Computation 9 (3): 267-293 (1999) 13 Ian Horrocks, Ulrike Sattler : A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation 9 (3): 385-410 (1999) 12 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). Journal of Logic and Computation 9 (3): 449-456 (1999) 11 Ian Horrocks, Peter F. Patel-Schneider : Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998 : 234-246 10 Ian Horrocks, Ulrike Sattler : A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998 9 Ian Horrocks, Peter F. Patel-Schneider : Comparing Subsumption Optimizations. Description Logics 1998 8 Ian Horrocks, Peter F. Patel-Schneider : DL Systems Comparison (Summary Relation). Description Logics 1998 7 Ian Horrocks: FaCT. Description Logics 1998 6 Ian Horrocks: Kris. Description Logics 1998 5 Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction? KR 1998 : 636-649 4 Ian Horrocks, Peter F. Patel-Schneider : FaCT and DLP. TABLEAUX 1998 : 27-30 3 Ian Horrocks: The FaCT System. TABLEAUX 1998 : 307-312 2 Alan L. Rector , Sean Bechhofer , Carole A. Goble , Ian Horrocks, W. A. Nowlan , W. D. Solomon : The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9 (2): 139-171 (1997) 1 Ian Horrocks, Alan L. Rector , Carole A. Goble : A Description Logic Based Schema for the Classification of Medical Data. KRDB 1996  DiSC'03 © 2003 Association for Computing Machinery |
