950 search results - page 25 / 190 » Pin-pointing concept descriptions |
119
Voted
KR
2000
Springer
15 years 5 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
110
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we pre...
96
Voted
SIBGRAPI
2007
IEEE
15 years 8 months ago
2007
IEEE
A good shape descriptor is necessary for automatically identifying landmarks on boundaries. Our method of boundary shape description is based on the notion of cscale, which is a n...
122
Voted
AAAI
2007
15 years 4 months ago
2007
We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...
102
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...