Closed GoogleCodeExporter closed 9 years ago
Original comment by bparsia
on 1 Apr 2007 at 12:39
Original comment by bparsia
on 1 Apr 2007 at 12:40
The typos have been fixed and the readability of the inroduction (hopefully)
improved. The fact that the specification does not allow duplicates of axioms
is a
feature. This can be discussed, if desired, during the stnadarization process
in W3C.
Original comment by borismo...@gmail.com
on 23 May 2007 at 2:09
Original issue reported on code.google.com by
bparsia
on 29 Mar 2007 at 2:13