441 search results - page 14 / 89 » Automated Benchmarking of Description Logic Reasoners |
CADE
2001
Springer
14 years 10 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
CADE
2006
Springer
14 years 10 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...
ECSQARU
2007
Springer
14 years 3 months ago
2007
Springer
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
RR
2007
Springer
14 years 3 months ago
2007
Springer
