1432 search results - page 232 / 287 » Ontology Translation on the Semantic Web |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
AICT
2005
IEEE
14 years 1 months ago
2005
IEEE
Learning Object repositories play a key role in the vision of reusable learning contents and learning designs, serving as providers for learning-oriented artefacts. Nevertheless, ...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
BPM
2005
Springer
14 years 1 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
IV
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...