RDL: Enhancing Description Logic with Rules

Speaker: Yi Zhou

Affiliation: University of Western Sydney

Time: Monday 18/03/2013 from 14:00 to 15:00

Venue: Access Grid UWS. Presented from Penrith (Y239), accessible from Parramatta (EB.1.32) and Campbelltown (26.1.50).

Abstract: We propose Rule Description Logic (RDL) for enhancing
Description Logic (DL) with nonmonotonic recursive rules, like those in Answer Set Programming (ASP). We define the world view semantics for RDL and show that it is faithful with respect to both DL and ASP. More importantly, we show that the full language of RDL is decidable.

Biography: To come.