Preliminary Review of "Conformance and Test Cases" (as of 20 March 2009)

1/ Wording fixes that I made:

  - 3.1.2 - "OWL Full" - fixed
  - 3.2 - "OWL DL or OWL Full" "OWL DL" - fixed
  - 3.2 - "OWL Full" - historical reference - reworded to remove phrase
  - 3.2.4 - "OWL 2 Full" -> the RDF-based semantics
          - "OWL 2 DL" -> the direct semantics
  - 3.2.5 - added "ontology document" as appropriate

  Changes in http://www.w3.org/2007/OWL/wiki/index.php?title=Conformance_and_Test_Cases&diff=20029&oldid=19905

2/ Remaining uses of "OWL 2 Full"
  - 2.1.1 (3x) - OWL 2 Full ontology document 
  - 2.2 - ontology documents ... (Full, DL, ...)
  - 2.2.1 - OWL 2 Full entailment checker
    	  (2x) - OWL 2 Full ontology document 
  - 2.2.2 - OWL 2 Full, DL, ... entailment checkers
  - 3.2.5 (2x) - OWL 2 Full ontology documents

  It seems to me that these all should stay.

3/ Uses of ":FULL" as a tag
  - 3.2.4 - :FULL for RDF-based semantics
    	  - :DL for direct semantics
  - 3.2.5 - :FULL for OWL 2 Full ontology document
    	  - :DL for OWL 2 DL ontology document

  SUGGESTION: Use :RDF and :DIRECT for the semantics in test cases.

4/ More wording fixes that I made:

  - 2.2.1 - the direct semantics handles all ontology structures that
    	    are OWL 2 ontologies - I fixed the wording here that implied
    	    OWL 2 DL ontologies

  Changes in http://www.w3.org/2007/OWL/wiki/index.php?title=Conformance_and_Test_Cases&diff=20035&oldid=20033

Other Suggested changes:

- 3.1.1.1 - Profile and Species Identification Tests
  	  - (also change the body of the section appropriately)
- 3.1.2.1 - remove EdNote

Questions:

- 2.1.2 Does the stuff about datatype maps need to be fixed up for the
  RDF-based semantics? 

- 3.2.5 "If an input ontology is not an OWL 2 DL ontology document, the
  	normative syntax must be RDF/XML:"
  OWL 2 ontology structures are more general than OWL 2 DL ontologies so
  I don't see why this restriction is necessary, why not just remove it?

Received on Friday, 20 March 2009 12:39:49 UTC