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 ArticleDOI
Description logic programs: combining logic programs with description logic
TL;DR: It is shown how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules and ontologies and define a new intermediate knowledge representation contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL).
Journal ArticleDOI
OWL 2: The next step for OWL
Bernardo Cuenca Grau,Ian Horrocks,Boris Motik,Bijan Parsia,Peter F. Patel-Schneider,Ulrike Sattler +5 more
TL;DR: It is shown that many aspects of OWL have been thoroughly reengineered in OWL 2, thus producing a robust platform for future development of the language.
Journal ArticleDOI
OIL: an ontology infrastructure for the Semantic Web
Dieter Fensel,F.A.H. van Harmelen,Ian Horrocks,Deborah L. McGuinness,Peter F. Patel-Schneider +4 more
TL;DR: The authors present OIL, a proposal for a joint standard for specifying and exchanging ontologies, which is needed for knowledge sharing and reuse on the Semantic Web.
Journal ArticleDOI
Description Logic Programs: Combining Logic Programs with Description Logic
TL;DR: In this paper, the authors define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP) and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL).
Proceedings ArticleDOI
A software framework for matchmaking based on semantic web technology
Lei Li,Ian Horrocks +1 more
TL;DR: This paper investigates how Semantic and Web Services technologies can be used to support service advertisement and discovery in e-commerce with the design and implementation of a service matchmaking prototype which uses a DAML-S based ontology and a Description Logic reasoner to compare ontology based service descriptions.