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 10 of 308  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Ahmet Soylu, Martin Giese, Ernesto Jiménez-Ruiz, Guillermo Vega-Gorgojo, Ian Horrocks.
    Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users.
    Universal Access in the Information Society 2016, Volume 15 (0) 2016
    Journal article
    Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks.
    Extending Consequence-Based Reasoning to SRIQ.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks.
    Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
    J. Artif. Intell. Res. (JAIR) 2016, Volume 55 (0) 2016
    Conference paper
    Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks.
    Extending Consequence-Based Reasoning to SRIQ.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. 2016 (0) 2016
    Conference paper
    Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks.
    Ontology Module Extraction via Datalog Reasoning.
    Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. 2016 (0) 2016
    Conference paper
    Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks.
    Handling Owl: sameAs via Rewriting.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Conference paper
    Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks.
    Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Conference paper
    Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks.
    Ontology Module Extraction via Datalog Reasoning.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Journal article
    Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks.
    Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Ian Horrocks.
    PAGOdA: Pay-as-you-go ABox Reasoning.
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Show item 1 to 10 of 308  

    Your query returned 308 matches in the database.