Sciweavers

620 search results - page 20 / 124
» Tool support for component-based semantics
Sort
View
VLDB
2008
ACM
170views Database» more  VLDB 2008»
15 years 11 months ago
A layered framework supporting personal information integration and application design for the semantic desktop
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
Isabel F. Cruz, Huiyong Xiao
105
Voted
SEMWIKI
2008
134views Data Mining» more  SEMWIKI 2008»
15 years 29 days ago
A Real Semantic Web for Mathematics Deserves a Real Semantics
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, ...
JUCS
2002
146views more  JUCS 2002»
14 years 11 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
SEMWEB
2010
Springer
14 years 6 months ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
15 years 5 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...