On 2/17/15 8:07 PM, Thomas Baker wrote: > On Tue, Feb 17, 2015 at 11:04:10AM +1000, Holger Knublauch wrote: >> Yet, there used to be a notion of a Semantic Web, in which people >> were able to publish ontologies together with shared semantics. On >> this list and also the WG it seems that this has come out of >> fashion, and everyone seems "obsessed" with the ability to violate >> the published semantics. > Hi Holger, > > I'm not sure I understand your point. Are you saying that people on > this list want to violate published semantics?? If someone publishes an ontology at a URL, they propose a contract that describes how this ontology should be used. Sometimes owl:Restrictions are used for that. Anyone who owl:imports the file from URL will get this meaning. The concept of "shapes" was largely motivated by people who have use cases in which the same URIs (classes and properties) will have different meaning. As long as they only narrow down the owl:Restrictions, there was never a problem. You'd only need to switch certain published restrictions off when you want to extend them. What people usually do is they just create a new ontology that uses the same URIs but with different restrictions. This distinction between a local copy and the published copy is crucial. This is what I meant with violating, but the word is probably too strong (sorry I am not a native English speaker so I may have picked the wrong term). In any case, it looks like the concept of ldom:context will be useful as an alternative solution to all this. It will allow people to still import a shared ontology, but then pick and chose which constraints they want to use and which ones not. Holger