Sciweavers

456 search results - page 20 / 92
» Semantic Foundations of Jade
Sort
View
MDM
2007
Springer
160views Communications» more  MDM 2007»
14 years 2 months ago
A Framework and Tool for Personalisation of Mobile Services Using Semantic Web
This paper proposes a framework for personalisation of mobile services called Web Services Personalisation Framework (WSPF). The framework is based on the Service-Oriented Archite...
Ivar Jørstad, Do Van Thanh
ESWS
2007
Springer
14 years 18 days ago
SALT - Semantically Annotated LaTeX for Scientific Publications
Machine-understandable data constitutes the foundation for the Semantic Web. This paper presents a viable way for authoring and annotating Semantic Documents on the desktop. In our...
Tudor Groza, Siegfried Handschuh, Knud Möller...
AO
2008
81views more  AO 2008»
13 years 8 months ago
Institutionalising ontology-based semantic integration
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
W. Marco Schorlemmer, Yannis Kalfoglou
JUCS
2002
146views more  JUCS 2002»
13 years 8 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
ICLP
2005
Springer
14 years 2 months ago
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
Emad Saad, Enrico Pontelli