Re: [dxwg] Comments on "inheritance" (#795)

"transitive inheritance" is now demonstrated in the PROF ED in examples and also in a [long note after the `prof:isTransitiveProfileOf` property](

The axiom `dct:conformsTo owl:propertyChainAxiom ( prof:isProfileOf dct:conformsTo )` also now present in the ontology defines the entailments that can be made with `prof:isProfileOf` and, since no equivalent axiom is declared for `prof:isTransitiveProfileOf`, it is clear how the usage of the properties differs.

Regarding the sentence:

> It would be helpful to motivate this with a testable use case, e.g., a server implementation which responds to Accept-Profile by calculating the "best" response for processing a Profile Ontology description.

This is a matter for ConnegP and notes on "best" responses, or at least how responses from hierarchies are calculated, [are given in the ED of that document](

GitHub Notification of comment by nicholascar
Please view or discuss this issue at using your GitHub account

Received on Monday, 25 November 2019 02:00:41 UTC