DLP and FaCT

Abstract

DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics. FaCT… (More)
DOI: 10.1007/3-540-48754-9_3

Topics

3 Figures and Tables

Slides referencing similar topics