Welcome to my personal home page!


News

IAE/AIE2017

The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems
Find out more

About Me

Since June 2016, I am a postdoctoral research associate at the School of Computer Science & Informatics in Cardiff University . I am working in the Data and Knowledge Engineering Group with Steven Schockaert.

Before joining Cardiff University, I was a postdoctoral researcher at the LSIS-CNRS Lab in Marseille, France, where I spent 9 months from September 2015 to May 2016 working with Odile Papini . In June 2015, I received my PhD degree from Artois University, France under the supervision of Salem Benferhat in the CRIL-CNRS Lab . Before that, I did my master studies in computer science at the national engineering school of Sfax in Tunisia where I obtained my diploma in 2012.


Research interests

My research is aimed at finding robust and flexible methods for reasoning with ontologies, to overcome some of the limitations of logical deduction. Currently, I am working on the use of Bayesian inference and vector space embeddings for various forms of inductive reasoning. I am also interested in the development of methods for reasoning with existential rules and description logics under uncertainty and/or inconsistency, for belief merging/revision and for query answering.


Research Projects

FLEXILOG : Formal lexically informed logics for searching the web.
Find out more

AniAge : High Dimensional Heterogeneous Data based Animation Techniques for Southeast Asian Intangible Cultural Heritage Digital Content.
Find out more

ASPIQ : ASP technologIes for Querying large scale multisource heterogeneous web information.
Find out more

Journal Articles

3 - Telli Abdelmoutia, Salem Benferhat , Zied Bouraoui , Karim Tabia and Mustapha Bourahla:
Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair
Künstliche Intelligenz, (KI 2016).
link

2 - Salem Benferhat and Zied Bouraoui:
Min-based possibilistic DL-Lite.
Journal of Logic and Computation, (JLC 2015).
link

1 - Salem Benferhat, Zied Bouraoui, Odile Papini, and Eric Würbel:
Prioritized Assertional-Based Removed Sets Revision of DL-Lite Belief Bases.
Annals of Mathematics and Artificial Intelligence, (AMAI 2015).
link

Conference Papers

16 - Zied Bouraoui, Shoaib Jameel and Steven Schockaert:
Inductive Reasoning about Ontologies Using Conceptual Spaces.
Proceedings of the thirty-first AAAI Conference on Artificial Intelligence (AAAI 2017).
pdf

15 - Salem Benferhat, Zied Bouraoui, Ma Thi Chau, Sylvain Lagrue and Julien Rossit:
A Polynomial Algorithm For Merging Lightweight Ontologies In Possibility Theory Under Incommensurability Assumption.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART 2017).
pdf

14 - Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia:
Non-Objection Inference for Inconsistency-Tolerant Query Answering.
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016).
pdf

13 - Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia:
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.
Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) .
pdf

12 - Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia.
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis.
Proceedings of Logics in Artificial Intelligence - 15th European Conference (JELIA 2016).
pdf

11 - Salem Benferhat, Zied Bouraoui, Huma Chaudhry, Karim Tabia, Mohd Shafry Bin Mohd Rahim Fc and Telli Abdelmoutia
Characterizing Non-Defeated Repairs in Inconsistent Lightweight Ontologies.
Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS 2016).
pdf.

10 - Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Eric Würbel:
\exists -ASP for Computing Repairs with Existential Ontologies.
Proceedings of Scalable Uncertainty Management - 10th International Conference (SUM 2016).
pdf

9 - Salem Benferhat, Zied Bouraoui, Karim Tabia:
How to select one preferred assertional-based repair from inconsistent and uncertain Description Logic knowledge bases?.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015).
pdf

8 - Salem Benferhat, Zied Bouraoui, Karim Tabia:
Non defeated-based repair in possibilistic DL-Lite knowledge bases.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015).
pdf

7 - Salem Benferhat, Zied Bouraoui, Odile Papini, and Eric Würbel:
A prioritized assertional-based revision for dl-lite knowledge bases.
Proceedings of Logics in Artificial Intelligence - 14th European Conference (JELIA 2014).
pdf

6 - Salem Benferhat, Zied Bouraoui, and Karim Tabia:
On the revision of prioritized DL-Lite knowledge bases.
Proceedings of Scalable Uncertainty Management - 8th International Conference (SUM 2014).
pdf

5 - Salem Benferhat, Zied Bouraoui, Sylvain Lagrue, and Julien Rossit:
Min-based assertional merging approach for prioritized DL-Lite knowledge bases
Proceedings of Scalable Uncertainty Management - 8th International Conference (SUM 2014).
pdf

4 - Salem Benferhat, Zied Bouraoui, Odile Papini, and Eric Würbel:
Assertionalbased prioritized removed sets revision of dl-liter knowledge bases.
Proceddings of the 21st European Conference on Artificial Intelligence (ECAI 2014).
pdf

3 - Salem Benferhat, Zied Bouraoui, Odile Papini and Eric Würbel:
Assertional-based removed set revision of DL-Lite belief bases.
Proceddings of the International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014).
pdf

2 - Salem Benferhat and Zied Bouraoui:
Possibilistic DL-Lite.
Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM 2013).
pdf

1 - Salem Benferhat, Zied Bouraoui and Zied Loukil:
Min-based fusion of possibilistic DL-Lite knowledge bases.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (WI 2013).
pdf

Workshops

1 - Salem Benferhat, Zied Bouraoui, Sylvain Lagrue, Julien Rossit:
Merging Incommensurable Possibilistic DL-Lite Assertional Bases.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology (JOWO@IJCAI 2015) .
pdf

Other Conference Papers

Salem Benferhat, Zied Bouraoui, Odile Papini and Eric Würbel:
Révision par R-ensembles de bases de croyances en DL-Lite-R.
Congrès Francophone de Reconnaissance des Formes et d’intelligence Artificielle (RFIA 2014) .
pdf

Zied Bouraoui, Salem Benferhat, Karim Tabia.
Révision des bases de connaissances DL-Lite possibiliste.
23ème rencontres francophones sur la Logique Floue et ses Applications (LFA 2014) .
link

My DBLP

Polytech Marseille - Aix-Marseille University - France (2015 - 2016)

  • Semantic Web Engeneering: lectures, tutorials and Lab sessions for 3rd year computer science engineering students.
  • Intoduction to Semantic Web: lectures, tutorials and Lab sessions for 2nd year computer science engineering students.
  • Formal logic: lectures, tutorials and Lab sessions for 1st year computer science engineering students.

Faculty of Science Jean Perrin - Artois University - France (2012 - 2015)

  • Softwere engeniring (GL1): lectures, tutorials and Lab sessions for 1st year computer science master students.
  • Softwere engeniring (GL2): lectures, tutorials and Lab sessions for 1st year computer science master students.
  • Computer programming with Python language: tutorials for 1st year computer science bachelor's students.
  • Web technologies: Lab sessions for Bachelor's 1st year students.

IUT Lens - Artois University - France (2014 - 2015)

  • Web technologies: tutorials and Lab sessions for 1st year computer science DUT (University Technology Diploma) students.
  • Operating Systems: tutorials and Lab sessions for 1st year computer science DUT students.
Be back soon...