OWL-DL

The OWL sublanguage based on description logic.