1587 search results - page 88 / 318 » The Semantics of Extended SOFL |
145
click to vote
DLOG
2011
14 years 3 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
169
click to vote
ESWS
2011
Springer
14 years 3 months ago
2011
Springer
Driven by the success of the Linked Open Data initiative today’s Semantic Web is best characterized as a Web of interlinked datasets. Hand in hand with this structure new challen...
111
click to vote
AAAI
2011
13 years 12 months ago
2011
Latent relational search (LRS) is a novel approach for mapping knowledge across two domains. Given a source domain knowledge concerning the Moon, “The Moon is a satellite of the...
107
click to vote
AOSD
2012
ACM
13 years 7 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
103
click to vote
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...