We give a method of proving termination of Klop’s higher-order rewriting format, combinatory reduction system (CRS). Our method called higher-order semantic labelling is an extension of Zantema’s semantic labelling for first-order term rewriting systems. We systematically define the labelling by using the complete algebraic semantics of CRS.

Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited amount of automation. Research efforts in Semantic Web Services, such as WSMO, try to overcome this major deficiency by providing a complete semantic description for Web Services and their related aspects. In this paper we present a logical framework which exploits such fo...

The problem that XML formally governs syntax only but not semantics has been recognized as a serious barrier for XML-Based data integration and the extension of current Web to the semantic Web. This paper presents expression mode of XML implicit semantics, so that XML document authors may express the semantic information more clearly.

By integrating syntactic and semantic processing, our parser (LAZY) is able to deterministically parse sentences which syntactically appear to be garden path sentences although native speakers do not need conscious reanalysis to understand them. LAZY comprises an extension to conceptual analysis which yields an explicit representation of syntactic information and a flexible interaction between ...

Although various dynamic or temporal logics have been proposed to verify quantum protocols and systems, these two viewpoints not studied comprehensively enough. We propose Linear Temporal Quantum Logic (LTQL), a linear extension of logic with implication, extend it Dynamic (DLTQL). This has operators express transitions by unitary (quantum gates) ones those projections (projective measurement)....

Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the potential of the social process of assigning, finding, and relating symbols in collaborative tagging scenarios is currently underexploited and can be increased by extending the meta-model and using this extension to sup...