The FaCT system (1998)
| Venue: | In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’98), volume 1397 in Lecture Notes in Artificial Intelligence |
| Citations: | 129 - 13 self |
BibTeX
@INPROCEEDINGS{Horrocks98thefact,
author = {Ian Horrocks},
title = {The FaCT system},
booktitle = {In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’98), volume 1397 in Lecture Notes in Artificial Intelligence},
year = {1998},
pages = {307--312},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. FaCT is a Description Logic classifier which has been implemented as a test-bed for a highly optimised tableaux satisfiability (subsumption) testing algorithm. The correspondence between modal and description logics also allows FaCT to be used as a theorem prover for the propositional modal logics K, KT, K4 and S4. Empirical tests have demonstrated the effectiveness of the optimised implementation and, in particular, of the dependency directed backtracking optimisation. 1
