I. Horrocks

Publications514
h-index91
Citations46,463
Highly Influential Citations3,496
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • B. C. Grau
  • 204 Publications • 11,471 Citations
  • B. Motik
  • 178 Publications • 12,855 Citations
  • Ernesto Jiménez-Ruiz
  • 173 Publications • 3,885 Citations
  • E. Kharlamov
  • 171 Publications • 2,761 Citations
  • Publications
  • Influence
The Semantic Web
TLDR
The proposed approach has been implemented in the system CRION (Contrastive Reasoning with Inconsistent ONtologies) as a reasoning plug-in in the LarKC (Large Knowledge Collider) platform and shows that contrastive reasoning is a useful extension to the existing approaches of reasoning with inconsistent ontologies.
View on Springer
OWL Web Ontology Language - Reference
TLDR
This document contains a structured informal description of the full set of {owL} language constructs and is meant to serve as a reference for {OWL} users who want to construct {OWl} ontologies.
From SHIQ and RDF to OWL: the making of a Web Ontology Language
View via Publisher
The Even More Irresistible SROIQ
TLDR
A rather elegant tableau-based reasoning algorithm that combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ, which has been adopted as the logical basis for the next iteration of OWL, OWL 1.1.
View Paper
Description logic programs: combining logic programs with description logic
TLDR
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).
View on ACM
OWL 2 Web Ontology Language: structural specification and functional-style syntax
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
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…
View via Publisher
OWL 2: The next step for OWL
View via Publisher
HermiT: An OWL 2 Reasoner
TLDR
This system description paper introduces the OWL 2 reasoner HermiT, a system based on the hypertableau calculus that supports a wide range of standard and novel optimisations that improve the performance of reasoning on real-world ontologies.
View on Springer
HermiT: A Highly-Efficient OWL Reasoner
TLDR
Tests show that HermiT is usually much faster than other reasoners when classifying complex ontologies, and it is already able to classify a number of ontologies which no other reasoner has been able to handle.
View Paper
...
...