Re: Handling multiple rdfs:ranges

Hi Pat,

Yes it does help thank you. I'm happy you confer with Graham that this was
discussed and a deliberate design decision was taken. Your reasoning is
quite clear, matches Graham's, and I accept it as an argument to go one way
rather than the other. However, it is entirely reasonable to give a
meaningful Web-like semantics that is not vacuous for this setting (with a
precise model). Instead of always considering that another rdfs:range may
appear somewhere else on the Web, we take a perspective not too different
from Simon's view where what matters is the browser or
consumer's current view of the Web of Data, which is refined as more data
is discovered. A consumer after all is interested in the bits of tasty data
relevant to their application rather than the whole Web. This respects the
subjective nature of knowledge on the Web and has nice properties for easy
decentralised data integration as described previously. My interest in this
is purely academic to understand the design decision made in the standard
(and work around certain real world datasets that may not be fully
standards compliant).

Really I've really just been missing your discussions on this list -- so
now I'm fully satisfied!

Best regards,

Ross



On 25 February 2016 at 13:04, Pat Hayes <phayes@ihmc.us> wrote:

> Hi Ross
>
> I had not bothered to respond to this as Antoine's answer is right on
> point. However, to amplify: the suggested alternative is not, I think, even
> logically coherent, if I understand what it says.
>
> > >    "Where P has more than one rdfs:range property, then the resources
> > > denoted by the objects of triples with predicate P are instances of
> > > *some* class stated by the rdfs:range properties."
>
> So one of them is right, but we don't know which one? In fact, we don't
> know if ANY of them are, since there might be some other rdfs:range
> assertion out there which we havn't seen yet. So we can't ever infer
> anything from this at all. So it effectively asserts nothing; it is vacuous.
>
> But maybe what it means to say is that multiple range assertions are
> understood to be expressing a union rather than an intersection, ie that
> they are OR-ed rather than AND-ed. I think this is what Antoine understood
> it to mean. If so, we did in fact consider this, rather briefly, in the
> first RDF working group back in 2002 or so. (Sorry I can't find it, but it
> is in the email archives somewhere.) The trouble with this idea, however,
> is that it yields a non-monotonic logic, where adding an rdfs:range
> assertion can render invalid an earlier valid conclusion. This is what
> Antoine points out in his reply, of course. The RDF WG decided very early
> in its deliberations that RDF was going to be a monotonic logic, as a basic
> design decision. A web-based logic really has no other option.
>
> Hope this helps.
>
> Pat Hayes
>
>
> On Feb 23, 2016, at 3:24 AM, Ross Horne <ross.horne@gmail.com> wrote:
>
> > Hi AZ,
> >
> > I agree with you analysis of Bioportal. So would the official line in
> this situation be to encourage the style in the provenance ontology, and
> exert caution when performing RDFS inference in Bioportal?
> >
> > Let me follow up your nice example in the hypothetical "Bioportal" style
> definition:
> > >    "Where P has more than one rdfs:range property, then the resources
> > > denoted by the objects of triples with predicate P are instances of
> > > *some* class stated by the rdfs:range properties."
> >
> > You are exactly right with your subclass example. Under the hypothetical
> *some* definition above, properties become more accommodating as more
> schema information is discovered rather than more restrictive. Discovering
> ex:myProperty  rdfs:domain  ex:Female  would just confirm something that is
> already known i.e. that ex:myProperty can be use with  ex:Person  including
> females. Notice that this analysis assumes that  ex:Female is a sub class
> of ex:Person is part of the ontology.
> >
> > However, if  ex:myProperty  rdfs:domain  ex:Place  was discovered, where
> ex:Place and ex:Person are not related by the sub class relation, then we
> discover something new. In particular, we discover that instances of both
> ex:Person and ex:myProperty may appear in the subject position of a triple
> with property ex:myProperty.
> >
> > My follow up question is: whether anyone knows whether the more
> accommodating inference, as implied by Bioportal, was ever discussed during
> the RDFS standardisation process; and if so, why the more restrictive
> definition for multiple domains and ranges was chosen.
> >
> > I suspect this question has a simple explanation in model theory, which
> is why I also copy Pat.
> >
> > Best regards,
> >
> > Ross
> >
> >
> >
> > On 23 February 2016 at 16:37, Antoine Zimmermann <
> antoine.zimmermann@emse.fr> wrote:
> > Ross,
> >
> >
> > The conclusion here is that Bioportal wrongly uses rdfs:domain. The
> provenance ontology uses it correctly, and if DBpedia does not have
> multiple domains or ranges, then no problem.
> >
> > There are certainly many more mistaken datasets with this respect, as
> there are many other kinds of errors in datasets. There are also many
> misinterpretations of HTML markups, mistakes in CSS files, and in fact, all
> Web standards are misused to some extent. If the wrong use of multiple
> domains / ranges was largely predominant, it would be a source of concern
> for the standardisation groups of future versions of RDF. But your
> observations in your email are not sufficient to indicate that.
> >
> > In any case, your suggestion:
> >
> > >    "Where P has more than one rdfs:range property, then the resources
> > > denoted by the objects of triples with predicate P are instances of
> > > *some* class stated by the rdfs:range properties."
> >
> > would not work well with the inherent incompleteness of knowledge on the
> Web and with the distributed nature of Web data. If I see:
> >
> > ex:myProperty  rdfs:domain  ex:Person .
> >
> > somewhere on the Web, I would like to conclude something about those
> individuals who have the property ex:myProperty. Then I may find the
> following:
> >
> > ex:myProperty  rdfs:domain  ex:Female .
> >
> > Now I know more than before, so I should infer more about those who have
> the property. With your suggestion, every time I would know more about the
> domain of a property, I would know less about those who have the property.
> >
> >
> > Best,
> > AZ
> >
> >
> > On 23/02/2016 03:36, Ross Horne wrote:
> > Hi All,
> >
> > I'm wondering if many people here use multiple rdfs:domain/rdfs:range
> > properties in RDF Schema?
> >
> > The RDF Schema spec is clearly worded: "Where P has more than one
> > rdfs:range property, then the resources denoted by the objects of
> > triples with predicate P are instances of *all* the classes stated by
> > the rdfs:range properties." [similarly for rdfs:domain]
> >
> > However, this doesn't quite match the usage of multiple
> > rdfs:domain/rdfs:range properties in several popular datasets.
> >
> > For example, in Bioportal, the property bpo:has_event has three classes
> > indicated as its domain: bpo:person, bpo:event and
> > bpo:disease_or_disorder. Following the wording of the spec, it would
> > appear that any resource that appears in the subject position of a
> > triple with property bpo:has_event is an instance of all three types
> > bpo:person, bpo:event and bpo:disease_or_disorder. However, common sense
> > says that the resource cannot simultaneously be a person, event and
> disease.
> >
> > Elsewhere, the provenance ontology avoids the problem by explicitly
> > using owl:unionOf. For example, prov:wasInfluencedBy has rdfs:range such
> > that it is the owl:unionOf the classes prov:Activity, prov:Agent and
> > prov:Entity. DBpedia avoids the problem entirely, since I cannot find
> > any multiple rdfs:domain/rdfs:range properties in their ontologies.
> >
> > The interpretation of multiple rdfs:range properties in the above
> > datasets, either implicitly or explicitly imply an alternative spec such
> as:
> >
> >    "Where P has more than one rdfs:range property, then the resources
> > denoted by the objects of triples with predicate P are instances of
> > *some* class stated by the rdfs:range properties."
> >
> > I'm wondering whether anyone else has observed this mismatch between the
> > spec and real world datasets; and what the official line would be on
> > avoiding this conflict?
> >
> > Regards,
> >
> > Ross
> >
> >
> > Note I'm using the following prefixes in examples:
> > bpo: <http://www.semanticweb.org/ontologies/2010/10/BPO.owl#>
> > prov: <http://www.w3.org/ns/prov#>
> > rdfs: <http://www.w3.org/2000/01/rdf-schema#>
> >
> >
>
> ------------------------------------------------------------
> IHMC                                     (850)434 8903 home
> 40 South Alcaniz St.            (850)202 4416   office
> Pensacola                            (850)202 4440   fax
> FL 32502                              (850)291 0667   mobile (preferred)
> phayes@ihmc.us       http://www.ihmc.us/users/phayes
>
>
>
>
>
>
>

Received on Thursday, 25 February 2016 09:14:34 UTC