1544 search results - page 27 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DLOG
2009
13 years 5 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...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
DLOG
2007
13 years 9 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
DLOG
2009
13 years 5 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
DLOG
1997
13 years 8 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...