| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Ian Horrocks 22 Ian Horrocks, Sergio Tessaris : A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000 : 399-404 21 Ian Horrocks, Ulrike Sattler , Stephan Tobies : Reasoning with Individuals for the Description Logic SHIQ. CADE 2000 : 482-496 20 Ian Horrocks, Sergio Tessaris : Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000 : 173-182 19 Ian Horrocks, Stephan Tobies : Optimisation of Terminological Reasoning. Description Logics 2000 : 183-192 18 Sean Bechhofer , Ian Horrocks: Driving User Interfaces from FaCT. Description Logics 2000 : 45-54 17 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 16 Dieter Fensel , Ian Horrocks, Frank van Harmelen , Stefan Decker , Michael Erdmann , Michel C. A. Klein : OIL in a Nutshell. EKAW 2000 : 1-16 15 Ian Horrocks, Stephan Tobies : Reasoning with Axioms: Theory and Practice. KR 2000 : 285-296 14 Ian Horrocks, Ulrike Sattler , Sergio Tessaris , Stephan Tobies : How to decide Query Containment under Constraints using a Description Logic. KRDB 2000 : 59-72 13 Ian Horrocks, Ulrike Sattler , Sergio Tessaris , Stephan Tobies : How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000 : 326-343 12 Ian Horrocks: Benchmark Analysis with FaCT. TABLEAUX 2000 : 62-66 11 Ian Horrocks, Lin Padgham , Laura Thomson : Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999 : 328-339 10 Ian Horrocks, Ulrike Sattler , Stephan Tobies : Practical Reasoning for Expressive Description Logics. LPAR 1999 : 161-180 9 Peter F. Patel-Schneider , Ian Horrocks: DLP and FaCT. TABLEAUX 1999 : 19-23 8 Ian Horrocks, Peter F. Patel-Schneider : Optimizing Description Logic Subsumption. Journal of Logic and Computation 9 (3): 267-293 (1999) 7 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) 6 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) 5 Ian Horrocks, Peter F. Patel-Schneider : Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998 : 234-246 4 Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction? KR 1998 : 636-649 3 Ian Horrocks, Peter F. Patel-Schneider : FaCT and DLP. TABLEAUX 1998 : 27-30 2 Ian Horrocks: The FaCT System. TABLEAUX 1998 : 307-312 1 Ian Horrocks, Alan L. Rector , Carole A. Goble : A Description Logic Based Schema for the Classification of Medical Data. KRDB 1996 DiSC'01 Copyright ©2002 ACM Inc. |
