OWL Profile IRIs

Ivan, Sandro, all,

some time ago Ivan registered some IRI for the OWL profiles unter:
http://www.w3.org/ns/owl-profile/

At the time we decided not to create an IRI for OWL Full, but it turns
out that this would be useful. In order to address Markus's review of
the entailment regimes document, the IRIs that canbe used in Service
description now describe the kind of entailment checker (as defined in
http://www.w3.org/TR/owl2-conformance/#Entailment_Checker). Since ther
is also an OWL Full entailment checker (assuming RDF-Based Semantics),
it would be useful if such a tool coulf use an OWL Full profile IRI to
describe that together with the IRI for the semantics.

Would it be pissible to register:
http://www.w3.org/ns/owl-profile/Full ?
Who could do this?

Best regards,

Birte

-- 
Jun. Prof. Dr. Birte Glimm            Tel.:    +49 731 50 24125
Inst. of Artificial Intelligence         Secr:  +49 731 50 24258
University of Ulm                         Fax:   +49 731 50 24188
D-89069 Ulm                               birte.glimm@uni-ulm.de
Germany

Received on Sunday, 4 December 2011 16:57:57 UTC