@InProceedings{LPvH:DL04, author = "Thorsten Liebig and Holger Pfeifer and Friedrich von Henke", title = "{Reasoning Services for an OWL Authoring Tool: An Experience Report}", year = 2004, booktitle = "Proc. of the 2004 International Workshop on Description Logics - DL2004", editor = "Volker Haarslev and Ralf Möller", volume = "104", series = "CEUR Workshop Proceedings, ISSN 1613-0073, online CEUR-WS.org/Vol-104/09Liebig-final.pdf", address = "Whistler, Canada", month = jun }