FaCT++ description logic reasoner: system description

  • Authors:

  • Dmitry Tsarkov;Ian Horrocks

  • Affiliations:

  • School of Computer Science, The University of Manchester, Manchester, UK;School of Computer Science, The University of Manchester, Manchester, UK

  • Venue:
  • IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

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