1177 search results - page 14 / 236 » A Theory of Role Composition |
CADE
2010
Springer
13 years 12 months ago
2010
Springer
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
ATAL
2008
Springer
14 years 24 days ago
2008
Springer
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
EDOC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
LICS
2000
IEEE
14 years 3 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...