Ian Horrocks Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
188no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler: Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 CEUR-WS.org 2009
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Pérez-Urbina, Boris Motik, Ian Horrocks: A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Building Ontologies Collaboratively Using ContentCVS. Description Logics 2009
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. ESWC 2009: 173-187
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Shearer, Ian Horrocks: Exploiting Partial Information in Taxonomy Construction. International Semantic Web Conference 2009: 569-584
181no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Logic-based Ontology Integration using ContentMap. JISBD 2009: 316-319
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Pérez-Urbina, Ian Horrocks, Boris Motik: Practical Aspects of Query Rewriting for OWL 2. OWLED 2009
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
2008
176no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks: Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI 2008: 40-44
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks: Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262
169no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob Shearer, Boris Motik, Ian Horrocks: HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHéctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Ontologies and the semantic web. Commun. ACM 51(12): 58-67 (2008)
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008)
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo 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
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Rob Shearer, Ian Horrocks: A Hypertableau Calculus for SHIQ. Description Logics 2007
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Semantic Web: The Story So Far. ICTAI (1) 2007
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine 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
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristine Golbreich, Ian Horrocks: The OBO to OWL Mapping, GO to OWL 1.1! OWLED 2007
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Semantic web: the story so far. W4A 2007: 120-125
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. Knowl. Data Eng. 19(2): 192-206 (2007)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos 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)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Logic for Ontology Engineering Corner. J. Log. Comput. 17(4): 615 (2007)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
2006
140no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo 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
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Andrei Voronkov: Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006: 201-218
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks: Description Logic Reasoner: System Description. IJCAR 2006: 292-297
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks: Problems with OWL Syntax. OWLED 2006
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: OWL FA: a metamodeling extension of OWL D. WWW 2006: 1065-1066
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff 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)
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: OWL-Eu: Adding customised datatypes into OWL. J. Web Sem. 4(1): 29-39 (2006)
2005
124no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks, Daniele Turi: The OWL Instance Store: System Description. CADE 2005: 177-181
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: OWL: A Description Logic Based Ontology Language. CP 2005: 5-8
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks: Handling Cyclic Conjunctive Queries. Description Logics 2005
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: OWL-Eu: Adding Customised Datatypes into OWL. ESWC 2005: 153-166
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks: f-SWRL: A Fuzzy Extension of SWRL. ICANN (2) 2005: 829-834
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Applications of Description Logics: State of the Art and Research Challenges. ICCS 2005: 78-90
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: OWL: A Description Logic Based Ontology Language. ICLP 2005: 1-4
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks: The Fuzzy Description Logic f-SHIN. ISWC-URSW 2005: 67-76
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaty 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
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Description Logics in Ontology Applications. KI 2005: 16
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks: Fuzzy OWL: Uncertainty and the Semantic Web. OWLED 2005
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Introducing Customised Datatypes and Datatype Predicates into OWL. OWLED 2005
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks, Guus Schreiber: OWL FA: A Metamodeling Extension of OWL DL. OWLED 2005
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks: A Fuzzy Extension of SWRL. Rule Languages for Interoperability 2005
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: OWL Rules, OK? Rule Languages for Interoperability 2005
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Description Logics in Ontology Applications. TABLEAUX 2005: 2-13
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). Description Logics 2004
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Lei Li, Daniele Turi, Sean Bechhofer: The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004: 723-731
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: WWW conference special issue. J. Web Sem. 1(2): 139-140 (2004)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Implementation and Optimization Techniques. Description Logic Handbook 2003: 306-346
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Deborah L. McGuinness, Christopher A. Welty: Digital Libraries and Web-based Information Systems. Description Logic Handbook 2003: 427-449
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ian Horrocks: DL Reasoner vs. First-Order Prover. Description Logics 2003
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Li, Ian Horrocks: Matchmarking Using an Instance Store: Some Preliminary Results. Description Logics 2003
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: RDFS(FA): A DL-ised Sub-language of RDFS. Description Logics 2003
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: RDFS(FA) and RDF MT: Two Semantics for RDFS. International Semantic Web Conference 2003: 30-46
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Web Ontology Reasoning with Datatype Groups. International Semantic Web Conference 2003: 47-63
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLei Li, Ian Horrocks: A software framework for matchmaking based on semantic web technology. WWW 2003: 331-339
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker: Description logic programs: combining logic programs with description logic. WWW 2003: 48-57
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Sergio Tessaris: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002 CEUR-WS.org 2002
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, James A. Hendler: The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings Springer 2002
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Reasoning with Expressive Description Logics: Theory and Practice. CADE 2002: 1-15
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1067-1081
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1362
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Optimised Reasoning for SHIQ. ECAI 2002: 277-281
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: DAML+OIL: A Reason-able Web Ontology Language. EDBT 2002: 2-13
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Sergio Tessaris: Querying the Semantic Web: A Formal Approach. International Semantic Web Conference 2002: 177-191
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Tessaris, Ian Horrocks, Graham Gough: Evaluating a Modular Abox Algorithm. KR 2002: 227-238
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Tessaris, Ian Horrocks: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002: 435-449
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: DAML+OIL: A Reason-Able Web Ontology Language. WES 2002: 174
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrandon 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)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeen 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)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Eng. Bull. 25(1): 4-9 (2002)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
2001
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens: OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics 2001
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens: OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI 2001: 396-408
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Metamodeling Architecture of Web Ontology Languages. SWWS 2001: 131-149
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Carole A. Goble, Ian Horrocks: DAML+OIL is not Enough. SWWS 2001: 151-159
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Z. Pan, Ian Horrocks: Metamodeling Architecture of Web Ontology Languages. The Emerging Semantic Web 2001
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeen 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Sergio Tessaris: A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000: 399-404
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Sergio Tessaris: Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000: 173-182
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks: Driving User Interfaces from FaCT. Description Logics 2000: 45-54
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Enrico Franconi, Ian Horrocks: Explaining ALC Subsumption. ECAI 2000: 209-213
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein: OIL in a Nutshell. EKAW 2000: 1-16
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Practice. KR 2000: 285-296
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Benchmark Analysis with FaCT. TABLEAUX 2000: 62-66
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Stephan Tobies: Reasoning with Axioms: Theory and Pratice CoRR cs.LO/0005012: (2000)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics CoRR cs.LO/0005013: (2000)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics CoRR cs.LO/0005014: (2000)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ CoRR cs.LO/0005017: (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): (2000)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): (2000)
1999
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Lin Padgham, Laura Thomson: Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999: 328-339
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: FaCT and iFaCT. Description Logics 1999
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter F. Patel-Schneider, Ian Horrocks: DLP and FaCT. TABLEAUX 1999: 19-23
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: FaCT. Description Logics 1998
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Kris. Description Logics 1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998: 27-30
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks: The FaCT System. TABLEAUX 1998: 307-312
1997
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Graham Gough: Description Logics with Transitive Roles. Description Logics 1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Alan L. Rector: Using a Description Logic with Concept Inclusions. Description Logics 1996: 132-135
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan 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 (Ron 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] [164] [170] [175]
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] [163] [167] [169] [173] [176] [178] [179] [181] [184] [186] [188]
29Benjamin N. Grosof [73] [74]
30Peter Haase [176]
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]
38Ernesto Jiménez-Ruiz [181] [184] [186]
39Yevgeny Kazakov [149] [152] [156] [158] [163] [179]
40Michael Kifer [73]
41Michel C. A. Klein [27] [36] [38] [45] [58] [77]
42Oliver Kutz [106] [131] [136]
43Lei Li [76] [86] [97]
44Rafael Berlanga Llavori [181] [184] [186]
45Phillip W. Lord [112]
46Carsten Lutz [82] [101] [155] [164]
47Deborah L. McGuinness [15] [22] [44] [88]
48Sergey Melnik [27] [38]
49Boris Motik [129] [133] [148] [153] [154] [160] [161] [162] [166] [167] [168] [169] [171] [172] [174] [176] [177] [178] [180] [183] [185] [187] [188]
50W. A. Nowlan [3]
51Werner Nutt [15]
52Lin Padgham [24]
53Jeff Z. Pan [46] [48] [66] [67] [79] [80] [85] [98] [104] [107] [108] [109] [113] [118] [119] [125] [126] [128] [145] [146]
54Bijan Parsia [105] [130] [140] [162]
55Peter 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]
56Héctor Pérez-Urbina [166] [180] [183] [187]
57Alan L. Rector [1] [2] [3]
58Alexandre Riazanov [96]
59Maarten de Rijke [59]
60Riccardo Rosati [133]
61Marie-Christine Rousset [5]
62Ulrike 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] [163] [164] [167] [169] [170] [175] [177] [178] [179] [188]
63Guus Schreiber (A. Th. Schreiber) [107]
64Roberto Sebastiani [26]
65Rob Shearer [154] [160] [161] [168] [174] [182] [185]
66Sonia Smith [78]
67W. D. Solomon [3]
68Giorgos B. Stamou [104] [109] [113] [118] [126] [145]
69Robert Stevens (Robert D. Stevens) [49] [52] [55] [56] [112] [139]
70Giorgos Stoilos [109] [113] [126] [145]
71Sergio Tessaris [23] [33] [34] [41] [43] [61] [62] [63] [71]
72Laura Thomson [24]
73Stephan Tobies [19] [25] [28] [29] [30] [31] [33] [34] [35] [40] [42]
74Thanh Tran (Duc Thanh Tran) [176]
75Dmitry Tsarkov [87] [96] [99] [100] [114] [120] [132] [134] [138] [143]
76Daniele Turi [97] [112] [123]
77Vassilis Tzouvaras [104] [109] [113] [118] [126] [145]
78Stephen A. Uczekaj [78]
79Michael Uschold [78]
80Raphael Volz [74]
81Andrei Voronkov [135]
82Gerd Wagner [73]
83Christopher A. Welty [15] [88]
84Michael Wilke [78]
85Katy Wolstencroft (Katherine Wolstencroft) [112]
86Frank Wolter [124]
87Evgeny Zolin [139]

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)