Query: To what system of logic do OWL ontologies belong to ?
Source: Protege5NewOWLPizzaTutorialV3.pdf
Relevant passages:
OWL ontologies are an implementation of Description Logic (DL) which is a decidable subset of First Order Logic