Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ian Horrocks
2010 – today
- 2013
[j47]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang: Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. (JAIR) 47: 741-808 (2013)- [j46]Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks: Order matters! Harnessing a world of orderings for reasoning over massive data. Semantic Web 4(2): 219-231 (2013)
- [c188]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI 2013
- [c187]Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks: Evaluating Mapping Repair Systems with Large Biomedical Ontologies. Description Logics 2013: 246-257
- [c186]Despoina Magka, Markus Krötzsch, Ian Horrocks: Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling. Description Logics 2013: 390-402
- [c185]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics 2013: 962-974
- [c184]Peter Haase, Ian Horrocks, Dag Hovland, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Johan W. Klüwer, Christoph Pinkel, Riccardo Rosati, Valerio Santarelli, Ahmet Soylu, Dmitriy Zheleznyakov: Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM 2013: 21-32
- [c183]Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Ralf Möller, Konstantina Bereta, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Panayiotis Smeros, Dmitriy Zheleznyakov: Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. KNOW@LOD 2013: 33-40
- [c182]Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler: Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140
- [c181]Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov: Optique: OBDA Solution for Big Data. ESWC (Satellite Events) 2013: 293-295
- [c180]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013
- [c179]Despoina Magka, Markus Krötzsch, Ian Horrocks: Computing Stable Models for Nonmonotonic Existential Rules. IJCAI 2013
- [c178]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz: MORe: a Modular OWL Reasoner for Ontology Classification. ORE 2013: 61-67
- [c177]Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre: The Energy Management Adviser at EDF. International Semantic Web Conference (2) 2013: 49-64
- [c176]Evgeny Kharlamov, Martin Giese, Ernesto Jiménez-Ruiz, Martin G. Skjæveland, Ahmet Soylu, Dmitriy Zheleznyakov, Timea Bagosi, Marco Console, Peter Haase, Ian Horrocks, Sarunas Marciuska, Christoph Pinkel, Mariano Rodriguez-Muro, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo, Kunal Sengupta, Michael Schmidt, Evgenij Thorstensen, Johannes Trame, Arild Waaler: Optique 1.0: Semantic Access to Big Data: The Case of Norwegian Petroleum Directorate's FactPages. International Semantic Web Conference (Posters & Demos) 2013: 65-68
- [c175]Martin G. Skjæveland, Espen H. Lian, Ian Horrocks: Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data. International Semantic Web Conference (2) 2013: 162-177
- [c174]Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks: Complete Query Answering over Horn Ontologies Using a Triple Store. International Semantic Web Conference (1) 2013: 720-736
- [c173]Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee: Making the most of your triple store: query answering in OWL 2 using an RL reasoner. WWW 2013: 1569-1580
- [e11]Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen (Eds.): Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8067, Springer 2013, ISBN 978-3-642-39783-7
- [i9]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013)
- [i8]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013)
- 2012
- [j45]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks: Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. (JAIR) 43: 419-476 (2012)
- [j44]Ian Horrocks: Semantics ⊓ scalability ⊨ ⊥? Journal of Zhejiang University - Science C 13(4): 241-244 (2012)
- [j43]Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos: A novel approach to ontology classification. J. Web Sem. 14: 84-101 (2012)
- [c172]Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012
- [c171]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: Modular Combination of Reasoners for Ontology Classification. Description Logics 2012
- [c170]Giorgio Stefanoni, Boris Motik, Ian Horrocks: Small Datalog Query Rewritings for EL. Description Logics 2012
- [c169]Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks: Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. Description Logics 2012
- [c168]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks: Large-scale Interactive Ontology Matching: Algorithms and Implementation. ECAI 2012: 444-449
- [c167]Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344
- [c166]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang: Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012
- [c165]
- [c164]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks: On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. ORE 2012
- [c163]Despoina Magka, Boris Motik, Ian Horrocks: Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012
- [c162]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks: LogMap and LogMapLt results for OAEI 2012. OM 2012
- [c161]Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: MORe: Modular Combination of OWL Reasoners for Ontology Classification. International Semantic Web Conference (1) 2012: 1-16
- [c160]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks: Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. E-LKR 2012
- [c159]Boris Motik, Ian Horrocks, Su Myeon Kim: Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) 2012: 63-72
- [e10]Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu (Eds.): The Semantic Web - Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings. Lecture Notes in Computer Science 7185, Springer 2012, ISBN 978-3-642-29922-3
- [e9]Ian Horrocks, Mikalai Yatskevich, Ernesto Jiménez-Ruiz (Eds.): Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012. CEUR Workshop Proceedings 858, CEUR-WS.org 2012
- [i7]Markus Krötzsch, Frantisek Simancik, Ian Horrocks: A Description Logic Primer. CoRR abs/1201.4089 (2012)
- 2011
- [j42]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Supporting concurrent ontology development: Framework, algorithms and tool. Data Knowl. Eng. 70(1): 146-164 (2011)
- [j41]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. J. Autom. Reasoning 47(4): 427-450 (2011)
- [c158]Ian Horrocks: Tool Support for Ontology Engineering. Foundations for the Web of Information and Services 2011: 103-112
- [c157]Ilianna Kollia, Birte Glimm, Ian Horrocks: Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics 2011
- [c156]Ilianna Kollia, Birte Glimm, Ian Horrocks: SPARQL Query Answering over OWL Ontologies. ESWC (1) 2011: 382-396
- [c155]Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks: Consequence-Based Reasoning beyond Horn Ontologies. IJCAI 2011: 1093-1098
- [c154]Ilianna Kollia, Birte Glimm, Ian Horrocks: Answering Queries over OWL Ontologies with SPARQL. OWLED 2011
- [c153]Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks: Repairing Ontologies for Incomplete Reasoners. International Semantic Web Conference (1) 2011: 681-696
- [c152]Despoina Magka, Boris Motik, Ian Horrocks: Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75
- [i6]Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras: Reasoning with Very Expressive Fuzzy Description Logics. CoRR abs/1111.0039 (2011)
- [i5]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011)
- 2010
- [j40]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Tractable query answering and rewriting under description logic constraints. J. Applied Logic 8(2): 186-209 (2010)
- [c151]Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks: How Incomplete Is Your Semantic Web Reasoner? AAAI 2010
- [c150]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. IJCAR 2010: 61-75
- [c149]Birte Glimm, Ian Horrocks, Boris Motik: Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471
- [c148]Birte Glimm, Ian Horrocks, Boris Motik: Optimized DL Reasoning via Core Blocking. Description Logics 2010
- [c147]Despoina Magka, Yevgeny Kazakov, Ian Horrocks: Tractable Extensions of the Description Logic EL with Numerical Datatypes. Description Logics 2010
- [c146]
- [c145]Chitta Baral, Ian Horrocks, Yoav Shoham: Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. KR 2010
- [c144]
- [c143]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos: Optimising Ontology Classification. International Semantic Web Conference (1) 2010: 225-240
- [c142]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Towards a UMLS-based silver standard for matching biomedical ontologies. OM 2010
- [c141]Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks: Completeness Guarantees for Incomplete Reasoners. International Semantic Web Conference (1) 2010: 747-763
- [e8]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, ISBN 978-3-642-17745-3
- [e7]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, ISBN 978-3-642-17748-4
2000 – 2009
- 2009
- [j39]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009)
- [j38]Boris Motik, Rob Shearer, Ian Horrocks: Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR) 36: 165-228 (2009)
- [j37]Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
- [c140]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Building Ontologies Collaboratively Using ContentCVS. Description Logics 2009
- [c139]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009
- [c138]Rob Shearer, Ian Horrocks, Boris Motik: Exploiting Partial Information in Taxonomy Construction. Description Logics 2009
- [c137]Ernesto 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
- [c136]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: Logic-based Ontology Integration using ContentMap. JISBD 2009: 316-319
- [c135]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Practical Aspects of Query Rewriting for OWL 2. OWLED 2009
- [c134]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik: Efficient Query Answering for OWL 2. International Semantic Web Conference 2009: 489-504
- [c133]Rob Shearer, Ian Horrocks: Exploiting Partial Information in Taxonomy Construction. International Semantic Web Conference 2009: 569-584
- [c132]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. SWAT4LS 2009
- [c131]Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks: Towards a Logic-based Assessment of the compatibility of UMLS sources. SWAT4LS 2009
- [p3]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
- [e6]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009
- 2008
- [j36]
- [j35]Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)
- [j34]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008)
- [j33]Bernardo 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)
- [c130]Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks: Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242
- [c129]
- [c128]Birte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008
- [c127]Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008
- [c126]Bernardo Cuenca Grau, Ian Horrocks: Privacy-Preserving Query Answering in Logic-based Information Systems. ECAI 2008: 40-44
- [c125]
- [c124]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
- [c123]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
- [c122]
- [c121]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks: Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214
- [c120]Boris Motik, Ian Horrocks: OWL Datatypes: Design and Implementation. International Semantic Web Conference 2008: 307-322
- [p2]
- 2007
- [j32]Ian Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007)
- [j31]Giorgos 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)
- [j30]Ian Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007)
- [j29]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
- [j28]
- [j27]Jeff Z. Pan, Ian Horrocks: RDFS(FA): Connecting RDF(S) and OWL DL. IEEE Trans. Knowl. Data Eng. 19(2): 192-206 (2007)
- [j26]Peter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
- [c119]Boris Motik, Rob Shearer, Ian Horrocks: Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83
- [c118]Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007
- [c117]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
- [c116]
- [c115]
- [c114]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
- [c113]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
- [c112]
- [c111]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
- [c110]
- [c109]Christine 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
- [c108]
- [c107]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
- [c106]Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
- 2006
- [j25]Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks: f-SWRL: A Fuzzy Extension of SWRL. : 28-46 (2006)
- [j24]Jeff Z. Pan, Ian Horrocks: OWL-Eu: Adding customised datatypes into OWL. J. Web Sem. 4(1): 29-39 (2006)
- [c105]Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324
- [c104]Dmitry Tsarkov, Ian Horrocks: FaCT++ Description Logic Reasoner: System Description. IJCAR 2006: 292-297
- [c103]Tom Gardiner, Ian Horrocks, Dmitry Tsarkov: Automated Benchmarking of Description Logic Reasoners. Description Logics 2006
- [c102]Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
- [c101]Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
- [c100]Ian Horrocks, Andrei Voronkov: Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. FoIKS 2006: 201-218
- [c99]
- [c98]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
- [c97]
- [c96]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
- [c95]Tom Gardiner, Dmitry Tsarkov, Ian Horrocks: Framework for an Automated Comparison of Description Logic Reasoners. International Semantic Web Conference 2006: 654-667
- [c94]Peter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
- [c93]
- [e5]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider (Eds.): Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. CEUR Workshop Proceedings 188, CEUR-WS.org 2006
- 2005
- [j23]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
- [j22]Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1): 23-40 (2005)
- [c92]Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
- [c91]Sean Bechhofer, Ian Horrocks, Daniele Turi: The OWL Instance Store: System Description. CADE 2005: 177-181
- [c90]
- [c89]
- [c88]Dmitry Tsarkov, Ian Horrocks: Optimised Classification for Taxonomic Knowledge Bases. Description Logics 2005
- [c87]
- [c86]Jeff Z. Pan, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks: f-SWRL: A Fuzzy Extension of SWRL. ICANN (2) 2005: 829-834
- [c85]Ian Horrocks: Applications of Description Logics: State of the Art and Research Challenges. ICCS 2005: 78-90
- [c84]
- [c83]
- [c82]Dmitry Tsarkov, Ian Horrocks: Ordering Heuristics for Description Logic Reasoning. IJCAI 2005: 609-614
- [c81]
- [c80]
- [c79]Jeff Z. Pan, Ian Horrocks: Introducing Customised Datatypes and Datatype Predicates into OWL. OWLED 2005
- [c78]
- [c77]Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks: Fuzzy OWL: Uncertainty and the Semantic Web. OWLED 2005
- [c76]Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
- [c75]Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Jeff Z. Pan, Ian Horrocks: The Fuzzy Description Logic f-SHIN. ISWC-URSW 2005: 67-76
- [c74]Katy 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
- [c73]
- [c72]
- [c71]Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks: A Fuzzy Extension of SWRL. Rule Languages for Interoperability 2005
- [e4]Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005
- 2004
- [j21]Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)
- [j20]
- [j19]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
- [j18]Richard 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)
- [c70]Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer: The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004
- [c69]Jeff Z. Pan, Ian Horrocks: Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?"). Description Logics 2004
- [c68]Dmitry Tsarkov, Ian Horrocks: Efficient Reasoning with Range and Domain Constraints. Description Logics 2004
- [c67]Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks: Using Vampire to Reason with OWL. International Semantic Web Conference 2004: 471-485
- [c66]
- [p1]
- 2003
- [j17]Ian 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)
- [j16]Ian 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)
- [c65]Michel C. A. Klein, Jeen Broekstra, Dieter Fensel, Frank van Harmelen, Ian Horrocks: Ontologies and Schema Languages on the Web. Spinning the Semantic Web 2003: 95-139
- [c64]
- [c63]Ian Horrocks, Deborah L. McGuinness, Christopher A. Welty: Digital Libraries and Web-based Information Systems. Description Logic Handbook 2003: 427-449
- [c62]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
- [c61]Lei Li, Ian Horrocks: Matchmarking Using an Instance Store: Some Preliminary Results. Description Logics 2003
- [c60]
- [c59]
- [c58]Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348
- [c57]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
- [c56]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
- [c55]Jeff Z. Pan, Ian Horrocks: RDFS(FA) and RDF MT: Two Semantics for RDFS. International Semantic Web Conference 2003: 30-46
- [c54]Jeff Z. Pan, Ian Horrocks: Web Ontology Reasoning with Datatype Groups. International Semantic Web Conference 2003: 47-63
- [c53]Michael 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
- [c52]Ian Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
- [c51]Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker: Description logic programs: combining logic programs with description logic. WWW 2003: 48-57
- [c50]
- 2002
- [j15]Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
- [j14]Jeen 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)
- [j13]Ian Horrocks: DAML+OIL: a Description Logic for the Semantic Web. IEEE Data Eng. Bull. 25(1): 4-9 (2002)
- [j12]Ian Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)
- [j11]Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
- [j10]Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer: OILing the way to machine understandable bioinformatics resources. IEEE Transactions on Information Technology in Biomedicine 6(2): 129-134 (2002)
- [j9]Robert Stevens, Carole A. Goble, Ian Horrocks, Sean Bechhofer: Building a bioinformatics ontology using OIL. IEEE Transactions on Information Technology in Biomedicine 6(2): 135-141 (2002)
- [c49]Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen: Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002: 792-797
- [c48]
- [c47]Jeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1067-1081
- [c46]Jeff Z. Pan, Ian Horrocks: Extending Datatype Support in Web Ontology Reasoning. CoopIS/DOA/ODBASE 2002: 1362
- [c45]
- [c44]
- [c43]
- [c42]Sergio Tessaris, Ian Horrocks: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR 2002: 435-449
- [c41]Ian Horrocks, Sergio Tessaris: Querying the Semantic Web: A Formal Approach. International Semantic Web Conference 2002: 177-191
- [c40]
- [e3]Ian Horrocks, Sergio Tessaris (Eds.): Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. CEUR Workshop Proceedings 53, CEUR-WS.org 2002
- [e2]Ian Horrocks, James A. Hendler (Eds.): The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings. Lecture Notes in Computer Science 2342, Springer 2002, ISBN 3-540-43760-6
- 2001
- [j8]Dieter 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)
- [c39]Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens: OilEd: a Reason-able Ontology Editor for the Semantic Web. Description Logics 2001
- [c38]
- [c37]Ian Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204
- [c36]Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens: OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI 2001: 396-408
- [c35]
- [c34]
- [c33]Jeff Z. Pan, Ian Horrocks: Metamodeling Architecture of Web Ontology Languages. The Emerging Semantic Web 2001
- [c32]Jeen 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
- 2000
- [j7]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): 239-263 (2000)
- [j6]Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): 293-323 (2000)
- [j5]Stefan 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)
- [c31]Ian Horrocks, Sergio Tessaris: A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI 2000: 399-404
- [c30]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
- [c29]
- [c28]Stefan Decker, Dieter Fensel, Frank van Harmelen, Ian Horrocks, Sergey Melnik, Michel C. A. Klein, Jeen Broekstra: Knowledge Representation on the Web. Description Logics 2000: 89-97
- [c27]Ian Horrocks, Sergio Tessaris: Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics 2000: 173-182
- [c26]Ian Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192
- [c25]
- [c24]Dieter Fensel, Ian Horrocks, Frank van Harmelen, Stefan Decker, Michael Erdmann, Michel C. A. Klein: OIL in a Nutshell. EKAW 2000: 1-16
- [c23]
- [c22]Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
- [c21]Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
- [c20]
- [i4]
- [i3]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000)
- [i2]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000)
- [i1]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000)
1990 – 1999
- 1999
- [j4]Ian Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
- [j3]Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)
- [j2]Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty: Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999)
- [c19]Ian Horrocks, Lin Padgham, Laura Thomson: Feasibility of Optimised Disjunctive Reasoning for Approximate Matching. Australian Joint Conference on Artificial Intelligence 1999: 328-339
- [c18]Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
- [c17]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
- [c16]
- [c15]Ian Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
- [c14]Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180
- [c13]
- 1998
- [c12]Ian Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
- [c11]
- [c10]
- [c9]Ian Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
- [c8]Ian Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
- [c7]Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
- [c6]
- [c5]
- [c4]
- 1997
- [j1]Alan L. Rector, Sean Bechhofer, Carole A. Goble, Ian Horrocks, W. A. Nowlan, W. D. Solomon: The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine 9(2): 139-171 (1997)
- [c3]
- [e1]Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.): Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI. URA-CNRS 410, 1997
- 1996
- [c2]Ian Horrocks, Alan L. Rector: Using a Description Logic with Concept Inclusions. Description Logics 1996: 132-135
- [c1]Ian Horrocks, Alan L. Rector, Carole A. Goble: A Description Logic Based Schema for the Classification of Medical Data. KRDB 1996
Coauthor Index
[j47] [c188] [c185] [c180] [c177] [i9] [i8] [j45] [j43] [c172] [c170] [c167] [c166] [c165] [c163] [c159] [c153] [c152] [j40] [c149] [c148] [c143] [j39] [j38] [j37] [c139] [c138] [c135] [c134] [e6] [j33] [c130] [c129] [c127] [c124] [c123] [c122] [c121] [c120] [c119] [c116] [c110] [c109] [c106] [c97] [c96]
[i5] [j39] [j37] [p3] [e6] [j35] [j34] [j33] [c128] [c125] [c124] [c123] [j32] [j30] [c118] [c117] [c114] [c113] [c111] [c110] [c107] [c106] [c105] [c102] [c101] [c99] [c98] [c96] [j23] [c92] [c83] [c80] [c74] [e4] [j21] [p1] [c58] [c57] [j11] [c45] [c37] [j7] [c30] [c22] [c21] [i3] [i2] [i1] [j3] [c14] [c7]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team