From: pat hayes <phayes@ai.uwf.edu> Subject: Re: [closed] pfps-05 RDFS Closure Rules Date: Tue, 22 Apr 2003 12:17:46 -0500 [...] > >Third, the closure rules are unable to infer any rdfs:domain or rdfs:range > >triples. It thus appears to me that the RDFS closure procedure is still > >incomplete as it will not include triples of the form > > > > rdf:_n rdfs:range xx . > > > >(for whatever xx is deemed to be appropriate). > > > > To amplify my earlier response here, the RDFS semantic conditions on > domain and range only give necessary, not sufficient, conditions for > domain and range assertions to be true. Except for those domains and ranges specified directly. > Thus they do not sanction > entailments of any assertion of a domain or range beyond those > already asserted in an antecedent. The only inference path to such a > conclusion is by virtue of a subProperyOf assertion applied to the > domain or range properties. Agreed, but this was not my point. > Pat peterReceived on Tuesday, 22 April 2003 13:43:08 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:02 UTC