@inproceedings{ff8929e9fa254d81a95d092737ae4ed4,
title = "FaCT++ description logic reasoner: System description",
abstract = "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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2006.",
author = "Dmitry Tsarkov and Ian Horrocks",
year = "2006",
language = "English",
isbn = "3540371877",
volume = "4130",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer Nature",
pages = "292--297",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",
address = "United States",
note = "Third International Joint Conference on Automated Reasoning, IJCAR 2006 ; Conference date: 01-07-2006",
}