3588 search results - page 568 / 718 » Semantic web in eHealth |
173
click to vote
IEEESCC
2006
IEEE
16 years 15 days 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 ...
203
click to vote
ASP
2005
Springer
16 years 22 hour ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
163
click to vote
CADE
2005
Springer
16 years 19 hour 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...
173
click to vote
CAISE
2005
Springer
16 years 19 hour ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
183
click to vote
ESWS
2005
Springer
16 years 9 hour ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...