Browsing by Author "Al-otaibi, Jameela"

Now showing items 1-6 of 6

    • ConProve: A conceptual prover system 

      Elloumi, Samir; Jaoua, Ali; Boulifa, Bilel; Saleh, Mohammad; Al Otaibi, Jameela ( IEEE , 2014 , Conference Paper)
      ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ...

    • Inconsistencies Detection In Islamic Texts Of Law Interpretations ["fatawas"] 

      Al-otaibi, Jameela; Elloumi, Samir; Hassaine, Abdelaali; Jaoua, Ali Mohamed ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)
      Islamic web content offers a very convenient way for people to learn more about Islam religion and the correct practices. For instance, via these web sites they could ask for fatwas (Islamic advisory opinion) with more ...

    • Inconsistency detection in Islamic advisory opinions using multilevel text categorization 

      Al Otaibi, Jameela; Hassaine, Abdelali; Safi, Zeineb; Jaoua, Ali ( American Scientific Publishers , 2017 , Article)
      Inconsistency detection is a large research area that has many applications. In the scope of Islamic content mining, this topic is of a particular interest because of the continuously increasing content and the need of ...

    • Inference engine based on closure and join operators over Truth Table Binary Relations 

      Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; ... more authors ( Elsevier Inc. , 2014 , Article)
      Abstract We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered ...

    • Named Entity Disambiguation using Hierarchical Text Categorization 

      Hassaine, Abdelaali; Al Otaibi, Jameela; Jaoua, Ali ( Hamad bin Khalifa University Press (HBKU Press) , 2016 , Conference Paper)
      Named entity extraction is an important step in natural language processing. It aims at finding the entities which are present in text such as organizations, places or persons. Named entities extraction is of a paramount ...

    • Using conceptual reasoning for inconsistencies detection in islamic advisory opinion (Fatwas) 

      Al Otaibi, Jameela; Elloumi, Samir; Jaoua, Ali; Hassaine, Abdelali ( IEEE Computer Society , 2016 , Conference Paper)
      The Islamic websites play an important role in disseminating Islamic knowledge and information about Islamic ruling. Their number and the content they provide is continuously increasing which require in-depth investigations ...