1285 search results - page 92 / 257 » Description Logic Reasoner: System Description |
139
click to vote
CCIA
2005
Springer
15 years 11 months ago
2005
Springer
The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly ...
148
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
172
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
167
click to vote
TABLEAUX
2000
Springer
15 years 9 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...
134
Voted
DLOG
2003
15 years 7 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...