665 search results - page 105 / 133 » A proposal for an owl rules language |
146
click to vote
JSS
2010
15 years 26 days ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
172
click to vote
ICLP
2007
Springer
16 years 7 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
159
click to vote
ICOST
2007
Springer
16 years 7 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
162
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
191
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...