Concordia University

http://www.concordia.ca/content/shared/en/news/encs/computer-science/2018/04/12/doctoral-seminar-razieh-mehri-dehnavi.html

notice

April 12 - Doctoral Seminar: Razieh Mehri-Dehnavi

March 28, 2018

Speaker: Razieh Mehri-Dehnavi

Supervisor: Dr. V. Haarslev

Supervisory Committee: Drs. F. Khendek, J. Rilling, R. Witte

Title: Learning the Rule Ordering for JFact Reasoner

Date: Thursday, April 12  2018

Time: 11:40 a.m.

Place: EV 3.309

ABSTRACT

Description logic (DL) reasoners use different optimization techniques. These techniques help the reasoners to improve their run-time performance. FaCT++ introduces a ToDo list mechanism which is a substitute for top-down approach in tableau-based systems. ToDo approach controls the order of applying rule types by giving them priority. We believe that learning the order of applying these rules can have a great impact on the reasoning speed.




Back to top

© Concordia University