Re: SUO: Re: W3C approves RDF and OWL as recommendations
Adam,
> I think your approach adds confusion rather than ease or clarity,
> ... maybe we'll have to agree to disagree.
Indeed.
> it also prevents users from adding the axioms that would define
> the full semantics of those new relations.
Oh no. If a user wants to add axioms to the relation type "parent",
it is irrelevant whether the type/identifier "parent" has been
previously generated, manually created, or its existence implied.
Whatever the case, the user's axioms will be "additional" axioms for
the relation type "parent". And of course, these additions must be
allowed if the user has the right to add new axioms to the relation
type "parent" and if these new axioms are consistent with the
previous axioms.
Philippe