Sciweavers

DLOG
1997
13 years 5 months ago
Least Common Subsumption as a connective
Véronique Ventos, Pierre Brézellec
DLOG
1997
13 years 5 months ago
Inspecting Concepts Graphically with Zoomable Lenses
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...
Gary Ng, Carole A. Goble, Adrian West
DLOG
1997
13 years 5 months ago
Action Hierarchies in Description Logics
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...
Thorsten Liebig, Dietmar Rösner
DLOG
1997
13 years 5 months ago
Dwebic: An Intelligent Search Engine based on Default Description Logics
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...
Patrick Lambrix, Nahid Shahmehri, Niclas Wahll&oum...
DLOG
1997
13 years 5 months ago
Classifying Description Logics
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...
Natasha Kurtonina, Maarten de Rijke
DLOG
1997
13 years 5 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
DLOG
1997
13 years 5 months ago
Discovering description logic assertions from database schemes
Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...
DLOG
1997
13 years 5 months ago
Experiments with the DFL Hybrid System
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...
Mira Balaban, Adi Eyal