pith. sign in

Ian Horrocks

Identifiers

  • name variant Ian Horrocks 0.60 · backfill

Papers (28)

  1. Canonicalizing Knowledge Base Literals cs.AI · 2019 · author #3
  2. Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange cs.DB · 2019 · author #3
  3. Learning Semantic Annotations for Tabular Data cs.DB · 2019 · author #3
  4. Modular Materialisation of Datalog Programs cs.AI · 2018 · author #3
  5. ColNet: Embedding the Semantics of Web Tables for Column Type Prediction cs.CL · 2018 · author #3
  6. The Window Validity Problem in Rule-Based Stream Reasoning cs.AI · 2018 · author #4
  7. Knowledge-based Transfer Learning Explanation cs.AI · 2018 · author #4
  8. Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals cs.AI · 2018 · author #3
  9. Stratified Negation in Limit Datalog Programs cs.AI · 2018 · author #5
  10. Stream Reasoning in Temporal Datalog cs.AI · 2017 · author #5
  11. Optimised Maintenance of Datalog Materialisations cs.DB · 2017 · author #3
  12. The Bag Semantics of Ontology-Based Data Access cs.AI · 2017 · author #6
  13. Foundations of Declarative Data Analysis Using Limit Datalog Programs cs.AI · 2017 · author #5
  14. Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version) cs.AI · 2016 · author #10
  15. Extending Consequence-Based Reasoning to SRIQ cs.AI · 2016 · author #5
  16. Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality cs.DB · 2015 · author #4
  17. Ontology Module Extraction via Datalog Reasoning cs.AI · 2014 · author #4
  18. Handling owl:sameAs via Rewriting cs.DB · 2014 · author #4
  19. Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies cs.DB · 2014 · author #2
  20. Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice cs.AI · 2014 · author #4
  21. Hypertableau Reasoning for Description Logics cs.LO · 2014 · author #3
  22. Computing Datalog Rewritings beyond Horn Ontologies cs.AI · 2013 · author #4
  23. Introducing Nominals to the Combined Query Answering Approaches for EL cs.AI · 2013 · author #3
  24. A Description Logic Primer cs.AI · 2012 · author #3
  25. Conjunctive Query Answering for the Description Logic SHIQ cs.AI · 2011 · author #2
  26. Practical Reasoning for Expressive Description Logics cs.LO · 2000 · author #1
  27. Practical Reasoning for Very Expressive Description Logics cs.LO · 2000 · author #1
  28. Reasoning with Axioms: Theory and Pratice cs.LO · 2000 · author #1

Mentions

  • 1201.4089 #3 · backfill · confidence 0.70 Ian Horrocks
  • 1111.0049 #2 · backfill · confidence 0.70 Ian Horrocks

Frequent Coauthors