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 SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enhancing optimisations, including both standard techniques (such as absorption and model merging) and newly developed ones (such as ordering heuristics and taxonomic classification). FaCT++ can, via the standard DIG interface, be used to provide reasoning services for ontology engineering tools supporting the OWL DL ontology language.

• Type: Conference
• Year: 2006
• Where: CADE
• Authors: Dmitry Tsarkov, Ian Horrocks
• Keywords: Automated Reasoning, CADE 2006, Performance Enhancing Optimisations, Standard Dig Interface, Tableaux Decision Procedure