- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Mon, 28 Oct 2002 10:08:15 +0100
- To: <www-webont-wg@w3.org>
TITLE: if or iff for property properties DESCRIPTION: Should the definitions of the semantics for rdfs:range, owl:TransitiveProperty,owl:FunctionalProperty etc. be necessary (if) or necessary and sufficient (iff). The former semantics may be called intensional, the latter extensional. Should the choice be the same for all, or should the choice be made on a case by case basis. What about the relationship with rdf core who own the base semantics for rdf:range and rdf:domain. RAISED BY: Jeremy Carroll STATUS: OPEN REFERENCE: http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0187.html http://www.w3.org/2001/sw/WebOnt/ftf4#Test http://lists.w3.org/Archives/Public/www-webont-wg/2002Aug/0016.html TEST CASE: http://www.w3.org/TR/2002/WD-owl-test-20021024/#proposedTriplesFunction-Func tionalProperty003 http://www.w3.org/TR/2002/WD-owl-test-20021024/#proposedTriplesFunction-Func tionalProperty004 http://www.w3.org/TR/2002/WD-owl-test-20021024/#proposedRDFXMLIssue-I5.3-Sem antic-Layering001 http://www.w3.org/TR/2002/WD-owl-test-20021024/#proposedRDFXMLIssue-I5.3-Sem antic-Layering002 http://www.w3.org/TR/2002/WD-owl-test-20021024/#proposedRDFXMLIssue-I5.3-Sem antic-Layering004 http://lists.w3.org/Archives/Public/www-webont-wg/2002Sep/0308.html
Received on Monday, 28 October 2002 04:08:20 UTC