1636 search results - page 37 / 328 » Type-Theoretic Functional Semantics |
117
click to vote
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
This proposal explores a unified framework to solve Semantic Web tasks that often require similarity measures, such as RDF retrieval, ontology alignment, and semantic service match...
109
click to vote
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
ENTCS
2010
14 years 9 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
WWW
2006
ACM
16 years 16 days ago
2006
ACM
We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction be...
JLP
2006
14 years 11 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...