1663 search results - page 6 / 333 » Description Logics for Interoperability |
156
click to vote
CN
2007
15 years 3 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...
126
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
131
click to vote
DLOG
2003
15 years 4 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
