- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 19 Jun 2003 09:43:06 +0300
- To: w3c-rdfcore-wg@w3.org
I missed some issues concerning "The stronger extnesional semantic conditions on rdfs:domain and rdfs:range" ... 1) suggest rdfs4a', rdfs4b' should have premise aaa rdf:type rdf:Property . this is stronger (and still sound) 2) with the extensional conditions rdfs:domain and rdfs:range figure in rdfs12a and rdfs12b so for 12a - every property has a domain and range. Thus: ppp = rdfs:domain or ppp = rdfs:range qqq = rdf:Property for 12b not applicable ? Example entailment under 12a rdfs:domain rdfs:subPropertyOf eg:a . eg:a rdfs:domain eg:c . given p rdf:type rdf:Property . then p rdfs:domain rdfs:Resource . so p eg:a rdfs:Resource . and p rdf:type eg:c . thus rdf:Propery rdfs:subClassOf eg:c . Jeremy
Received on Thursday, 19 June 2003 03:43:14 UTC