Sciweavers

1176 search results - page 164 / 236
» Description Logics as Ontology Languages for the Semantic We...
Sort
View
WIRTSCHAFTSINFORMATI
2007
13 years 9 months ago
An Ontology Framework for Semantic Business Process Management
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
Martin Hepp, Dumitru Roman
ESWS
2007
Springer
14 years 2 months ago
Towards a Semantic Wiki for Science
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
Christoph Lange 0002
AO
2006
91views more  AO 2006»
13 years 8 months ago
Towards a standard taxonomy of artifact functions
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
Pawel Garbacz
SIGPLAN
2002
13 years 7 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
HICSS
2008
IEEE
172views Biometrics» more  HICSS 2008»
14 years 2 months ago
Semantic Web Services Monitoring: An OWL-S Based Approach
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
Roman Vaculín, Katia P. Sycara