DL^N: a utilitarian nonmonotonic description logic
VCLA and WPI will host a talk by Piero Bonatti on September 22, 2015.
|DATE:||Tuesday, September 22, 2015|
|VENUE:||Seminar room Goedel, Favoritenstraße 9-11, 1040 Vienna (ground floor, access through courtyard)|
DL^N is a recently introduced nonmonotonic description logic designed to support ontology authoring by means of a defeasible form of inheritance that admits exceptions/overriding. The utilitarian approach underlying DL^N gave the logic an interesting set of properties, very appealing in major reference applications such as biomedical ontology authoring and semantic web policies. Moreover, DL^N preserves the tractability of low-complexity description logics such as EL and DL-lite. This seminar presents DL^N, its logical properties (including some yet unpublished results), optimization techniques for DL^N inference, and an experimental scalability evaluation, showing that DL^N engines can process effectively knowledge bases with 10^5 axioms and more.