dblp.uni-trier.dewww.uni-trier.de

Ian Horrocks

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Jürgen Angele [73]
2Carlos Areces [82] [101]
3Franz Baader [53] [94] [110]
4Sean Bechhofer [3] [23] [39] [47] [49] [52] [55] [56] [78] [96] [97] [100] [123]
5Brandon Bennett [59]
6Alexander Borgida [22] [37]
7Andrey Bovykin [139]
8Ronald J. Brachman [5]
9Andy Brass [112]
10Jeen Broekstra [27] [38] [45] [58] [77]
11Peter Clark [78]
12Stefan Decker [27] [36] [38] [45] [58] [73] [74]
13Fred Dickey [78]
14Clare Dixon [59]
15Francesco M. Donini [5]
16Michael Erdmann [27] [36]
17Dieter Fensel [27] [36] [38] [44] [45] [58] [77]
18Richard Fikes [90]
19Michael Fisher [59]
20Enrico Franconi [5] [15] [22] [37] [59]
21Casey K. Fung [78]
22Tom Gardiner [132] [138]
23Giuseppe De Giacomo [15]
24Birte Glimm [121] [137] [147] [155] [159] [168] [173]
25Carole A. Goble [1] [3] [47] [49] [52] [55] [56]
26Christine Golbreich [151] [154]
27Graham Gough [4] [62]
28Bernardo Cuenca Grau [130] [136] [140] [149] [152] [156] [158] [162] [165] [167] [171] [174]
29Benjamin N. Grosof [73] [74]
30Peter Haase [174]
31Alon Y. Halevy (Alon Y. Levy) [5]
32Frank van Harmelen [27] [36] [38] [44] [45] [58] [69] [72] [77]
33Patrick J. Hayes [90]
34James A. Hendler (Jim Hendler) [70] [105]
35Matthew Horridge [154]
36Duncan Hull [139]
37Ullrich Hustadt [59]
38Yevgeny Kazakov [149] [152] [156] [158]
39Michael Kifer [73]
40Michel C. A. Klein [27] [36] [38] [45] [58] [77]
41Oliver Kutz [106] [131] [136]
42Lei Li [76] [86] [97]
43Phillip W. Lord [112]
44Carsten Lutz [82] [101] [155]
45Deborah L. McGuinness [15] [22] [44] [88]
46Sergey Melnik [27] [38]
47Boris Motik [129] [133] [148] [153] [154] [160] [161] [162] [164] [165] [166] [167] [169] [170] [172] [174]
48W. A. Nowlan [3]
49Werner Nutt [15]
50Lin Padgham [24]
51Jeff Z. Pan [46] [48] [66] [67] [79] [80] [85] [98] [104] [107] [108] [109] [113] [118] [119] [125] [126] [128] [145] [146]
52Bijan Parsia [105] [130] [140] [162]
53Peter F. Patel-Schneider [7] [11] [12] [14] [15] [17] [18] [20] [22] [23] [26] [44] [51] [54] [69] [72] [75] [81] [84] [91] [95] [100] [105] [127] [130] [140] [141] [143] [162]
54Héctor Pérez-Urbina [164]
55Alan L. Rector [1] [2] [3]
56Alexandre Riazanov [96]
57Maarten de Rijke [59]
58Riccardo Rosati [133]
59Marie-Christine Rousset [5]
60Ulrike Sattler [13] [16] [19] [25] [28] [29] [30] [33] [34] [42] [50] [53] [65] [82] [83] [93] [94] [101] [106] [110] [112] [115] [124] [130] [131] [133] [136] [137] [139] [144] [147] [148] [149] [152] [153] [155] [156] [158] [159] [162] [165] [167] [168] [173]
61Guus Schreiber (A. Th. Schreiber) [107]
62Roberto Sebastiani [26]
63Rob Shearer [154] [160] [161] [166] [172]
64Sonia Smith [78]
65W. D. Solomon [3]
66Giorgos B. Stamou [104] [109] [113] [118] [126] [145]
67Robert Stevens (Robert D. Stevens) [49] [52] [55] [56] [112] [139]
68Giorgos Stoilos [109] [113] [126] [145]
69Sergio Tessaris [23] [33] [34] [41] [43] [61] [62] [63] [71]
70Laura Thomson [24]
71Stephan Tobies [19] [25] [28] [29] [30] [31] [33] [34] [35] [40] [42]
72Thanh Tran (Duc Thanh Tran) [174]
73Dmitry Tsarkov [87] [96] [99] [100] [114] [120] [132] [134] [138] [143]
74Daniele Turi [97] [112] [123]
75Vassilis Tzouvaras [104] [109] [113] [118] [126] [145]
76Stephen A. Uczekaj [78]
77Michael Uschold [78]
78Raphael Volz [74]
79Andrei Voronkov [135]
80Gerd Wagner [73]
81Christopher A. Welty [15] [88]
82Michael Wilke [78]
83Katy Wolstencroft [112]
84Frank Wolter [124]
85Evgeny Zolin [139]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)