Re: OWL Functional Syntax and case sensitivity

Toby,

You misunderstood what Alan wrote. If you look at a production rule:

	ObjectHasSelf := 'ObjectHasSelf' '(' ObjectPropertyExpression ')'

You see that keywords appear as quoted strings, i.e., as literal terminals, as described in the BNF:
http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#BNF_Notation

A literal terminal (i.e., a single quoted string in a production) matchs only the exact string. That is

LITERAL:
	'('
matches only
	(
and LITERAL:
	'ObjectHasSelf'
matches only
	ObjectHasSelf

thus, it is case sensitive.

Re your other question:
"It's also worth nothing that the "Complete", "Normative" grammar in
section 13 doesn't include comments (i.e. "#..."), though section 2.2
notes that they're allowed."

These are comments *in the BNF* not in the functional syntax *described* by the BNF. Thus the grammar is complete.

Hope this helps!

Cheers,
Bijan.

Received on Tuesday, 8 March 2011 09:40:53 UTC