[TF-ENT] URIs for entailment regimes in service descriptions

Hi all,
in the telecon we shortly discussed whether we would need two URIs for
the two OWL Semantics (RDF-Based and Direct (<- Model Theoretic,
Description Logics)) or URIs for each OWL Profile.
For RDF-Based seantics, we have two profiles:
OWL Full and OWL RL
OWL Full handles all legal RDF graphs and so does an OWL RL system.
For OWL RL, if the input belongs to a certain fragment (the OWL RL
fragment), then the system is guaranteed to sound and complete,
otherwise the system might be incomplete.

For Direct semantics we have three profiles:
OWL QL, OWL EL, and OWL DL
Any OWL DL reasoner can handle all three (but not arbitrary OWL Full).
OWL EL reasoners can also handle OWL QL, and OWL QL reasoners do only
OWL QL.
Inputs outside of the supported fragment will be rejected, i.e., an
OWL QL system works only on inpus that fall into the OWL QL fragment.
OWL EL systems will accept inputs that fall into the EL (and thus also
into the QL) fragment, etc

The problem with using just one URI per semantics is that OWL QL and
EL systems will possibly reject many input ontologies that are OWL DL
because they are outside of their fragment. If we have just one URL,
then I cannot know what the system will accept. It is trial and error.
For RDF-Based semantics it seems to be less of an issue, but for
Direct Semantics it would make more sense IMO to have different URIs
and then it would be a bit wired to have only one for RDF-Based
semantics, but three for Direct Semantics.

Birte

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

Received on Tuesday, 27 October 2009 14:57:39 UTC