811 search results - page 14 / 163 » Integrating Formal Description Techniques |
AAAI
2008
13 years 9 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
ESWS
2005
Springer
14 years 1 months ago
2005
Springer
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
CASCON
2000
13 years 8 months ago
2000
With the explosive growth of the Internet, businesses of all sizes aim on applying networkwide solutions to their IT infrastructures, migrating their legacy business processes int...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...