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