1663 search results - page 6 / 333 » Description Logics for Interoperability |
CN
2007
13 years 11 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...
CADE
2001
Springer
14 years 11 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...
DLOG
2003
14 years 8 days 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...
CADE
2010
Springer
14 years 25 min ago
2010
Springer
EUSFLAT
2009
13 years 8 months ago
2009