11 found
Order:
Disambiguations
Ian Horrocks [10]I. Horrocks [2]Ivan Horrocks [1]
  1.  13
    An Introduction to Description Logic.Franz Baader, Ian Horrocks, Carsten Lutz & Uli Sattler - 2017 - Cambridge, England: Cambridge University Press.
    The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  2
    Decidability of SHIQ with complex role inclusion axioms.Ian Horrocks & Ulrike Sattler - 2004 - Artificial Intelligence 160 (1-2):79-104.
  3.  15
    Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  9
    Maintenance of datalog materialisations revisited.Boris Motik, Yavor Nenov, Robert Piro & Ian Horrocks - 2019 - Artificial Intelligence 269 (C):76-136.
  5.  38
    Applying the Morphogenetic Approach: Outcomes and Issues from a Case Study of Information Systems Development and Organisational Change in British Local Government.Ivan Horrocks - 2009 - Journal of Critical Realism 8 (1):35-62.
    With its emphasis on analytical dualism and its detailed account of the concepts and methods necessary for its application, Margaret Archer's morphogenetic approach seems to provide significant potential for empirical research. Over a decade after its publication, however, the potential of the approach remains largely unrealised. This paper seeks to begin to address this situation by reporting on and assessing the application of the morphogenetic approach to a longitudinal case study of information systems development and organisational change in British local (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  6
    Consequence-based and fixed-parameter tractable reasoning in description logics.František Simančík, Boris Motik & Ian Horrocks - 2014 - Artificial Intelligence 209 (C):29-77.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  11
    Pay-as-you-go consequence-based reasoning for the description logic SROIQ.David Tena Cucala, Bernardo Cuenca Grau & Ian Horrocks - 2021 - Artificial Intelligence 298 (C):103518.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Modular materialisation of Datalog programs.Pan Hu, Boris Motik & Ian Horrocks - 2022 - Artificial Intelligence 308 (C):103726.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    Representing ontologies using description logics, description graphs, and rules.Boris Motik, Bernardo Cuenca Grau, Ian Horrocks & Ulrike Sattler - 2009 - Artificial Intelligence 173 (14):1275-1309.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Foundations of ontology-based data access under bag semantics.Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2019 - Artificial Intelligence 274 (C):91-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    The delay and window size problems in rule-based stream reasoning.Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2022 - Artificial Intelligence 306 (C):103668.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark