Jocelyne Faddoul

According to our database, Jocelyne Faddoul authored at least 8 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Handling Non-determinism with Description Logics using a Fork/Join Approach.

Jocelyne Faddoul, Wendy MacCaull

Int. J. Netw. Comput., 2015

2014

A Parallel Framework for Handling Non-determinism with Expressive Description Logics.

Jocelyne Faddoul, Wendy MacCaull

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Parallelizing Algebraic Reasoning for the Description Logic SHOQ.

Jocelyne Faddoul, Wendy MacCaull

Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

2010

Algebraic tableau reasoning for the description logic SHOQ.

Jocelyne Faddoul, Volker Haarslev

J. Appl. Log., 2010

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.

Jocelyne Faddoul, Volker Haarslev

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Algebraic Tableau Algorithm for ALCOQ.

Jocelyne Faddoul, Volker Haarslev, Ralf Möller

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].

Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller

Proceedings of the ECAI 2008, 2008

A Hybrid Tableau Algorithm for ALCQ.

Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008