@inproceedings{Horr05c, title = "OWL: A Description Logic Based Ontology Language.", author = "Ian Horrocks", year = "2005", booktitle = "Proc.\ of Int.\ Conf.\ on Principles and Practice of Constraint Programming (CP 2005)", isbn = "3-540-29238-1", pages = "5-8", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "download/2005/Horr05c.pdf", volume = "3709", }