W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

ISSUE: if or iff for property properties

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Mon, 28 Oct 2002 10:08:15 +0100
To: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDMEIBCAAA.jjc@hpl.hp.com>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT