Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes

Florian Fuchs, Michael Berger. Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

Authors

Florian Fuchs

This author has not been identified. Look up 'Florian Fuchs' in Google

Michael Berger

This author has not been identified. Look up 'Michael Berger' in Google