In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with
acceptable to very good performance, extensive middleware, and a number of unique …

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully
compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web …

Thoroughly covering basic introductions and intuitions, technical details, and formal
foundations, this text focuses on the established foundations in this area that have become …

This is a system description of the Description Logic reasoner FaCT++. The reasoner
implements a tableaux decision procedure for the well known SHOIQ description logic, with …

Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL)
has been successfully applied to many problems in computer science. Practical experience …

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. Roughly …

This paper introduces a knowledge-driven approach to real-time, continuous activity
recognition based on multisensor data streams in smart homes. The approach goes beyond …

HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus
addresses performance problems due to nondeterminism and model size—the primary …

Ontologies and the semantic web Page 1 58 communications of the acm | december 2008 | vol.
51 | no. 12 contributed articles While phenomenally successful in terms of amount of accessible …

We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge
representation formalism with applications in areas such as the Semantic Web …