Sciweavers

456 search results - page 20 / 92
» Semantic Foundations of Jade
Sort
View
MDM
2007
Springer
160views Communications» more  MDM 2007»
15 years 6 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
15 years 3 months 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»
14 years 12 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»
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
ICLP
2005
Springer
15 years 5 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