2414 search results - page 332 / 483 » Reasoning Support for OWL-E |
212
click to vote
RULEML
2004
Springer
16 years 27 days ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
182
click to vote
SACRYPT
2004
Springer
16 years 27 days ago
2004
Springer
A reasonably efficient password based key exchange (KE) protocol with provable security without random oracle was recently proposed by Katz, et al. [18] and later by Gennaro and Li...
260
click to vote
WAIM
2004
Springer
16 years 27 days ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
218
click to vote
WEBI
2004
Springer
16 years 27 days ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
198
click to vote
ICDS
2010
IEEE
16 years 26 days ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...