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

    Your query returned 271 matches in the database.