Sciweavers

1375 search results - page 37 / 275
» SDL-2000: A Language with a Formal Semantics
Sort
View
83
Voted
IJMSO
2008
94views more  IJMSO 2008»
14 years 9 months ago
Semantic retrieval and ranking of Semantic Web documents using free-form queries
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
Vassilis Spiliopoulos, Konstantinos Kotis, George ...
CAISE
2007
Springer
15 years 1 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
84
Voted
BNCOD
2008
129views Database» more  BNCOD 2008»
14 years 11 months ago
A Semantics for a Query Language over Sensors, Streams and Relations
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
Christian Y. A. Brenninkmeijer, Ixent Galpin, Alva...
RR
2007
Springer
15 years 3 months ago
A Semantic Framework for Language Layering in WSML
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
Jos de Bruijn, Stijn Heymans
CORR
2008
Springer
155views Education» more  CORR 2008»
14 years 9 months ago
AceWiki: A Natural and Expressive Semantic Wiki
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
Tobias Kuhn