the immense extent and richness of arabic lexical resources which bring about a great semantic extension, emerge in different ways, one of which is sobriquet. arabs used “alam” (proper noun) in three different forms, namely sobriquet, nickname and noun. in certain cases and due to rhetoric and semantic reasons, arabs used sobriquet instead of noun or nickname. gradually, this application became...

Abstract Citation-based Information Retrieval (IR) methods for scientific documents have proven effective IR applications, such as Plagiarism Detection or Literature Recommender Systems in academic disciplines that use many references. In science, technology, engineering, and mathematics, researchers often employ mathematical concepts through formula notation to refer prior knowledge. Our long-...

In general, Policy-based approaches play an important role in the management of web services, for instance, in the choice of semantic web service and quality of services (QoS) in particular. The present research work illustrates a procedure for the web service selection among functionality similar web services based on WS-Policy semantic matching. In this study, the procedure of WS-Policy publi...

The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reducing the complexity of formula evaluation at run-time. This paper proposes such a simplification method for large and semantically rich knowledge bases. Structural, temporal and assertional knowledge in the form of deduc...

This paper presents a proof of Stirling's formula using Haar wavelets and some properties of Hilbert space, such as Parseval's identity. The present paper shows a connection between Haar wavelets and certain sequences.

Akash Deshpande and Pravin Varaiya [email protected], [email protected] Department of Electrical Engineering and Computer Sciences University of California at Berkeley, Berkeley, California 94720 Abstract We describe the propositional linear temporal logic (PLTL) formalism and introduce the notions of observations, actions and control in PLTL. We develop the 0-lag and 0-lead possi...

We prove two main Goldblatt-Thomason-style Theorems for graded modal language in Kripke semantics: full Goldblatt-Thomason Theorem for elementary classes and relative Goldblatt-Thomason Theorem within the class of finite transitive frames. Two different semantic views on GML allow us to prove these results: neighborhood semantics and graph semantics. By neighborhood semantic view, we can define...

In this paper we address the relationship between questions as grammatical and semantic entities and questions as pragmatic entities arguing that a contextually-conditioned association holds between the former, as interrogative formulae, and the latter, as particular types of speech acts (namely offers and requests). This argument is supported by evidence from a corpus of spontaneous Cypriot Gr...