2 search results - page 1 / 1 » Applying an ALC ABox Consistency Tester to Modal Logic SAT P... |
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...