Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Ian
    Last name: Horrocks
    DBLP: h/IanHorrocks
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 271  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks.
    Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Boris Motik, Rob Shearer, Ian Horrocks.
    Hypertableau Reasoning for Description Logics.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Frantisek Simancik, Boris Motik, Ian Horrocks.
    Consequence-based and fixed-parameter tractable reasoning in description logics.
    Artif. Intell. 2014, Volume 209 (0) 2014
    Conference paper
    Despoina Magka, Markus Krötzsch, Ian Horrocks.
    A rule-based ontological framework for the classification of molecules.
    J. Biomedical Semantics 2014, Volume 5 (0) 2014
    Journal article
    Markus Krötzsch, Frantisek Simancik, Ian Horrocks.
    Description Logics.
    IEEE Intelligent Systems 2014, Volume 29 (0) 2014
    Journal article
    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.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks.
    Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks.
    OptiqueVQS: Visual Query Formulation for OBDA.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks.
    Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu.
    Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks.
    Pay-As-You-Go OWL Query Answering Using a Triple Store.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. 2014 (0) 2014
    Conference paper
    Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu.
    Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. 2014 (0) 2014
    Conference paper
    Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang.
    HermiT: An OWL 2 Reasoner.
    J. Autom. Reasoning 2014, Volume 53 (0) 2014
    Conference paper
    David Carral, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks.
    Pushing the Boundaries of Tractable Ontology Reasoning.
    The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II 2014 (0) 2014
    Journal article
    Giorgio Stefanoni, Boris Motik, Ian Horrocks.
    Introducing Nominals to the Combined Query Answering Approaches for EL
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    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 2013, Volume 4 (0) 2013
    Journal article
    Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks.
    Computing Datalog Rewritings beyond Horn Ontologies
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    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.
    22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013 2013 (0) 2013
    Conference paper
    Despoina Magka, Markus Krötzsch, Ian Horrocks.
    Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Conference paper
    Giorgio Stefanoni, Boris Motik, Ian Horrocks.
    Introducing Nominals to the Combined Query Answering Approaches for EL.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Conference paper
    Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks.
    Evaluating Mapping Repair Systems with Large Biomedical Ontologies.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Conference paper
    Despoina Magka, Markus Krötzsch, Ian Horrocks.
    Computing Stable Models for Nonmonotonic Existential Rules.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks.
    Computing Datalog Rewritings Beyond Horn Ontologies.
    IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013 2013 (0) 2013
    Conference paper
    Giorgio Stefanoni, Boris Motik, Ian Horrocks.
    Introducing Nominals to the Combined Query Answering Approaches for EL.
    Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA. 2013 (0) 2013
    Conference paper
    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) 2013, Volume 47 (0) 2013
    Conference paper
    Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Ralf Möller, Konstantina Bereta, Christian Neuenstadt, Özgür LütfüÖzçep, Mikhail Roshchin, Panayiotis Smeros, Dmitriy Zheleznyakov.
    Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach.
    Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, Montpellier, France, May 26, 2013 2013 (0) 2013
    Conference paper
    Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks, Ernesto Jiménez-Ruiz.
    MORe: a Modular OWL Reasoner for Ontology Classification.
    Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 2013 (0) 2013
    Conference paper
    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.
    Proceedings of the ISWC 2013 Posters Demonstrations Track, Sydney, Australia, October 23, 2013 2013 (0) 2013
    Conference paper
    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ütfüÖzçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov.
    Optique: OBDA Solution for Big Data.
    The Semantic Web: ESWC 2013 Satellite Events - ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers 2013 (0) 2013
    Conference paper
    Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür LütfüÖzçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler.
    Optique: Towards OBDA Systems for Industry.
    The Semantic Web: ESWC 2013 Satellite Events - ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers 2013 (0) 2013
    Conference paper
    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.
    Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, Montpellier, France, May 27, 2013 2013 (0) 2013
    Conference paper
    Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre.
    The Energy Management Adviser at EDF.
    The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II 2013 (0) 2013
    Conference paper
    Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks.
    Complete Query Answering over Horn Ontologies Using a Triple Store.
    The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part I 2013 (0) 2013
    Conference paper
    Martin G. Skjæveland, Espen H. Lian, Ian Horrocks.
    Publishing the Norwegian Petroleum Directorate's FactPages as Semantic Web Data.
    The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II 2013 (0) 2013
    Conference paper
    Markus Krötzsch, Despoina Magka, Ian Horrocks.
    Concrete Results on Abstract Rules.
    Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ian Horrocks.
    OptiqueVQS: towards an ontology-based visual query system for big data.
    Fifth International Conference on Management of Emergent Digital EcoSystems, MEDES '13, Luxembourg, Luxembourg, October 29-31, 2013 2013 (0) 2013
    Conference paper
    Bernardo Cuenca Grau, Martin Giese, Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Schmidt, Ahmet Soylu, Dmitriy Zheleznyakov.
    Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems.
    Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013
    Conference paper
    Herald Kllapi, Dimitris Bilidas, Ian Horrocks, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Dmitriy Zheleznyakov.
    Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper).
    Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013
    Conference paper
    Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov.
    On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper).
    Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013
    Conference paper
    Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Oezguer Oezcep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov.
    The Optique Project: Towards OBDA Systems for Industry (Short Paper).
    Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013. 2013 (0) 2013
    Conference paper
    Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov.
    A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data.
    Metadata and Semantics Research - 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks.
    LogMap and LogMapLt results for OAEI 2013.
    Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 21, 2013. 2013 (0) 2013
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks.
    Is my ontology matching system similar to yours?
    Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, October 21, 2013. 2013 (0) 2013
    Conference paper
    Boris Motik, Ian Horrocks, Su Myeon Kim.
    Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.
    Proceedings of the 21st World Wide Web Conference, WWW 2012, Lyon, France, April 16-20, 2012 (Companion Volume) 2012 (0) 2012
    Conference paper
    Ian Horrocks.
    Semantics scalability
    Journal of Zhejiang University - Science C 2012, Volume 13 (0) 2012
    Conference paper
    Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks.
    Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
    J. Artif. Intell. Res. (JAIR) 2012, Volume 43 (0) 2012
    Conference paper
    Despoina Magka, Boris Motik, Ian Horrocks.
    Modelling Structured Domains Using Description Graphs and Logic Programming.
    The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Giorgio Stefanoni, Boris Motik, Ian Horrocks.
    Small Datalog Query Rewritings for EL.
    Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012
    Conference paper
    Despoina Magka, Boris Motik, Ian Horrocks.
    Modelling Structured Domains Using Description Graphs and Logic Programming.
    Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012
    Conference paper
    Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks.
    Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.
    Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012
    Conference paper
    Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks.
    Modular Combination of Reasoners for Ontology Classification.
    Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012 2012 (0) 2012
    Conference paper
    Despoina Magka, Boris Motik, Ian Horrocks.
    Classifying Chemicals Using Description Graphs and Logic Programming.
    Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 2012 (0) 2012
    Journal article
    Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos.
    A novel approach to ontology classification.
    J. Web Sem. 2012, Volume 14 (0) 2012
    Conference paper
    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.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 2012 (0) 2012
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks.
    Large-scale Interactive Ontology Matching: Algorithms and Implementation.
    ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 2012 (0) 2012
    Conference paper
    Markus Krötzsch, Frantisek Simancik, Ian Horrocks.
    A Description Logic Primer
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks.
    MORe: Modular Combination of OWL Reasoners for Ontology Classification.
    The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I 2012 (0) 2012
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks.
    LogMap and LogMapLt results for OAEI 2012.
    Proceedings of the 7th International Workshop on Ontology Matching, Boston, MA, USA, November 11, 2012 2012 (0) 2012
    Conference paper
    Ian Horrocks, Boris Motik, Zhe Wang.
    The HermiT OWL Reasoner.
    Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012 2012 (0) 2012
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks.
    On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.
    Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012 2012 (0) 2012
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks.
    Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative.
    Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, Castellón de la Plana, Spain, September 7, 2012 2012 (0) 2012
    Journal article
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Supporting concurrent ontology development: Framework, algorithms and tool.
    Data Knowl. Eng. 2011, Volume 70 (0) 2011
    Conference paper
    Ilianna Kollia, Birte Glimm, Ian Horrocks.
    SPARQL Query Answering over OWL Ontologies.
    The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I 2011 (0) 2011
    Conference paper
    Ilianna Kollia, Birte Glimm, Ian Horrocks.
    Query Answering over SROIQ Knowledge Bases with SPARQL.
    Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 2011 (0) 2011
    Conference paper
    Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks.
    Consequence-Based Reasoning beyond Horn Ontologies.
    IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011 2011 (0) 2011
    Conference paper
    Ian Horrocks.
    Tool Support for Ontology Engineering.
    Foundations for the Web of Information and Services - A Review of 20 Years of Semantic Web Research. 2011 (0) 2011
    Conference paper
    Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks.
    Repairing Ontologies for Incomplete Reasoners.
    The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I 2011 (0) 2011
    Conference paper
    Despoina Magka, Yevgeny Kazakov, Ian Horrocks.
    Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes.
    J. Autom. Reasoning 2011, Volume 47 (0) 2011
    Conference paper
    Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras.
    Reasoning with Very Expressive Fuzzy Description Logics
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler.
    Conjunctive Query Answering for the Description Logic SHIQ
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Despoina Magka, Boris Motik, Ian Horrocks.
    Chemical knowledge representation with description graphs and logic programming.
    Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS 2011, London, United Kingdom, December 07-09, 2011 2011 (0) 2011
    Conference paper
    Ilianna Kollia, Birte Glimm, Ian Horrocks.
    Answering Queries over OWL Ontologies with SPARQL.
    Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), San Francisco, California, USA, June 5-6, 2011 2011 (0) 2011
    Journal article
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Logic-based assessment of the compatibility of UMLS ontology sources.
    J. Biomedical Semantics 2011, Volume 2 (0) 2011
    Journal article
    Héctor Pérez-Urbina, Boris Motik, Ian Horrocks.
    Tractable query answering and rewriting under description logic constraints.
    J. Applied Logic 2010, Volume 8 (0) 2010
    Conference paper
    Chitta Baral, Ian Horrocks, Yoav Shoham.
    Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 2010 (0) 2010
    Conference paper
    Despoina Magka, Yevgeny Kazakov, Ian Horrocks.
    Tractable Extensions of the Description Logic
    Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Birte Glimm, Ian Horrocks, Boris Motik.
    Optimized Description Logic Reasoning via Core Blocking.
    Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Ian Horrocks.
    Ontology Languages and Engineering.
    Knowledge Science, Engineering and Management, 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks.
    How Incomplete Is Your Semantic Web Reasoner?
    Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010 2010 (0) 2010
    Conference paper
    Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos.
    Optimising Ontology Classification.
    The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I 2010 (0) 2010
    Conference paper
    Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks.
    Completeness Guarantees for Incomplete Reasoners.
    The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I 2010 (0) 2010
    Conference paper
    Despoina Magka, Yevgeny Kazakov, Ian Horrocks.
    Tractable Extensions of the Description Logic EL with Numerical Datatypes.
    Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 2010 (0) 2010
    Conference paper
    Birte Glimm, Ian Horrocks, Boris Motik.
    Optimized DL Reasoning via Core Blocking.
    Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 2010 (0) 2010
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Towards a UMLS-based silver standard for matching biomedical ontologies.
    Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), Shanghai, China, November 7, 2010 2010 (0) 2010
    Conference paper
    Ian Horrocks.
    Scalable ontology-based information systems.
    EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings 2010 (0) 2010
    Journal article
    Boris Motik, Rob Shearer, Ian Horrocks.
    Hypertableau Reasoning for Description Logics.
    J. Artif. Intell. Res. (JAIR) 2009, Volume 36 (0) 2009
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.
    Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, Amsterdam, The Netherlands, November 20, 2009 2009 (0) 2009
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks.
    Towards a Logic-based Assessment of the compatibility of UMLS sources.
    Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, Amsterdam, The Netherlands, November 20, 2009 2009 (0) 2009
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Building Ontologies Collaboratively Using ContentCVS.
    Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 2009 (0) 2009
    Conference paper
    Héctor Pérez-Urbina, Boris Motik, Ian Horrocks.
    A Comparison of Query Rewriting Techniques for DL-lite.
    Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 2009 (0) 2009
    Conference paper
    Rob Shearer, Ian Horrocks, Boris Motik.
    Exploiting Partial Information in Taxonomy Construction.
    Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 2009 (0) 2009
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
    The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori.
    Logic-based Ontology Integration using ContentMap.
    XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009 2009 (0) 2009
    Conference paper
    Rob Shearer, Ian Horrocks.
    Exploiting Partial Information in Taxonomy Construction.
    The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Héctor Pérez-Urbina, Ian Horrocks, Boris Motik.
    Efficient Query Answering for OWL 2.
    The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler.
    Representing ontologies using description logics, description graphs, and rules.
    Artif. Intell. 2009, Volume 173 (0) 2009
    Conference paper
    Boris Motik, Ian Horrocks, Ulrike Sattler.
    Bridging the gap between OWL and relational databases.
    J. Web Sem. 2009, Volume 7 (0) 2009
    Book chapter
    Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler.
    Extracting Modules from Ontologies: A Logic-Based Approach.
    Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization 2009, Volume 5445 (0) 2009
    Conference paper
    Héctor Pérez-Urbina, Ian Horrocks, Boris Motik.
    Practical Aspects of Query Rewriting for OWL 2.
    Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009 2009 (0) 2009
    Book chapter
    Ian Horrocks, Sean Bechhofer.
    Semantic Web.
    Web Accessibility - A Foundation for Research 2008 (0) 2008
    Show item 1 to 100 of 271  

    Your query returned 271 matches in the database.