Sciweavers

2570 search results - page 250 / 514
» The Semantic Web And Its Languages
Sort
View
ICDE
2012
IEEE
269views Database» more  ICDE 2012»
13 years 9 months ago
A Deep Embedding of Queries into Ruby
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
Torsten Grust, Manuel Mayr
JAIR
2012
211views Hardware» more  JAIR 2012»
13 years 9 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
WWW
2008
ACM
16 years 7 months ago
Wiki content templating
Wiki content templating enables reuse of content structures among wiki pages. In this paper we present a thorough study of this widespread feature, showing how its two state of th...
Angelo Di Iorio, Fabio Vitali, Stefano Zacchiroli
FASE
2004
Springer
15 years 10 months ago
An Operational Semantics for Stateflow
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
Grégoire Hamon, John M. Rushby
EKAW
2008
Springer
15 years 8 months ago
On the Influence of Description Logics Ontologies on Conceptual Similarity
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
Claudia d'Amato, Steffen Staab, Nicola Fanizzi