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
Posted Content
Canonicalizing Knowledge Base Literals.
TL;DR: This paper proposes a framework that combines both reasoning and machine learning in order to predict the relevant entities and types, and evaluates this framework against state-of-the-art baselines for both semantic typing and entity matching.
Journal Article
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
TL;DR: This paper analyzes the problems that arise from an interaction between nominals, inverse roles, and number restrictions, and presents an alternative solution based on a new NI-rule that extends the non-forest-like portion of a model with new individuals.
Book ChapterDOI
Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge
TL;DR: It is shown that rule enhanced knowledge graphs are extremely powerful, can be given a formal logic-based semantics, and are highly scalable in practice.
Journal ArticleDOI
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
TL;DR: This paper studies the complex and expressive power of limit Datalog programs extended with disjunction in the heads of rules and non-monotonic negation under the stable model semantics and shows that the resulting language is Π EXP 2 -complete in combined complexity and that it captures Π P 2 over ordered struc-tures in the sense of descriptive complexity.
Proceedings Article
Scalable Semantic Access to Siemens Static and Streaming Distributed Data
Evgeny Kharlamov,Sebastian Brandt,Martin Giese,Ernesto Jiménez-Ruiz,Yannis Kotidis,Steffen Lamparter,Theofilos Mailis,Christian Neuenstadt,Özgür Lütfü Özçep,Christoph Pinkel,Ahmet Soylu,Christoforos Svingos,Dmitriy Zheleznyakov,Ian Horrocks,Yannis Ioannidis,Ralf Möller,Arild Waaler +16 more
TL;DR: This demo will show how Optique can help in diagnostics of power generating turbines in Siemens Energy, and introduce the notion Ontology-Based Stream-Static Data Integration and developed the system Optique to put the ideas in practice.