W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2018

Questions about OWL 2 DL and Description Logic

From: Leila Bayoudhi <bayoudhileila@yahoo.fr>
Date: Fri, 12 Oct 2018 02:13:58 +0000 (UTC)
To: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
Message-ID: <953880725.5865700.1539310438658@mail.yahoo.com>
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  |
Received on Friday, 12 October 2018 02:18:24 UTC

This archive was generated by hypermail 2.3.1 : Friday, 12 October 2018 02:18:24 UTC