23 search results - page 1 / 5 » SHIN ABox Reduction |
DLOG
2006
13 years 6 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
DLOG
2003
13 years 6 months ago
2003
We consider description logic knowledge bases in which the ABox can contain Boolean combinations of traditional ABox assertions (represented as clauses or sequents). A linear redu...
AAAI
2000
13 years 6 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
ICIP
2000
IEEE
14 years 6 months ago
2000
IEEE
WSC
2007
13 years 7 months ago
2007
It is well known that trivariate reduction — a method to generate two dependent random variables from three independent random variables — can be used to generate Poisson rand...