2013
215Computing Datalog Rewritings beyond Horn Ontologies. Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks. CoRR (abs/1304.1402) (2013). Web SearchBibTeXDownload
214Introducing Nominals to the Combined Query Answering Approaches for EL. Giorgio Stefanoni, Boris Motik, Ian Horrocks. CoRR (abs/1303.7430) (2013). Web SearchBibTeXDownload
213Order matters! Harnessing a world of orderings for reasoning over massive data. Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks. Semantic Web (4): 219-231 (2013). Web SearchBibTeXDownload
212Making the most of your triple store: query answering in OWL 2 using an RL reasoner. Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee. WWW 2013, 1569-1580. Web SearchBibTeXDownload
2012
211A Description Logic Primer. Markus Krötzsch, Frantisek Simancik, Ian Horrocks. CoRR (abs/1201.4089) (2012). Web SearchBibTeXDownload
210Modelling Structured Domains Using Description Graphs and Logic Programming. Despoina Magka, Boris Motik, Ian Horrocks. Description Logics 2012. Web SearchBibTeXDownload
209Small Datalog Query Rewritings for EL. Giorgio Stefanoni, Boris Motik, Ian Horrocks. Description Logics 2012. Web SearchBibTeXDownload
208Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks. Description Logics 2012. Web SearchBibTeXDownload
207Modular Combination of Reasoners for Ontology Classification. Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks. Description Logics 2012. Web SearchBibTeXDownload
206Large-scale Interactive Ontology Matching: Algorithms and Implementation. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks. ECAI 2012, 444-449. Web SearchBibTeXDownload
205MORe: Modular Combination of OWL Reasoners for Ontology Classification. Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks. International Semantic Web Conference (1) 2012, 1-16. Web SearchBibTeXDownload
204Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks. J. Artif. Intell. Res. (JAIR) (43): 419-476 (2012). Web SearchBibTeXDownload
203A novel approach to ontology classification. Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos. J. Web Sem. (14): 84-101 (2012). Web SearchBibTeXDownload
202Acyclicity Conditions and their Application to Query Answering in Description Logics. Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang. KR 2012. Web SearchBibTeXDownload
201Classifying Chemicals Using Description Graphs and Logic Programming. Despoina Magka, Boris Motik, Ian Horrocks. OWLED 2012. Web SearchBibTeXDownload
200Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. Boris Motik, Ian Horrocks, Su Myeon Kim. WWW (Companion Volume) 2012, 63-72. Web SearchBibTeXDownload
2011
199Reasoning with Very Expressive Fuzzy Description Logics. Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras. CoRR (abs/1111.0039) (2011). Web SearchBibTeXDownload
198Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. CoRR (abs/1111.0049) (2011). Web SearchBibTeXDownload
197Supporting concurrent ontology development: Framework, algorithms and tool. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. Data Knowl. Eng. (70): 146-164 (2011). Web SearchBibTeXDownload
196Query Answering over SROIQ Knowledge Bases with SPARQL. Ilianna Kollia, Birte Glimm, Ian Horrocks. Description Logics 2011. Web SearchBibTeXDownload
195SPARQL Query Answering over OWL Ontologies. Ilianna Kollia, Birte Glimm, Ian Horrocks. ESWC (1) 2011, 382-396. Web SearchBibTeXDownload
194Tool Support for Ontology Engineering. Ian Horrocks. Foundations for the Web of Information and Services 2011, 103-112. Web SearchBibTeXDownload
193Consequence-Based Reasoning beyond Horn Ontologies. Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks. IJCAI 2011, 1093-1098. Web SearchBibTeXDownload
192Repairing Ontologies for Incomplete Reasoners. Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks. International Semantic Web Conference (1) 2011, 681-696. Web SearchBibTeXDownload
191Tractable Extensions of the Description Logic ${\\mathcal{EL}}$ with Numerical Datatypes. Despoina Magka, Yevgeny Kazakov, Ian Horrocks. J. Autom. Reasoning (47): 427-450 (2011). Web SearchBibTeXDownload
190Answering Queries over OWL Ontologies with SPARQL. Ilianna Kollia, Birte Glimm, Ian Horrocks. OWLED 2011. Web SearchBibTeXDownload
189Chemical knowledge representation with description graphs and logic programming. Despoina Magka, Boris Motik, Ian Horrocks. SWAT4LS 2011, 74-75. Web SearchBibTeXDownload
2010
188How Incomplete Is Your Semantic Web Reasoner?. Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. AAAI 2010. Web SearchBibTeXDownload
187Optimized DL Reasoning via Core Blocking. Birte Glimm, Ian Horrocks, Boris Motik. Description Logics 2010. Web SearchBibTeXDownload
186Scalable ontology-based information systems. Ian Horrocks. EDBT 2010, 2. Web SearchBibTeXDownload
185Tractable Extensions of the Description Logic EL with Numerical Datatypes. Despoina Magka, Yevgeny Kazakov, Ian Horrocks. IJCAR 2010, 61-75. Web SearchBibTeXDownload
184Optimized Description Logic Reasoning via Core Blocking. Birte Glimm, Ian Horrocks, Boris Motik. IJCAR 2010, 457-471. Web SearchBibTeXDownload
183Optimising Ontology Classification. Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos. International Semantic Web Conference (1) 2010, 225-240. Web SearchBibTeXDownload
182Completeness Guarantees for Incomplete Reasoners. Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. International Semantic Web Conference (1) 2010, 747-763. Web SearchBibTeXDownload
181Tractable query answering and rewriting under description logic constraints. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks. J. Applied Logic (8): 186-209 (2010). Web SearchBibTeXDownload
180Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. Chitta Baral, Ian Horrocks, Yoav Shoham. KR 2010. Web SearchBibTeXDownload
179Ontology Languages and Engineering. Ian Horrocks. KSEM 2010, 2. Web SearchBibTeXDownload
178Towards a UMLS-based silver standard for matching biomedical ontologies. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. OM 2010. Web SearchBibTeXDownload
2009
177Representing ontologies using description logics, description graphs, and rules. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. Artif. Intell. (173): 1275-1309 (2009). Web SearchBibTeXDownload
176Exploiting Partial Information in Taxonomy Construction. Rob Shearer, Ian Horrocks, Boris Motik. Description Logics 2009. Web SearchBibTeXDownload
175Building Ontologies Collaboratively Using ContentCVS. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. Description Logics 2009. Web SearchBibTeXDownload
174A Comparison of Query Rewriting Techniques for DL-lite. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks. Description Logics 2009. Web SearchBibTeXDownload
173Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. ESWC 2009, 173-187. Web SearchBibTeXDownload
172Efficient Query Answering for OWL 2. Héctor Pérez-Urbina, Ian Horrocks, Boris Motik. International Semantic Web Conference 2009, 489-504. Web SearchBibTeXDownload
171Hypertableau Reasoning for Description Logics. Boris Motik, Rob Shearer, Ian Horrocks. J. Artif. Intell. Res. (JAIR) (36): 165-228 (2009). Web SearchBibTeXDownload
170Logic-based Ontology Integration using ContentMap. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. JISBD 2009, 316-319. Web SearchBibTeX
169Bridging the gap between OWL and relational databases. Boris Motik, Ian Horrocks, Ulrike Sattler. J. Web Sem. (7): 74-89 (2009). Web SearchBibTeXDownload
168Extracting Modules from Ontologies: A Logic-Based Approach. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Modular Ontologies 2009, 159-186. Web SearchBibTeXDownload
167Practical Aspects of Query Rewriting for OWL 2. Héctor Pérez-Urbina, Ian Horrocks, Boris Motik. OWLED 2009. Web SearchBibTeXDownload
166ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. SWAT4LS 2009. Web SearchBibTeXDownload
165Towards a Logic-based Assessment of the compatibility of UMLS sources. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks. SWAT4LS 2009. Web SearchBibTeXDownload
2008
164Metalevel Information in Ontology-Based Applications. Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks. AAAI 2008, 1237-1242. Web SearchBibTeXDownload
163Ontologies and the semantic web. Ian Horrocks. Commun. ACM (51): 58-67 (2008). Web SearchBibTeXDownload
162Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Rob Shearer, Boris Motik, Ian Horrocks. Description Logics 2008. Web SearchBibTeXDownload
161Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2008. Web SearchBibTeXDownload
160Privacy-Preserving Query Answering in Logic-based Information Systems. Bernardo Cuenca Grau, Ian Horrocks. ECAI 2008, 40-44. Web SearchBibTeXDownload
159Individual Reuse in Description Logic Reasoning. Boris Motik, Ian Horrocks. IJCAR 2008, 242-258. Web SearchBibTeXDownload
158OWL Datatypes: Design and Implementation. Boris Motik, Ian Horrocks. International Semantic Web Conference 2008, 307-322. Web SearchBibTeXDownload
157Modular Reuse of Ontologies: Theory and Practice. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (31): 273-318 (2008). Web SearchBibTeXDownload
156Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (31): 157-204 (2008). Web SearchBibTeXDownload
155OWL 2: The next step for OWL. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. J. Web Sem. (6): 309-322 (2008). Web SearchBibTeXDownload
154Representing Structured Objects using Description Graphs. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. KR 2008, 296-306. Web SearchBibTeXDownload
153Unions of Conjunctive Queries in SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler. KR 2008, 252-262. Web SearchBibTeXDownload
152HermiT: A Highly-Efficient OWL Reasoner. Rob Shearer, Boris Motik, Ian Horrocks. OWLED 2008. Web SearchBibTeXDownload
151Modeling Ontologies using OWL, Description Graphs, and Rules. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. OWLED 2008. Web SearchBibTeXDownload
150Rewriting Conjunctive Queries over Description Logic Knowledge Bases. Héctor Pérez-Urbina, Boris Motik, Ian Horrocks. SDKB 2008, 199-214. Web SearchBibTeXDownload
149Semantic Web. Heiner Stuckenschmidt, Dimitris Plexousakis. Web Accessibility 2008, 315-330. Web SearchBibTeXDownload
2007
148Optimized Reasoning in Description Logics Using Hypertableaux. Boris Motik, Rob Shearer, Ian Horrocks. CADE 2007, 67-83. Web SearchBibTeXDownload
147A Hypertableau Calculus for SHIQ. Boris Motik, Rob Shearer, Ian Horrocks. Description Logics 2007. Web SearchBibTeXDownload
146Ontology Reuse: Better Safe than Sorry. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Description Logics 2007. Web SearchBibTeXDownload
145Conjunctive Query Entailment for SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2007. Web SearchBibTeXDownload
144Hybrid Logics and Ontology Languages. Ian Horrocks, Birte Glimm, Ulrike Sattler. Electr. Notes Theor. Comput. Sci. (174): 3-14 (2007). Web SearchBibTeXDownload
143Semantic Web: The Story So Far. Ian Horrocks. ICTAI (1) 2007. Web SearchBibTeXDownload
142RDFS(FA): Connecting RDF(S) and OWL DL. Jeff Z. Pan, Ian Horrocks. IEEE Trans. Knowl. Data Eng. (19): 192-206 (2007). Web SearchBibTeXDownload
141A Logical Framework for Modularity of Ontologies. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. IJCAI 2007, 298-303. Web SearchBibTeXDownload
140Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. IJCAI 2007, 399-404. Web SearchBibTeXDownload
139OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer. ISWC/ASWC 2007, 169-182. Web SearchBibTeXDownload
138Reasoning with Very Expressive Fuzzy Description Logics. Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras. J. Artif. Intell. Res. (JAIR) (30): 273-320 (2007). Web SearchBibTeXDownload
137A Tableau Decision Procedure for SHOIQ. Ian Horrocks, Ulrike Sattler. J. Autom. Reasoning (39): 249-276 (2007). Web SearchBibTeXDownload
136Optimizing Terminological Reasoning for Expressive Description Logics. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider. J. Autom. Reasoning (39): 277-316 (2007). Web SearchBibTeXDownload
135Logic for Ontology Engineering Corner. Ian Horrocks. J. Log. Comput. (17): 615 (2007). Web SearchBibTeXDownload
134A comparison of two modelling paradigms in the Semantic Web. Peter F. Patel-Schneider, Ian Horrocks. J. Web Sem. (5): 240-250 (2007). Web SearchBibTeXDownload
133Adding Integrity Constraints to OWL. Boris Motik, Ian Horrocks, Ulrike Sattler. OWLED 2007. Web SearchBibTeXDownload
132Extracting Modules from Ontologies: A Logic-based Approach. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. OWLED 2007. Web SearchBibTeXDownload
131The OBO to OWL Mapping, GO to OWL 1.1!. Christine Golbreich, Ian Horrocks. OWLED 2007. Web SearchBibTeXDownload
130Semantic web: the story so far. Ian Horrocks. W4A 2007, 120-125. Web SearchBibTeXDownload
129Just the right amount: extracting modules from ontologies. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. WWW 2007, 717-726. Web SearchBibTeXDownload
128Bridging the gap between OWL and relational databases. Boris Motik, Ian Horrocks, Ulrike Sattler. WWW 2007, 807-816. Web SearchBibTeXDownload
2006
127Deciding Semantic Matching of Stateless Services. Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens. AAAI 2006, 1319-1324. Web SearchBibTeXDownload
126Automated Benchmarking of Description Logic Reasoners. Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Description Logics 2006. Web SearchBibTeXDownload
125Will my Ontologies Fit Together?. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. Description Logics 2006. Web SearchBibTeXDownload
124Conjunctive Query Answering for Description Logics with Transitive Roles. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2006. Web SearchBibTeXDownload
123Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. Ian Horrocks, Andrei Voronkov. FoIKS 2006, 201-218. Web SearchBibTeXDownload
122Description Logic Reasoner: System Description. Dmitry Tsarkov, Ian Horrocks. IJCAR 2006, 292-297. Web SearchBibTeXDownload
121Framework for an Automated Comparison of Description Logic Reasoners. Tom Gardiner, Dmitry Tsarkov, Ian Horrocks. International Semantic Web Conference 2006, 654-667. Web SearchBibTeXDownload
120Can OWL and Logic Programming Live Together Happily Ever After?. Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler. International Semantic Web Conference 2006, 501-514. Web SearchBibTeXDownload
119f-SWRL: A Fuzzy Extension of SWRL. Jeff Z. Pan, Giorgos B. Stamou, Giorgos B. Stamou, Ian Horrocks, Ian Horrocks. J. Data Semantics VI 2006, 28-46. Web SearchBibTeXDownload
118OWL-Eu: Adding customised datatypes into OWL. Jeff Z. Pan, Ian Horrocks. J. Web Sem. (4): 29-39 (2006). Web SearchBibTeXDownload
117The Even More Irresistible SROIQ. Ian Horrocks, Oliver Kutz, Ulrike Sattler. KR 2006, 57-67. Web SearchBibTeXDownload
116Problems with OWL Syntax. Boris Motik, Ian Horrocks. OWLED 2006. Web SearchBibTeXDownload
115Next Steps for OWL. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWLED 2006. Web SearchBibTeXDownload
114Position paper: a comparison of two modelling paradigms in the Semantic Web. Peter F. Patel-Schneider, Ian Horrocks. WWW 2006, 3-12. Web SearchBibTeXDownload
113OWL FA: a metamodeling extension of OWL D. Jeff Z. Pan, Ian Horrocks. WWW 2006, 1065-1066. Web SearchBibTeXDownload
2005
112The OWL Instance Store: System Description. Sean Bechhofer, Ian Horrocks, Daniele Turi. CADE 2005, 177-181. Web SearchBibTeXDownload
111Handling Cyclic Conjunctive Queries. Birte Glimm, Ian Horrocks. Description Logics 2005. Web SearchBibTeXDownload
110Optimised Classification for Taxonomic Knowledge Bases. Dmitry Tsarkov, Ian Horrocks. Description Logics 2005. Web SearchBibTeXDownload
109OWL-Eu: Adding Customised Datatypes into OWL. Jeff Z. Pan, Ian Horrocks. ESWC 2005, 153-166. Web SearchBibTeXDownload
108f-SWRL: A Fuzzy Extension of SWRL. Jeff Z. Pan, Giorgos B. Stamou, Giorgos B. Stamou, Ian Horrocks, Ian Horrocks. ICANN (2) 2005, 829-834. Web SearchBibTeXDownload
107Applications of Description Logics: State of the Art and Research Challenges. Ian Horrocks. ICCS 2005, 78-90. Web SearchBibTeXDownload
106OWL: A Description Logic Based Ontology Language. Ian Horrocks. ICLP 2005, 1-4. Web SearchBibTeXDownload
105A Tableaux Decision Procedure for SHOIQ. Ian Horrocks, Ulrike Sattler. IJCAI 2005, 448-453. Web SearchBibTeXDownload
104Ordering Heuristics for Description Logic Reasoning. Dmitry Tsarkov, Ian Horrocks. IJCAI 2005, 609-614. Web SearchBibTeXDownload
103A Little Semantic Web Goes a Long Way in Biology. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. International Semantic Web Conference 2005, 786-800. Web SearchBibTeXDownload
102The Fuzzy Description Logic f-SHIN. Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks. ISWC-URSW 2005, 67-76. Web SearchBibTeX
101Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (23): 667-726 (2005). Web SearchBibTeXDownload
100OWL rules: A proposal and prototype implementation. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov. J. Web Sem. (3): 23-40 (2005). Web SearchBibTeXDownload
99Description Logics in Ontology Applications. Ian Horrocks. KI 2005, 16. Web SearchBibTeXDownload
98Description Logics as Ontology Languages for the Semantic Web. Franz Baader, Ian Horrocks, Ulrike Sattler. Mechanizing Mathematical Reasoning 2005, 228-248. Web SearchBibTeXDownload
97OWL FA: A Metamodeling Extension of OWL DL. Jeff Z. Pan, Ian Horrocks, Guus Schreiber. OWLED 2005. Web SearchBibTeXDownload
96The Irresistible SRIQ. Ian Horrocks, Oliver Kutz, Ulrike Sattler. OWLED 2005. Web SearchBibTeXDownload
95Introducing Customised Datatypes and Datatype Predicates into OWL. Jeff Z. Pan, Ian Horrocks. OWLED 2005. Web SearchBibTeXDownload
94Fuzzy OWL: Uncertainty and the Semantic Web. Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks. OWLED 2005. Web SearchBibTeXDownload
93Semantic Web Architecture: Stack or Two Towers?. Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler. PPSWR 2005, 37-41. Web SearchBibTeXDownload
92OWL Rules, OK?. Ian Horrocks. Rule Languages for Interoperability 2005. Web SearchBibTeXDownload
91A Fuzzy Extension of SWRL. Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks. Rule Languages for Interoperability 2005. Web SearchBibTeXDownload
2004
90Decidability of SHIQ with complex role inclusion axioms. Ian Horrocks, Ulrike Sattler. Artif. Intell. (160): 79-104 (2004). Web SearchBibTeXDownload
89Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). Jeff Z. Pan, Ian Horrocks. Description Logics 2004. Web SearchBibTeXDownload
88The Instance Store: DL Reasoning with Large Numbers of Individuals. Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer. Description Logics 2004. Web SearchBibTeXDownload
87Efficient Reasoning with Range and Domain Constraints. Dmitry Tsarkov, Ian Horrocks. Description Logics 2004. Web SearchBibTeXDownload
86Description Logics. Franz Baader, Ian Horrocks, Ulrike Sattler. Handbook on Ontologies 2004, 3-28. Web SearchBibTeX
85Using Vampire to Reason with OWL. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks. International Semantic Web Conference 2004, 471-485. Web SearchBibTeXDownload
84WWW conference special issue. Ian Horrocks. J. Web Sem. (1): 139-140 (2004). Web SearchBibTeXDownload
83OWL-QL - a language for deductive query answering on the Semantic Web. Richard Fikes, Patrick J. Hayes, Ian Horrocks. J. Web Sem. (2): 19-29 (2004). Web SearchBibTeXDownload
82Reducing OWL entailment to description logic satisfiability. Ian Horrocks, Peter F. Patel-Schneider. J. Web Sem. (1): 345-357 (2004). Web SearchBibTeXDownload
81A proposal for an owl rules language. Ian Horrocks, Peter F. Patel-Schneider. WWW 2004, 723-731. Web SearchBibTeXDownload
2003
80Digital Libraries and Web-based Information Systems. Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty. Description Logic Handbook 2003, 427-449. Web SearchBibTeX
79Implementation and Optimization Techniques. Ian Horrocks. Description Logic Handbook 2003, 306-346. Web SearchBibTeX
78Reducing OWL Entailment to Description Logic Satisfability. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 2003. Web SearchBibTeXDownload
77DL Reasoner vs. First-Order Prover. Dmitry Tsarkov, Ian Horrocks. Description Logics 2003. Web SearchBibTeXDownload
76Matchmarking Using an Instance Store: Some Preliminary Results. Lei Li, Ian Horrocks. Description Logics 2003. Web SearchBibTeXDownload
75RDFS(FA): A DL-ised Sub-language of RDFS. Jeff Z. Pan, Ian Horrocks. Description Logics 2003. Web SearchBibTeXDownload
74Where Are the Rules?. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner. IEEE Intelligent Systems (18): 76-83 (2003). Web SearchBibTeXDownload
73Decidability of SHIQ with Complex Role Inclusion Axioms. Ian Horrocks, Ulrike Sattler. IJCAI 2003, 343-348. Web SearchBibTeX
72Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. IJCAI 2003, 349-354. Web SearchBibTeX
71Web Ontology Reasoning with Datatype Groups. Jeff Z. Pan, Ian Horrocks. International Semantic Web Conference 2003, 47-63. Web SearchBibTeXDownload
70Reducing OWL Entailment to Description Logic Satisfiability. Ian Horrocks, Peter F. Patel-Schneider. International Semantic Web Conference 2003, 17-29. Web SearchBibTeXDownload
69RDFS(FA) and RDF MT: Two Semantics for RDFS. Jeff Z. Pan, Ian Horrocks. International Semantic Web Conference 2003, 30-46. Web SearchBibTeXDownload
68A Semantic Infosphere. Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks. International Semantic Web Conference 2003, 882-896. Web SearchBibTeXDownload
67From SHIQ and RDF to OWL: the making of a Web Ontology Language. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. J. Web Sem. (1): 7-26 (2003). Web SearchBibTeXDownload
66Ontologies and Schema Languages on the Web. Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks. Spinning the Semantic Web 2003, 95-139. Web SearchBibTeX
65A software framework for matchmaking based on semantic web technology. Lei Li, Ian Horrocks. WWW 2003, 331-339. Web SearchBibTeXDownload
64Three theses of representation in the semantic web. Ian Horrocks, Peter F. Patel-Schneider. WWW 2003, 39-47. Web SearchBibTeXDownload
63Description logic programs: combining logic programs with description logic. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. WWW 2003, 48-57. Web SearchBibTeXDownload
2002
62Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. AAAI/IAAI 2002, 792-797. Web SearchBibTeXDownload
61Combinations of Modal Logics. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke. Artif. Intell. Rev. (17): 1-20 (2002). Web SearchBibTeXDownload
60Reasoning with Expressive Description Logics: Theory and Practice. Ian Horrocks. CADE 2002, 1-15. Web SearchBibTeXDownload
59Enabling knowledge representation on the Web by extending RDF Schema. Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks. Computer Networks (39): 609-634 (2002). Web SearchBibTeXDownload
58Extending Datatype Support in Web Ontology Reasoning. Jeff Z. Pan, Ian Horrocks. CoopIS/DOA/ODBASE 2002, 1362. Web SearchBibTeXDownload
57Optimised Reasoning for SHIQ. Ian Horrocks, Ulrike Sattler. ECAI 2002, 277-281. Web SearchBibTeX
56DAML+OIL: A Reason-able Web Ontology Language. Ian Horrocks. EDBT 2002, 2-13. Web SearchBibTeXDownload
55DAML+OIL: a Description Logic for the Semantic Web. Ian Horrocks. IEEE Data Eng. Bull. (25): 4-9 (2002). Web SearchBibTeXDownload
54OILing the way to machine understandable bioinformatics resources. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer. IEEE Transactions on Information Technology in Biomedicine (6): 129-134 (2002). Cited by 21Web SearchBibTeXDownload
53Building a bioinformatics ontology using OIL. Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer. IEEE Transactions on Information Technology in Biomedicine (6): 135-141 (2002). Cited by 58Web SearchBibTeXDownload
52Querying the Semantic Web: A Formal Approach. Ian Horrocks, Sergio Tessaris. International Semantic Web Conference 2002, 177-191. Web SearchBibTeXDownload
51Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. Ian Horrocks, Peter F. Patel-Schneider. J. Autom. Reasoning (28): 173-204 (2002). Web SearchBibTeXDownload
50Description Logics for the Semantic Web. Franz Baader, Ian Horrocks, Ulrike Sattler. KI (16): 57-59 (2002). Web SearchBibTeX
49Evaluating a Modular Abox Algorithm. Sergio Tessaris, Ian Horrocks, Graham Gough. KR 2002, 227-238. Web SearchBibTeX
48Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. Sergio Tessaris, Ian Horrocks. LPAR 2002, 435-449. Web SearchBibTeXDownload
47DAML+OIL: A Reason-Able Web Ontology Language. Ian Horrocks. WES 2002, 174. Web SearchBibTeXDownload
2001
46The Generation of DAML+OIL. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 2001. Web SearchBibTeXDownload
45OilEd: a Reason-able Ontology Editor for the Semantic Web. Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens. Description Logics 2001. Web SearchBibTeXDownload
44OIL: An Ontology Infrastructure for the Semantic Web. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. IEEE Intelligent Systems (16): 38-45 (2001). Web SearchBibTeXDownload
43Ontology Reasoning in the SHOQ(D) Description Logic. Ian Horrocks, Ulrike Sattler. IJCAI 2001, 199-204. Web SearchBibTeX
42OilEd: A Reason-able Ontology Editor for the Semantic Web. Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens. KI/ÖGAI 2001, 396-408. Cited by 410Web SearchBibTeXDownload
41Metamodeling Architecture of Web Ontology Languages. Jeff Z. Pan, Ian Horrocks. SWWS 2001, 131-149. Web SearchBibTeXDownload
40DAML+OIL is not Enough. Sean Bechhofer, Carole A. Goble, Ian Horrocks. SWWS 2001, 151-159. Cited by 76Web SearchBibTeXDownload
39Enabling knowledge representation on the Web by extending RDF schema. Jeen Broekstra, Michel C. A. Klein, Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks. WWW 2001, 467-478. Web SearchBibTeXDownload
2000
38A Conjunctive Query Language for Description Logic Aboxes. Ian Horrocks, Sergio Tessaris. AAAI/IAAI 2000, 399-404. Web SearchBibTeXDownload
37Reasoning with Individuals for the Description Logic SHIQ. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CADE 2000, 482-496. Web SearchBibTeXDownload
36Practical Reasoning for Very Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CoRR (cs.LO/0005013) (2000). Web SearchBibTeXDownload
35Practical Reasoning for Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CoRR (cs.LO/0005014) (2000). Web SearchBibTeXDownload
34Reasoning with Axioms: Theory and Pratice. Ian Horrocks, Stephan Tobies. CoRR (cs.LO/0005012) (2000). Web SearchBibTeXDownload
33Knowledge Representation on the Web. Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra. Description Logics 2000, 89-97. Cited by 86Web SearchBibTeXDownload
32Driving User Interfaces from FaCT. Sean Bechhofer, Ian Horrocks. Description Logics 2000, 45-54. Web SearchBibTeXDownload
31Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Ian Horrocks, Sergio Tessaris. Description Logics 2000, 173-182. Web SearchBibTeXDownload
30Optimisation of Terminological Reasoning. Ian Horrocks, Stephan Tobies. Description Logics 2000, 183-192. Web SearchBibTeXDownload
29Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. ECAI 2000, 209-213. Web SearchBibTeX
28OIL in a Nutshell. Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein. EKAW 2000, 1-16. Web SearchBibTeXDownload
27The Semantic Web: The Roles of XML and RDF. Stefan Decker, Sergey Melnik, Frank van Harmelen, Dieter Fensel, Michel C. A. Klein, Jeen Broekstra, Michael Erdmann, Ian Horrocks. IEEE Internet Computing (4): 63-74 (2000). Cited by 459Web SearchBibTeXDownload
26Reasoning with Axioms: Theory and Practice. Ian Horrocks, Stephan Tobies. KR 2000, 285-296. Web SearchBibTeX
25How to decide Query Containment under Constraints using a Description Logic. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. KRDB 2000, 59-72. Web SearchBibTeXDownload
24An Analysis of Empirical Testing for Modal Decision Procedures. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani. Logic Journal of the IGPL (8): 293-323 (2000). Web SearchBibTeXDownload
23How to Decide Query Containment Under Constraints Using a Description Logic. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. LPAR 2000, 326-343. Web SearchBibTeXDownload
22Benchmark Analysis with FaCT. Ian Horrocks. TABLEAUX 2000, 62-66. Web SearchBibTeXDownload
1999
21Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Ian Horrocks, Lin Padgham, Laura Thomson. Australian Joint Conference on Artificial Intelligence 1999, 328-339. Web SearchBibTeXDownload
20Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Description Logics 1999. Web SearchBibTeXDownload
19FaCT and iFaCT. Ian Horrocks. Description Logics 1999. Web SearchBibTeXDownload
18Performance of DLP on Random Modal Formulae. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1999. Web SearchBibTeXDownload
17A Proposal for a Description Logic Interface. Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris. Description Logics 1999. Web SearchBibTeXDownload
16Report on the 1998 International Workshop on Description Logics (DL'98). Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. J. Log. Comput. (9): 449-456 (1999). Web SearchBibTeXDownload
15A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Ian Horrocks, Ulrike Sattler. J. Log. Comput. (9): 385-410 (1999). Web SearchBibTeXDownload
14Optimizing Description Logic Subsumption. Ian Horrocks, Peter F. Patel-Schneider. J. Log. Comput. (9): 267-293 (1999). Web SearchBibTeXDownload
13Practical Reasoning for Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. LPAR 1999, 161-180. Web SearchBibTeXDownload
12DLP and FaCT. Peter F. Patel-Schneider, Ian Horrocks. TABLEAUX 1999, 19-23. Web SearchBibTeXDownload
1998
11Optimising Propositional Modal Satisfiability for Description Logic Subsumption. Ian Horrocks, Peter F. Patel-Schneider. AISC 1998, 234-246. Web SearchBibTeXDownload
10Comparing Subsumption Optimizations. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1998. Web SearchBibTeXDownload
9A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Ian Horrocks, Ulrike Sattler. Description Logics 1998. Web SearchBibTeXDownload
8DL Systems Comparison (Summary Relation). Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1998. Web SearchBibTeXDownload
7Using an Expressive Description Logic: FaCT or Fiction?. Ian Horrocks. KR 1998, 636-649. Web SearchBibTeX
6The FaCT System. Ian Horrocks. TABLEAUX 1998, 307-312. Web SearchBibTeXDownload
5FaCT and DLP. Ian Horrocks, Peter F. Patel-Schneider. TABLEAUX 1998, 27-30. Web SearchBibTeXDownload
1997
4The GRAIL concept modelling language for medical terminology. Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon. Artificial Intelligence in Medicine (9): 139-171 (1997). Cited by 290Web SearchBibTeXDownload
3Description Logics with Transitive Roles. Ian Horrocks, Graham Gough. Description Logics 1997. Web SearchBibTeXDownload
1996
2Using a Description Logic with Concept Inclusions. Ian Horrocks, Alan L. Rector. Description Logics 1996, 132-135. Web SearchBibTeX
1A Description Logic Based Schema for the Classification of Medical Data. Ian Horrocks, Alan L. Rector, Carole A. Goble. KRDB 1996. Cited by 44Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ WWW2007: Program - Retrieved 2011-07-02 - details
2. ^ WWW2006 - Refereed Track: Semantic Web - Retrieved 2011-03-19 - details
3. ^ WWW2002 CFP: Semantic Web Area - Retrieved 2011-03-19 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research