875 search results - page 83 / 175 » Syndication on the Web using a description logic approach |
155
click to vote
ESWS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
136
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
115
click to vote
ICWS
2007
IEEE
15 years 3 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
108
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...