@inproceedings{MoHS07b, title = "Adding Integrity Constraints to {OWL}", author = "Boris Motik and Ian Horrocks and Ulrike Sattler", year = "2007", booktitle = "Proc.\ of the Third Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)", number = "258", series = "CEUR (\url{http://ceur-ws.org/})", url = "download/2007/MoHS07b.pdf", }