Sciweavers

2661 search results - page 73 / 533
» A Semantics for Abstraction
Sort
View
SEMWEB
2004
Springer
15 years 11 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan
SOCA
2007
IEEE
16 years 20 days ago
Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
Stefan Dietze, Alessio Gugliotta, John Domingue
LISP
2006
76views more  LISP 2006»
15 years 6 months ago
Semantics of roundoff error propagation in finite precision calculations
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
Matthieu Martel
ESWS
2007
Springer
16 years 17 days ago
A Performance and Scalability Metric for Virtual RDF Graphs
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...
Michael Hausenblas, Wolfgang Slany, Danny Ayers
SAMT
2007
Springer
138views Multimedia» more  SAMT 2007»
16 years 15 days ago
A Constraint-Based Graph Visualisation Architecture for Mobile Semantic Web Interfaces
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...
Daniel Sonntag, Philipp Heim