Sciweavers

29 search results - page 5 / 6
» dlog 1996
Sort
View
DLOG
1996
13 years 8 months ago
An HTML Interface for Classic
Several significant problems exist whenapplying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collecti...
Christopher A. Welty
DLOG
1996
13 years 8 months ago
An Approach to Subsumption in a DL with Implication
Designing a DL system poses the problem of the trade-o between power of expression and complexity. In spite of their rich expressive capacity, the or and not constructors are usua...
Mathieu Latourrette, Michel Simonet
DLOG
1996
13 years 8 months ago
Using Description Logics for Consistency-based Diagnosis
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
Gerd Kamp, Holger Wache
DLOG
1996
13 years 8 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
DLOG
1996
13 years 8 months ago
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
Franz Baader, Ulrike Sattler