AaronSw: """Starting with a simple XML-like vocabulary, it should be possible for amateurs to build a unified world history on the Web, in the form of thousands of specialised timeline-pages. An authoring application should be created to facilitate this."""
AaronSw: Having been a longtime XML skeptic this is nice to see
AaronSw: Having been a longtime XML skeptic this is nice to see
DanC: comparing with the original grammar I see I left out =.
DanC: not to mention unused stuff like <- and -> and spooky stuff like :-
DanC: not to mention unused stuff like <- and -> and spooky stuff like :-
DanC: [raw axioms
DanC: Type-axiom-1: type3 should be rdf:type, no?
DanC: uses qnames (e.g. daml\:rest) without grounding them in URI space
DanC: NoRepeatsList-axiom-1: daml\:item? the DAML vocab doesn't have item, does it? (sometimes I wish it did, but...)
DanC: Class-axiom-1 I don't agree with this axiom; things can be both classes and properties, from what I can tell.
DanC: Container-axiom-1 dunno where this comes from; surely RDF bags are not daml Lists
DanC: object-axiom-2 seems more straightforwardly captured via domain/range.
DanC: predicate-axiom-2 seems more straightforwardly captured via domain/range.
DanC: NonNegativeInteger-axiom-1 where did rdfs\:NonNegativeInteger come from?
DanC: range-axiom-2 range is functional? I don't think so. (seems like a transcription of a bug in the RDFS spec)
DanC: range-axiom-3 seems overly constraining; I don't think that's the sort of 'range' that the RDFS community uses.
DanC: oops... I take that back about range-axiom-3
DanC: sameClassAs-axiom-3 that's a theorem, no?
DanC: hmm... I think I would have put some of the therems stuff in as axioms and vice versa.
DanC: Type-axiom-1: type3 should be rdf:type, no?
DanC: uses qnames (e.g. daml\:rest) without grounding them in URI space
DanC: NoRepeatsList-axiom-1: daml\:item? the DAML vocab doesn't have item, does it? (sometimes I wish it did, but...)
DanC: Class-axiom-1 I don't agree with this axiom; things can be both classes and properties, from what I can tell.
DanC: Container-axiom-1 dunno where this comes from; surely RDF bags are not daml Lists
DanC: object-axiom-2 seems more straightforwardly captured via domain/range.
DanC: predicate-axiom-2 seems more straightforwardly captured via domain/range.
DanC: NonNegativeInteger-axiom-1 where did rdfs\:NonNegativeInteger come from?
DanC: range-axiom-2 range is functional? I don't think so. (seems like a transcription of a bug in the RDFS spec)
DanC: range-axiom-3 seems overly constraining; I don't think that's the sort of 'range' that the RDFS community uses.
DanC: oops... I take that back about range-axiom-3
DanC: sameClassAs-axiom-3 that's a theorem, no?
DanC: hmm... I think I would have put some of the therems stuff in as axioms and vice versa.
danja: "D&B's products and services are drawn from a global database of more than 64 million companies. "
danja: "...95 languages or dialects..." - including SAP, not sure about RDF...