Sciweavers

871 search results - page 7 / 175
» The MathServe System for Semantic Web Reasoning Services
Sort
View
117
Voted
EDBT
2002
ACM
138views Database» more  EDBT 2002»
15 years 9 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
PPSWR
2004
Springer
15 years 2 months ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
IA
2006
137views more  IA 2006»
14 years 9 months ago
Automated Reasoning
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
Maria Paola Bonacina, Alberto Martelli
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 3 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
JUCS
2010
131views more  JUCS 2010»
14 years 8 months ago
Toward the Next Wave of Services: Linked Services for the Web of Data
: 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...
Carlos Pedrinaci, John Domingue