One of great Shiite scholar, Mullah Ahmad Naraghi, alias Safaee has left a book called Taghdis which has indisputable similarities to Mathnavi Maanavi in form and meaning. This book is affected by Mathnavi Maanavi written by Rumi and considerable effort has been made to compare it to Mathnavi Maanaviin matter of composition, commencement and completion of speech and also semantic goal. In this ...

We describe here a method for discovering imitative textual allusions in a large collection of Classical Latin poetry. In translating the logic of literary allusion into computational terms, we include not only traditional IR variables such as token similarity and ngrams, but also incorporate a comparison of syntactic structure as well. This provides a more robust search method for Classical la...

one may daresay that the foremost issue and problem in translation is to observe “translation equivalence principle” so that the translated text to be the equivalent and all-out mirror against the original text. to obtain this goal, it is perfectly necessary to pay attention to semantic different layers, ranged from referential meaning to empirical, interactive, implicit, meanings, semantic uni...

The paper presents a proof-theoretic semantics for sentences headed by transitive verbs allowing an unexpressed (implicit) object. Such sentences are shown to have the same (proof-theoretic) meaning as the same sentences with an explicit existentially quantified object something. This semantics is contrasted with a model-theoretic semantics based on truthconditions in models. The models used co...

Once Hilbert asserted that the axioms of a theory ‘define‘ the primitive concepts of its language ‘implicitly’. Thus when someone inquires about the meaning of the set-concept, the standard response reads that axiomatic set-theory defines it implicitly and that is the end of it. But can we explain this assertion in a manner that meets minimum standards of philosophical scrutiny? Is Jané (2001) ...

Consideration of the question of meaning in the framework of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about meaning in a computational setting has been to use knowledge representation systems that are either based on rst-order logic or that use mechanisms whose formal justiications are to be provided af...

Make information on the Web machine-processable Develop a vocabulary of a domain—an ontology Annotate information by ontology terms BENEFITS Implicit meaning in the data is made explicit Formal semantics of the ontology language can be used to explicate implicit information