1285 search results - page 16 / 257 » Description Logic Reasoner: System Description |
AUSAI
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
112
click to vote
DLOG
2008
15 years 2 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is ...
DLOG
2006
15 years 1 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
DLOG
1997
15 years 1 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...