Hi,
These are minor editorial and simple error comments, and not issues with
regard to publication.
Stella
simple error:
------------------
For import directives that specify a profile, the profile identifier is
defined as an IRI constant in
SWC, but as a term in several places in BLD:
section 2.3
Definition (formula):
document bullet
directive bullet
import directive bullet
section 2.6.2, ebnf grammar
editorial suggestions:
-------------------------------
Section 2
1st para
but not intended --> but is not intended
Section 2.1
Can Document and Group just be added to the list in the previous
bullet?
Section 2.2
"Internal base term" is defined to simplify the language in the
definition
of term, but it is never used in that definition. It could be
deleted (and
appropriate update made to "base term")
Section 2.3
Definition (formula):
The para between the condition and rule implication breaks
up the definition. Can it be indented to the level of the
condition
bullet? (and the last sentence deleted)
numbering the outer list would make it more clear which are
the main bullets of the formula definition
document bullet, group sub-bullet:
that makes the actual logical content... -->
that contains the logical content...
document bullet, directive sub-bullet
The base and prefix sub-bullets are written as if
prefix is
first in the text, but it is second.
indented para at the end of the bullet:
A document formula can contain a sequence of
directives, all optional and with at most one
base
directive. The base directive, if present, must
be first,
followed by any number of prefix directives,
followed
by any number of import directives.
last bullet:
better as a para indented to the appropriate level
Also, since the directive bullet already says that
directives
are all optional, could just add such a sentence
to the
group bullet and remove this bullet.
para following defintion (formula):
that are built with the help of these components -->
that are built using them.
Section 2.4
3rd para:
since phi is a conjuction -->
since phi can be a conjunction ?
4th para:
It is suggested to use -->
We suggest the use of
Section 2.5
1st para:
a requirement is that no constant is allowed to appear in more
than one context -->
it is required that no constant appear in more than one
context
2nd para:
If this correctly captures the meaning, I think it's more
clear:
The set of all constant symbols, const, is
partitioned into subsets as follows:
-- A subset of individuals
The symbols in const that belong to the
primitive datatypes
are required to be individuals
-- A number of subsets for predicate symbols
The symbols in each subset all share the
same
arity, argument style (named or
positional), and
internal/external designation
-- A number of subsets for function symbols
The symbols in each subset all share the
same
arity, argument style (named or
positional), and
internal/external designation
3rd para:
suggest to remove the 2 bullets and just put those 2 sentences
with
the previous sentence to make a paragraph.
Definition (Context of a symbol)
1st bullet:
parenthetical comment:
I'm don't think it's clear what the parenthetical
comment
about arity and named/positional arguments is
saying.
That positional and named argument forms are
different
contexts?
Section 2.6
Maybe say how the shortcuts for constants fit in. Since they
are only defined in the EBNF, are they not part of the normative
PS?
2nd bullet:
says the EBNF does not address the details of how constants
and variables are represented, but it seems to address at least
some details?
3rd bullet:
(The non-normative status of the EBNF grammar should not
be confused with the normative status of the RIF-BLD
presentation
syntax)
-->
Note, however, that the RIF-BLD presentation syntax, as specified
in mathematical English, is normative.
Section 2.6.1
would be better to have a sentence right under the EBNF
saying that CONSTSHORT, ANGLEBRACKIRI and
CURIE are defined in DTB (and ref). And then remove those
(location) details from the text several paragraphs down.
Section 2.6.2
2nd para after the 2nd box
Base and Prefix just serve as shortcut mechanisms for
(long) IRIs
-->
Base and Prefix serve as shortcut mechanisms for IRIs
A RIF-BLD group is a nested collection... -->
A RIF-BLD group is a collection...
(nesting is covered by the "nested" at the end
of the sentence?)
4th para after the 2nd box
as conclusion --> as its conclusion
as premise --> as its premise
Example 3, before the box
reference to RIF-DTB has an extra "["
Section 3
1st para
Do shortcuts for constants also have to be addressed
here (along with the statement about Prefix and Base)?
Section 3.2
list item #5
represent an object --> represents an object
list item #10
reference to DTB needs to be corrected
Section 3.3
1st sentence
constitue --> constitute
Section 3.4
2nd para.
"To this end" doesn't flow well from the previous sentence.
how about just "We define..."
Section 3.5
1st definition
what does it mean to be labeled with a document formula?
2nd definition
multi-structure, which contains --> multi-structure that contains
are ignored here --> are not covered here
Section 4
1st definition:
w.r.t. --> with respect to
Section 4.1
1st box:
add ", with optional 'ordered' attribute" to the
args and slot items
para above example 5:
utilize --> use (twice)
XML term elements such as const -->
the XML term element const ?
datatype can be --> datatype is ?
to indicate the orderedness of children of the
elements args and slot it is associated with
-->
to indicate whether the children of args
and slots elements are ordered
Section 4.2
1st para
We now extend the RIF-BLD serialization -->
We now extend the set of RIF-BLD serialization elements
2nd sentence -->
The extended set includes the tags listed below.
should the reference to the PS syntax be to the
normative specification of it, instead of to the EBNF?
Section 4.3.1
does anything have to be said about shortcut constants?
1st para, 2nd sentence:
I think it would be just as clear, and read easier if
the "Presentation|XML" were deleted.
1st para, 3rd:
...differentiate between the terms...from terms.... -->
...differentiate between the terms...and the terms....
Section 5
do the formulas have to be well-formed?
1st para:
the conformant systems --> conformant systems
2nd para:
,which --> that (twice)
conformant producer:
Formally ... in L -->
Formally, ... in the subset of L ?
RIF-BLD specific clauses:
The preceding part of section 5 was not for BLD, but for
all of RIF?
2nd bullet:
inputs which do not match --> inputs that do not match
3rd bullet:
externals that are required... --> externals required...
Section 6.1
item 2, sub bullet d:
2 sentences in a row (the last 2) start with "Thus."
How about "Accordingly," for the last one?
para between item 2 and 3:
the author --> the ruleset author?
item 3,
2nd sub bullet:
significant restrctions. This is so in order... -->
significant restrictions, in order...