Circumscriptive Description Logics

From ONTOLORE

Jump to: navigation, search

A recent non-monotonic extension to the description logic formalism is by McCarthy's circumscription. In circumscriptive DL, default and local closed-world reasoning can be realised through the explicit minimisation of the extension of selected predicates.

We are currently developing a tableaux-based decision procedure for reasoning in circumscriptive DL.

Publications

Navigation

Personal tools
Navigation