Open GoogleCodeExporter opened 9 years ago
ws issue fixed.
I've tried to avoid giving too much semantics in the syntax section. Qualifiers
are really a mixed bag. Sometimes they are axiom annotations, sometimes they
alter the semantics of the tag in which they are embedded (e.g. cardinality).
But even just saying something like "qualifiers can represent axiom
annotations" means we have to get into axioms and annotations in the OWL
sense...
Examples for each of the sections would be a good idea. I'll leave this issue
open for now.
Original comment by cmung...@gmail.com
on 17 Dec 2011 at 12:36
Original issue reported on code.google.com by
mcour...@gmail.com
on 14 Dec 2011 at 7:00