We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the proposit ional modal logic K ( m ) To demonstrate the u t i l i t y of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a simple proof that subsumption in ACC is PSPACE-complete, replacing the original six-page ...

Extensive research efforts in the area of Information Retrieval were concentrated on developing retrieval systems related to Arabic language for the different natural language and information retrieval methodologies. However, little effort was conducted in those areas for knowledge extraction from the Holly Muslim book, the Quran. In this paper, we present an approach (MQVC) for retrieving the ...

quran is a book of guidance and one can achieve guidance with reference to it. but as qur'an is mostly concerned with generalities and details is left to the prophet (pbuh), to understanding quran it is essential to refer to the hadith of the prophet. but because of unlimited depth of qur'an, the prophet (pbuh) could not explain all the hidden meanings of its verses, so he saw it nece...

the problem states the prophet ( pbuh ) during the descent of the quran and revelation of important issues is in the field of quran because the book is narrative and interpretive communities numerous traditions that are sometimes astfazh reported.sunni dominant narratives have reported and all of them are divided into six categories :1 fear the prophet ( pbuh ) during the descent of the quran 2...

The Quranic Arabic Dependency Treebank (QADT) is part of the Quranic Arabic Corpus (http://corpus.quran.com), an online linguistic resource organized by the University of Leeds, and developed through online collaborative annotation. The website has become a popular study resource for Arabic and the Quran, and is now used by over 1,500 researchers and students daily. This paper presents the tree...

quran quds is a valuable text of persian language. in addition to religious benefits, this translation of quran has many linguistic advantages. some of the words of this book are old words which are rarely used in other texts. others are certainly dialectical and are not used in other texts. this article tries to exemplify some of these words which are common get in the dialects of south khoras...

In view of the importance of this study comprehensive detailed data was collected from Holy Quran, Ahadith`s books and books written on the Islamic medicines. Present findings confined to 10 fruit plant species belonging to 10 genera of 9 families. The plant species are: Citrullus lanatus (Thunb.) Mats. & Nakai, Cucumis sativus L., Cydonia oblonga Mill. Ficus carica L., Olea europea L., Phoenix...

undoubtedly the holy quran is a unique book in arabic language, eloquently and rhetorically. its words are a pure collection of arabic literature. all poets, jurisprudents and philosophers believe it as a master art. it is a permanent treasure of arabic and for it many sciences have been generated. it kept the arabic language active and dynamic during ups and downs of the history. it also conta...