I. Horrocks

Publications
Influence

G. Goos, J. Hartmanis, +9 authors Z. Wu
Computer Science
Lecture Notes in Computer Science
2011

Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Expand

3,931
363

OWL Web Ontology Language - Reference

M. Dean, A. T. Schreiber, +6 authors L. Stein
Physics
2004

The {W}eb {O}ntology {L}anguage {OWL} is a semantic markup language for publishing and sharing ontologies on the {W}orld {W}ide {W}eb. {OWL} is developed as a vocabulary extension of {RDF} (the… Expand

2,572
239

From SHIQ and RDF to OWL: the making of a Web Ontology Language

I. Horrocks, P. Patel-Schneider, F. V. Harmelen
Computer Science
J. Web Semant.
1 December 2003

This paper presents an account of the trade-offs and design decisions that had to be made by the Web Ontology Working Group during the design of OWL. Expand

1,718
159
PDF

The Even More Irresistible SROIQ

I. Horrocks, O. Kutz, U. Sattler
Computer Science
KR
2 June 2006

We describe an extension of the description logic underlying OWL-DL, SHOIN, with a number of expressive means that we believe will make it more useful in practice. Expand

Description logic programs: combining logic programs with description logic

B. Grosof, I. Horrocks, R. Volz, S. Decker
Computer Science
WWW '03
20 May 2003

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. Expand