10 search results - page 1 / 2 » The FaCT System |
TABLEAUX
1998
Springer
14 years 3 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
TABLEAUX
2000
Springer
14 years 2 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
DLOG
2003
14 years 11 days ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
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 additi...
AISC
1998
Springer
14 years 3 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...