Sciweavers

40 search results - page 6 / 8
» dlog 2003
Sort
View
DLOG
2003
13 years 7 months ago
Expressive Description Logics
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
Diego Calvanese, Giuseppe De Giacomo
DLOG
2003
13 years 7 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
DLOG
2003
13 years 7 months ago
From Description Logic Provers to Knowledge Representation Systems
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
Deborah L. McGuinness, Peter F. Patel-Schneider
DLOG
2003
13 years 7 months ago
Extensions to Description Logics
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
Franz Baader, Ralf Küsters, Frank Wolter
DLOG
2003
13 years 7 months ago
Index Selection for Embedded Control Applications using Description Logics
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
Lubomir Stanchev, Grant E. Weddell