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
Book ChapterDOI
f-SWRL: A Fuzzy Extension of SWRL
TL;DR: Fuzzy SWRL as discussed by the authors is a fuzzy extension to SWRL to include fuzzy assertions such as ‘Mary is tall in the degree of 0.9' and fuzzy rules such as "being healthy is more important than being rich to determine if one is happy".
Book ChapterDOI
Bag Semantics of DL-Lite with Functionality Axioms
Gianluca Cima,Charalampos Nikolaou,Egor V. Kostylev,Mark Kaminski,Bernardo Cuenca Grau,Ian Horrocks +5 more
TL;DR: In this paper, two variants of bag semantics for query answering over DL-Lite have been studied, and the results show that conjunctive query answering is coNP-hard in data complexity in general, but it is in TC\( √ 0) for the restricted class of rooted CQs; such CQLs are also rewritable to the bag relational algebra.
Journal ArticleDOI
OWL2: The Next Step for OWL
Bernardo Cuenca Grau,Bernardo Cuenca Grau,Ian Horrocks,Boris Motik,Bijan Parsia,Peter F. Patel-Schneider,Ulrike Sattler +6 more
TL;DR: In this paper, the authors systematically analyze the identified shortcomings of OWL, such as expressivity issues, problems with its syntaxes, and deficiencies in the definition of the OWL species.
Proceedings ArticleDOI
Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract)
Evgeny Kharlamov,Gulnar Mehdi,Ognjen Savkovic,Guohui Xiao,Steffen Lamparter,Ian Horrocks,Arild Waaler +6 more
TL;DR: This work proposes to address problems in authoring, reuse, and maintenance of analytical workflows by relying on semantic technologies: ontologies to give a high level representation of equipment’s operational and master data and offer a highlevel language to express KPIs over ontologies.