Sciweavers

2694 search results - page 64 / 539
» A Description Logic of Change
Sort
View
DLOG
2003
13 years 10 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 10 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
AAAI
1997
13 years 10 months ago
Representing Sequences in Description Logics
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
Haym Hirsh, Daniel Kudenko
DLOG
1997
13 years 10 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...
KI
2006
Springer
13 years 9 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...