We introduce period names, a new approach for quantitative and qualitative temporal representation and reasoning of resources in the Semantic Web. Our work has been implemented into the Bremen University Semantic Translator for Enhanced Retrieval (BUSTER). This enables us to perform a query of the form concept@location in time. Motivation and requirements An important part of search in the Web ...

A composition language based on a formal semantic foundation will facilitate precise specification of glue abstractions and compositions, and will support reasoning about their behaviour. The semantic foundation, however, must address a set of requirements like encapsulation, objects as processes, components as abstractions, plug compatibility, a formal object model, and scalability. In this wo...

We compare Kripke models and a simpliied notion of Interpreted Systems as semantic structures for reasoning about knowledge. It is intuitively clear that interpreted systems represent a special class of Kripke models; the goal of this paper is to make this intuition formal, and to clarify the relationship between the two semantic structures. Our method is to deene a map from the class of system...

A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexibl...

In this talk, we are going to give a systematic view of lexical semantics of Chinese language. From macro perspective point of view, lexical conceptual meanings are classified into hierarchical semantic types and each type plays some particular semantic functions of Host, Attribute, and Value to form a semantic compositional system. Lexical senses and their compositional functions will be exemp...

In this talk, we are going to give a systematic view of lexical semantics of Chinese language. From macro perspective point of view, lexical conceptual meanings are classified into hierarchical semantic types and each type plays some particular semantic functions of Host, Attribute, and Value to form a semantic compositional system. Lexical senses and their compositional functions will be exemp...

Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. Many algorithms exist to generate all descending compositions, yet none have previously been published to generate all ascending compositions. We develop three new algorithms to generate all ascending compositions and compare these with descending composition generators fr...

obtaining samples that represent original fluid of reservoirs optimizes reservoirs management. the optimized management increases recovery. also, selecting and performing proper improved oil recovery (ior) or enhance oil recovery (eor) programs depend on collecting representative samples. achieving accurate compositions of original in-situ fluid prevents overdesigning surface facilities. repres...

A large number of datasets about music are available today in the Linked Open Data cloud, but most of them only describe music metadata. Datasets representing music notation (i.e. fine-grained musical transcriptions) are scarce, and hence musicians do not have the possibility to exploit Web technologies to their full potential. In particular, this situation hampers the musician’s process of cre...