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 25 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
    Show item 1 to 25 of 271  

    Your query returned 271 matches in the database.