]> Definition of RDFL - an RDF Ontology for Lexical Datatypes 1.0 Patrick Stickler (patrick.stickler@nokia.com) Nokia application/rdf+xml Copyright (C) 2002-2003 Nokia. All rights reserved. This document may be copied, published, and distributed, without restriction of any kind, provided it is not modified in any way. THIS DOCUMENT IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, WITHOUT LIMITATION, WARRANTIES THAT THE DOCUMENT IS FREE OF DEFECTS, MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE OR NON-INFRINGING. THE ENTIRE RISK AS TO THE QUALITY AND USABILITY OF THIS DOCUMENT IS WITH YOU. SHOULD THIS DOCUMENT PROVE DEFECTIVE IN ANY RESPECT, YOU (NOT NOKIA, ITS LICENSORS OR AFFILIATES OR ANY OTHER CONTRIBUTOR) ASSUME THE COST OF ANY NECESSARY SERVICING, REPAIR OR CORRECTION. Subtype Of For any two datatypes A and B, if A rdfl:subtypeOf B . then for any value X denoted by the typed literal LLL^^A, if there exists a value Y denoted by the typed literal LLL^^B, where X and Y may share an equivalent system-internal representation, one may freely alternate between LLL^^A and LLL^^B without loss of meaning, within the context of that system. Converts To For any two datatypes A and B, if A rdfl:convertsTo B . then for any value X denoted by the typed literal LLL^^A, if there exists a value Y denoted by the typed literal GGG^^B, where X and Y may share an equivalent system-internal representation, one may freely convert between LLL^^A and GGG^^B without loss of meaning, within the context of that system.