I
Ian Horrocks
Researcher at University of Oxford
Publications - 488
Citations - 40046
Ian Horrocks is an academic researcher from University of Oxford. The author has contributed to research in topics: Ontology (information science) & Description logic. The author has an hindex of 87, co-authored 472 publications receiving 38785 citations. Previous affiliations of Ian Horrocks include The Turing Institute & National and Kapodistrian University of Athens.
Papers
More filters
Proceedings Article
BOOTOX: Bootstrapping OWL 2 ontologies and R2RML mappings from Relational Databases
Ernesto Jiménez-Ruiz,Evgeny Kharlamov,Dmitriy Zheleznyakov,Ian Horrocks,Christoph Pinkel,Martin G. Skjæveland,Evgenij Thorstensen,Jose Mora +7 more
TL;DR: BOOTOX is a system facilitating ontology and mapping development by their automatic extraction from relational databases that allows to control the OWL 2 profile of the output ontologies, and to bootstrap complex and provenance mappings, which are beyond the W3C direct mapping specification.
Proceedings ArticleDOI
Semantic Rules for Machine Diagnostics: Execution and Management
Evgeny Kharlamov,Ognjen Savkoviý,Guohui Xiao,Rafael Peñaloza,Gulnar Mehdi,Mikhail Roshchin,Ian Horrocks +6 more
TL;DR: This paper presents a semantic rule language sigRL that is inspired by the real diagnostic languages used in Siemens, and studies computational complexity of SigRL: execution of diagnostic programs, provenance computation, as well as automatic verification of redundancy and inconsistency in diagnostic programs.
Book ChapterDOI
Description logics in ontology applications
TL;DR: This work states that the increasing use of DL based ontologies in areas such as e-Science and the Semantic Web is already stretching the capabilities of existing DL systems, and brings with it a range of research challenges.
Proceedings ArticleDOI
Knowledge-aware Zero-Shot Learning: Survey and Perspective
TL;DR: In this paper, the authors present a literature review towards zero-shot learning in the perspective of external knowledge, where they categorize the external knowledge and review their methods and compare different external knowledge.
Posted Content
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
TL;DR: This paper presents the first such combination of rewriting and incremental maintenance, and shows empirically that it can speed up updates by several orders of magnitude compared to using either rewriting or incremental maintenance in isolation.