Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
The Semantic Web
- G. Goos, J. Hartmanis, Zhaohui Wu
- Computer ScienceLecture Notes in Computer Science
- 2011
TLDR
OWL Web Ontology Language - Reference
- Mike Dean, A. Schreiber, L. Stein
- Computer Science
- 2004
TLDR
From SHIQ and RDF to OWL: the making of a Web Ontology Language
- I. Horrocks, P. Patel-Schneider, F. V. Harmelen
- Computer ScienceJ. Web Semant.
- 1 December 2003
The Even More Irresistible SROIQ
- I. Horrocks, O. Kutz, U. Sattler
- Computer ScienceKR
- 2 June 2006
TLDR
Description logic programs: combining logic programs with description logic
- B. Grosof, I. Horrocks, R. Volz, S. Decker
- Computer Science, PhilosophyWWW '03
- 20 May 2003
TLDR
OWL 2 Web Ontology Language: structural specification and functional-style syntax
- B. Motik, P. Patel-Schneider, M. Smith
- Computer Science
- 2008
The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and data…
FaCT++ Description Logic Reasoner: System Description
- D. Tsarkov, I. Horrocks
- Computer ScienceIJCAR
- 17 August 2006
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known $\mathcal{SHOIQ}$ description logic, with additional…
OWL 2: The next step for OWL
- B. C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, U. Sattler
- Computer Science, BiologyJ. Web Semant.
- 1 November 2008
HermiT: An OWL 2 Reasoner
- Birte Glimm, I. Horrocks, B. Motik, G. Stoilos, Zhe Wang
- Computer ScienceJournal of Automated Reasoning
- 1 October 2014
TLDR
HermiT: A Highly-Efficient OWL Reasoner
- Rob Shearer, B. Motik, I. Horrocks
- Computer ScienceOWLED
- 2008
TLDR
...
...