DLOG
2000
14 years 1 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
DLOG
2000
14 years 1 months ago
2000
DLOG
2000
14 years 1 months ago
2000
DLOG
2000
14 years 1 months 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
14 years 1 months 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...
DLOG
2000
14 years 1 months 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
14 years 1 months 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
14 years 1 months ago
2000
DLOG
2000
14 years 1 months ago
2000
