DLOG 1997 | Sciweavers

31

click to vote

DLOG
1997

118views Automated Reasoning» more DLOG 1997»

Least Common Subsumption as a connective

14 years 1 months ago

Download www.inf.unibz.it

Véronique Ventos, Pierre Brézellec

claim paper

Read More »

27

click to vote

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Inspecting Concepts Graphically with Zoomable Lenses

14 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

35

click to vote

DLOG
1997

125views Automated Reasoning» more DLOG 1997»

Action Hierarchies in Description Logics

14 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

31

click to vote

DLOG
1997

104views Automated Reasoning» more DLOG 1997»

Dwebic: An Intelligent Search Engine based on Default Description Logics

14 years 1 months ago

Download www.inf.unibz.it

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...

claim paper

Read More »

28

click to vote

DLOG
1997

129views Automated Reasoning» more DLOG 1997»

Applying DL in Automatic Dialogue Interpreting

14 years 1 months ago

Download www.inf.unibz.it

Uwe Küssner

claim paper

Read More »

30

click to vote

DLOG
1997

127views Automated Reasoning» more DLOG 1997»

Classifying Description Logics

14 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

39

click to vote

DLOG
1997

107views Automated Reasoning» more DLOG 1997»

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences

14 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

28

click to vote

DLOG
1997

88views Automated Reasoning» more DLOG 1997»

Incremental Individual Reasoning in ProtoDL

14 years 1 months ago

Download www.inf.unibz.it

Alexander Borgida

claim paper

Read More »

26

click to vote

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

14 years 1 months ago

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

45

click to vote

DLOG
1997

128views Automated Reasoning» more DLOG 1997»

Experiments with the DFL Hybrid System

14 years 1 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers