DLP and FaCT


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


3 Figures and Tables

Slides referencing similar topics