1317 search results - page 14 / 264 » Fusions of Description Logics and Abstract Description Syste... |
CADE
2008
Springer
13 years 10 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
DLOG
2009
13 years 6 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
TABLEAUX
1999
Springer
14 years 21 days 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.
CADE
2008
Springer
14 years 8 months ago
2008
Springer
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...