DLOG
2000
15 years 7 days ago
2000
95
Voted
DLOG
2000
15 years 7 days ago
2000
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
DLOG
2000
15 years 7 days ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
103
click to vote
DLOG
2000
15 years 7 days ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
DLOG
2000
15 years 7 days ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
DLOG
2000
15 years 7 days ago
2000
DLOG
2000
15 years 7 days ago
2000
97
Voted
DLOG
1998
15 years 7 days ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
97
Voted
DLOG
1998
15 years 7 days ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
92
Voted
DLOG
1998
15 years 7 days ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...