160 search results - page 13 / 32 » Reasoning about Semantic Web in Isabelle HOL |
JUCS
2010
13 years 6 months ago
2010
: It has often been argued that Web services would have a tremendous impact on the Web, as a core enabling technology supporting a highly efficient service-based economy at a globa...
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
BIOCOMP
2008
13 years 9 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
EGOV
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...