3244 search results - page 163 / 649 » Extensions to Description Logics |
189
click to vote
PCM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quinc...
192
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Service discovery is a critical task in serviceoriented architectures. GRIMOIRES is a UDDI-compliant service registry with rich metadata annotation capabilities. In this...
168
click to vote
ESWS
2009
Springer
16 years 29 days ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...
150
click to vote
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
150
click to vote
DLOG
2007
15 years 8 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...