4135 search results - page 177 / 827 » Application Modeling for the Semantic Web |
130
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
136
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents an ontology-based approach for web querying, using semantic metadata. We propose a query language based on ontologies and emphasize its ability to express appro...
150
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
125
click to vote
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
161
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...