19 search results - page 4 / 4 » Exploiting Pseudo Models for TBox and ABox Reasoning in Expr... |
DLOG
2000
13 years 6 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
2004
13 years 6 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
OTM
2005
Springer
13 years 10 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
AIL
2007
13 years 5 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...