• 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.
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.
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.
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).
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
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.
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.
...
...