@InProceedings{BeMC03,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {The DIG Description Logic Interface},
  booktitle = {Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7},
  year = 	 {2003},
}