2414 search results - page 332 / 483 » Reasoning Support for OWL-E |
194
click to vote
RULEML
2004
Springer
16 years 7 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...
166
click to vote
SACRYPT
2004
Springer
16 years 7 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...
236
click to vote
WAIM
2004
Springer
16 years 7 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...
191
click to vote
WEBI
2004
Springer
16 years 7 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...
183
click to vote
ICDS
2010
IEEE
16 years 6 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...