From: Mike Dean (mdean@bbn.com)
Date: 07/22/03
As an alternative approach to Webizing, I wonder if it would be reasonable to modify the presentation syntax grammar so that anywhere a symbol can appear, qname:symbol can also be used, e.g. sales:discount(sales:region->countries:US, ...) When used as a URI, a symbol without a QName would be interpreted as a same document reference with fragment (i.e. #symbol). This seems like a natural way to accommodate those who always expect to use URI naming, while gracefully allowing the use of local names/symbols. Use of : for QNames would preclude the use of : for typing, but a number of folks seem to feel it would be better anyway to just accommodate typing using separate atoms, e.g. replacing premium(Customer : ?cust) with premium(?cust) Customer(?cust) or premium(?cust) rdf:type(?cust, Customer) The current 'URI declarations' approach works here as well, e.g. owl:='http://www.w3.org/2002/07/owl#' Thoughts? Mike
This archive was generated by hypermail 2.1.4 : 07/22/03 EST