1285 search results - page 1 / 257 » Description Logic Reasoner: System Description |
CADE
2006
Springer
14 years 4 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...
CADE
2006
Springer
13 years 8 months ago
2006
Springer
CADE
1998
Springer
13 years 8 months ago
1998
Springer
CADE
2002
Springer
14 years 4 months ago
2002
Springer
CADE
1999
Springer
13 years 8 months ago
1999
Springer