1285 search results - page 1 / 257 » Description Logic Reasoner: System Description |
118
click to vote
CADE
2006
Springer
16 years 3 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...
101
Voted
CADE
1999
Springer
15 years 7 months ago
1999
Springer