I will not be able to make the October 2 teleconference. Here are my
thoughts on the potential topics that impact S&AS. I give my proxy to Ian
Horrocks for any formal votes required.
peter
[The numbering here is consistent with that in Jeremy's message.]
B1/ Untyped Annotation values
Annotation values can be ``bare'' URI references, for which no other
information is known. This ability was included to allow things like
the DC properties to work easily as annotation properties.
RESOLUTION: No change to S&AS to be made here. Other OWL documents
need to be investigated to see whether they forbid such
annotation values.
NOTE: This is different from the change that Jeremy is advocating.
B2/ Untyped Types in Typed Literals
The URI reference in a typed literal does not currently need to be typed
as a datatype. This is mostly a holdover from the past but it does
allow for ``random'' junk in typed literals, which may or may not be a
good thing. There is very little use for such typed literals, as there
is no way in OWL to effectively use datatypes that are not in the
approved list datatypes, which are all built in anyway.
RESOLUTION: No change to S&AS to be made here. Other OWL documents
need to be investigated to see whether they forbid such
types.
C/ Semantic layering bug
The change to allow optional ontology type triples breaks semantic
layering at bit more. (It was sort of broken in this area, but I think
everything might have worked anyway, due to some fortuitous
circumstances.)
Fix: 1/ Extend OWL abstract consistency and entailment to also allow
axioms and facts outside of ontologies.
2/ Extend OWL satisfaction of an abstract ontology to require that
the ontology be of type owl:Ontology.
3/ Extend the mapping to triples to allow for axioms and facts
outside of an ontology.
4/ Make the typing triple mandatory for unnamed ontologies.
RESOLUTION: Approve the above fix. The only documents that should need
changing are S&AS and Test. I accept an action to make the
changes to S&AS.
NOTE: This effectively replaces the change of 18 September that made
rdf:type triples optional for unnamed ontologies, but gets the
same effect by allowing axioms and facts outside of ontologies.
E/ Loops in owl:equivalentClass
The wording does not currently talk about loops. Undirected graphs do
not need to be loop free. Loops are explicitly forbidden in the mapping
to owl:disjointWith. I suggest that no change be made.
RESOLUTION: No change to the OWL specification to be made here. Two
tests showing that loops are allowed (one with only one
node in the graph) to be added to the test suite. A test
showing that loops are not allowed for owl:disjointWith to
be added to the test suite.