Re: "Summary for informed outsiders" - Re: Proposed change to the OWL-2 Direct Semantics entailment regime

[snip]

> Dear Birte,
> working towards conjunctive query entailment regime for OWL QL ontologies is
> specific and may rise a question about what happens for other OWL profiles.
> Now, wouldn't it not be just easier and reasonable to have
> 1. an OWL 2 "LITE" Direct semantics regime, which is the one in the draft so
> far (if you like so, you may omit the word "LITE")
> 2. an OWL 2 "FULL" Direct semantics regime, which is the one we would like
> to have and compliant with what is called (full) "Conjunctive Queries" ?

I don't see the current regime as LITE since it is much more in the
spirit of the original SPARQL-DL proposal, e.g., one can query for
sub- or super classes of a class, for domains for a property, etc. All
other regimes (RDF(S), D-Entailment, OWL RDF-Based, and RIF) are also
not restricted to just conjunctive queries, but the name is not the
real issue here anyway.

I don't have anything against 2. in principle, but I personally don't
have the resources to do more than I already did. A new regime
involves, apart from writing the spec, also defining suitable test
cases and having systems ready that are able to pass the test cases.
We are already quite late in the process (just before last call) to
start the work on another regime, but basic graph pattern matching
remains an extension point and future standadisation rounds can add
more regimes as required by applications. Since at least in this
standadisation round basic graph patern matching extensions are a time
permitting feature it all depends on the time and effort that working
group members are willing to contribute in addition to the normal WG
schedule.

Birte

> -Umberto Straccia
>
>
>
>
>
>
>
>           ---------------------------------------------------
>          |   Umberto Straccia, PhD                           |
>          |   ISTI                                            |
>          |   Italian National Research Council               |
>          |   Via G. Moruzzi,1                                |
>          |   I-56124 Pisa (PI), ITALY                        |
>          | ------------------------------------------------  |
>          | WWW   : http://www.straccia.info                  |
>          | E-mail: Umberto.Straccia@isti.cnr.it              |
>        / ) Phone : +39.050.315 2894                          (\
>       /  ) Fax   : +39.050.315 3464                          ( \
>    _ (  (|___    ___________________________________________ )  )_
>    (((\  \)  /  )                                    /  )  /  /)))
>    (\\\\  \_/  /                                     \  \_/  ////)
>     \         /                                       \         /
>
>      \      _/                                         \_      /
> -----/     /---------------------------------------------\     \--------
>     /     /                                               \     \
>
>
>
>



-- 
Dr. Birte Glimm, Room 309
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283520

Received on Tuesday, 28 December 2010 13:14:53 UTC