Υποσύνολο της OWL που περιορίζεται στην διασφάλιση της αποφασισιμότητας. Όλα τα δομικά στοιχεία επιτρέπονται αλλά με συγκεκριμένους περιορισμους στην χρήση τους.
