Rewriting rules intoSROIQ axioms (2008)

by F Gasse, U Sattler, V Haarslev
Venue:In Poster at 21st Int. Workshop on Description Logics (DL-08