Questions about OWL 2 DL and Description Logic

Dear Community,Please, I have two main concerns:
1/ In an academic document such as PhD dissertation about ontologies in the OWL 2 DL language.
  1-1/ When speaking about formal semantics, Can I speak just of the SROIQ(D)         semantics without referring to W3C OWL 2 Direct semantics web page?  2-1/ For the reasoning services, Can I speak just of those of description logic (when I present the description Logic language) or I outline the reasoning services, when I speak about both DL and OWL 2 DL?
2/ If I speak about the reasoning services when working with OWL2 DL ontologies:   Can I just speak about unsatisfiability of classes OR also of object and data properties?
I know that both alternatives in the two cases refer to the same thing, but I look for the precision and the easy following of the reader.
Thank you very much in advance for answering me 

 
|  | Garanti sans virus. www.avast.com  |