DLOG
1997
14 years 27 days ago
1997
DLOG
1997
14 years 27 days ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
DLOG
1997
14 years 27 days 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...
DLOG
1997
14 years 27 days ago
1997
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...
DLOG
1997
14 years 27 days ago
1997
DLOG
1997
14 years 27 days ago
1997
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness...
DLOG
1997
14 years 27 days ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
DLOG
1997
14 years 27 days ago
1997
DLOG
1997
14 years 27 days ago
1997
DLOG
1997
14 years 27 days ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...