FaCT++ Description Logic Reasoner: System Description

  • Dmitry Tsarkov
  • Ian Horrocks
Conference paper

DOI: 10.1007/11814771_26

Volume 4130 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Tsarkov D., Horrocks I. (2006) FaCT++ Description Logic Reasoner: System Description. In: Furbach U., Shankar N. (eds) Automated Reasoning. IJCAR 2006. Lecture Notes in Computer Science, vol 4130. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dmitry Tsarkov
    • 1
  • Ian Horrocks
    • 1
  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK