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 279  
    Select a publication
    Show Title Venue Rating Date
    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
    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
    Show item 1 to 10 of 279  

    Your query returned 279 matches in the database.