385 search results - page 69 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
The emergent Semantic Web, despite being in its infancy, has already received a lot of attention from academia and industry. This resulted in an abundance of prototype systems and ...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
EJIS
2007
13 years 8 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
DLOG
2003
13 years 10 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...