Description logic reasoning using the PTTP approach

Zsolt Nagy, Gergely Lukácsy, Péter Szeredi. Description logic reasoning using the PTTP approach. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

Authors

Zsolt Nagy

This author has not been identified. Look up 'Zsolt Nagy' in Google

Gergely Lukácsy

This author has not been identified. Look up 'Gergely Lukácsy' in Google

Péter Szeredi

This author has not been identified. Look up 'Péter Szeredi' in Google