Second-Order Description Logics: Semantics, Motivation, and a Calculus

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone. Second-Order Description Logics: Semantics, Motivation, and a Calculus. In Volker Haarslev, David Toman, Grant E. Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. Volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Authors

Simona Colucci

This author has not been identified. Look up 'Simona Colucci' in Google

Tommaso Di Noia

This author has not been identified. Look up 'Tommaso Di Noia' in Google

Eugenio Di Sciascio

This author has not been identified. Look up 'Eugenio Di Sciascio' in Google

Francesco M. Donini

This author has not been identified. Look up 'Francesco M. Donini' in Google

Azzurra Ragone

This author has not been identified. Look up 'Azzurra Ragone' in Google