2236 search results - page 378 / 448 » An Ontology for Semantic Web Services |
191
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
157
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
The objective of the Semantic Web is to make the Web amenable to computer processing, and hence to improve the value that humans can obtain from it. One of the oft-touted user bene...
262
click to vote
DOCENG
2011
ACM
14 years 6 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
161
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
198
click to vote
ASP
2005
Springer
15 years 12 months 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 ...