1317 search results - page 14 / 264 » Fusions of Description Logics and Abstract Description Syste... |
111
Voted
CADE
2008
Springer
15 years 1 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
14 years 9 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
15 years 3 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.
CADE
2008
Springer
15 years 12 months ago
2008
Springer
81
Voted
ICWE
2004
Springer
15 years 5 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...