Ever since the dawn of human life on this planet, Man has always tried to understand Nature, his own place in the scheme of Creation and the purpose of Life itself. In this quest for Truth, spanning many centuries and diverse civilizations, organized religion has shaped human life and, to a large extent, has determined the course of history. While some religions have been based on written text,...

In this paper, we analyse the Quran description of phenomena linked to the evolution of the universe in the light of our present knowledge in this domain. In fact, according to the Quranic text, the verses concerning Astronomy may be classified into two categories: the verses related to the solar system and those concerning the universe in general. For the first category, the Quran specifies th...

Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allows for conjunction and value restrictions only, deciding subsumption in the presence of terminological cycles is a PSPACE-complete problem. This paper investigates subsumption in the presence of terminological cycles fo...

Checking language inclusion between two nondeterministic Büchi automata A and B is computationally hard (PSPACE-complete). However, several approaches which are efficient in many practical cases have been proposed. We build on one of these, which is known as the Ramsey-based approach. It has recently been shown that the basic Ramsey-based approach can be drastically optimized by using powerful ...

Computational tractability has been a major concern in the area of termi-nological knowledge representation and reasoning. However, all analyses of the computational complexity of terminological reasoning are based on the hidden assumption that subsumption in terminologies reduces to subsumption of concept descriptions without a signiicant increase in computational complexity. In this paper it ...

There are billions of believers of various religions in the world and Islam is the second largest religion having 1.6 billion followers. The primary written sources of religious beliefs and practices of Muslims are the Quran and the Hadith (saying and practices of their prophet Muhammad Peace Be Upon Him). Written text of the Quran and the Hadith books is of manageable size and hence state of t...