We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and PSpace-complete w.r.t. acyclic TBoxes. This matches the known complexity bounds for reasoning in crisp ALCI.

Quran and Hadith are the primary resources of guidance for mankind which complement each other to develop a sound understanding Islam. A great number Muslim scholars have devoted their lives preservation Prophet's hadith (narrations) set principles distinguish between strong weak hadith. Imam Daraqutni is one those prominent personalities who had complete expertise in sciences, particularly fie...

english abstracts / 11 ibn anbari s principles and style in the book al-ensaf fi masael al-khelaf eisa motaghi zadeh * majid mohammadi ** abstract after combing arabic language with non arabic and expanding the issue of diction, linguists tried to preserve the quran language, consequently they decided to legislate some special rules for facilitating the teaching of arabic grammar. very soon, su...

Recently, Question Answering (QA) has been one of the main focus of natural language processing research. However, Arabic Question Answering is still not in the mainstream. The challenges of the Arabic language and the lack of resources have made it difficult to provide Arabic QA systems with high accuracy. While low accuracies may be accepted for general purpose systems, it is critical in some...

the main condition for the realization of prophethood is the infallibility (ismah) of the chosen person; this idea is considered necessary in the viewpoint of the holy quran too. in proving the infallibility of prophets, in addition to rational (‘qli) reasons, narrative (naqli) reasons are also used. the subsequent matter in the field of infallibility is investigating the view of religious teac...

Recently, there has been a great interest in Islamic software that try to harness computer to serve the religion. This brought about some applications and programs for the Holy Quran and its sciences, Hadith " ثيدحلا" (Prophet’s Tradition) and its methodology, Fiqh "ه قفلا" (Islamic jurisdiction), and Islamic law in general. However, these computer-programs, especially those developed for the s...

In this paper we describe the Semantic Quran dataset, a multilingual RDF representation of translations of the Quran. The dataset was created by integrating data from two different semi-structured sources and aligned to an ontology designed to represent multilingual data from sources with a hierarchical structure. The resulting RDF data encompasses 43 different languages which belong to the mos...