Re: PROV-ISSUE-90 (namespace-in-ontology): Namespace used in ontology [Formal Model]

Hi Paul,

This is the data model!  The ASN is just a simple notation to write 
instances of the data model.

Luc

On 10/20/2011 03:44 PM, Paul Groth wrote:
> Hi Luc,
>
> Do you think it is necessary to go into that much detail for the ASN? 
> I just wonder how detailed an ASN has to be specified to serve it's 
> function?
>
> cheers,
> Paul
>
> Luc Moreau wrote:
>> Hi Stian,
>>
>> We wrote a note in the report about the nature of<identifiers>, and 
>> whether
>> there are indeed URIs.  This choice has not been confirmed by the WG 
>> yet.
>> If indeed we go for URIs, then all identifiers in examples eg. pe0, a1,
>> a5 ...
>> will have to become uris.
>>
>> We wanted as well to get some feedback on the qualified names, literals,
>> namespaces
>> (and possibly default namespace).  The example may have to be adjusted
>> once this is
>> all confirmed.
>>     eg: prov:type="foaf:Person" ...
>>
>> So, in the example you quoted, really, in the prov namespace we would 
>> have:
>>
>> http://www.w3.org/ns/prov-dm/wasControlledBy
>> http://www.w3.org/ns/prov-dm/qualifier
>> http://www.w3.org/ns/prov-dm/role
>> http://www.w3.org/ns/prov-dm/entity
>> http://www.w3.org/ns/prov-dm/type
>> http://www.w3.org/ns/prov-dm/wasDerivedFrom
>>
>>
>> Cheers,
>> Luc
>>
>> On 10/20/2011 03:30 PM, Stian Soiland-Reyes wrote:
>>> On Thu, Oct 20, 2011 at 14:52, Graham Klyne<GK@ninebynine.org>   wrote:
>>>
>>>> Is there any particular reason that PROV-DM needs to define a 
>>>> namespace URI?
>>>>
>>>> Doesn't the material there all stand on the abstract syntax model, 
>>>> which
>>>> doesn't depend on URI-based namespaces?
>>>>
>>>> Just asking.
>>>>
>>> ProvenanceContainer() [1] allows declaration of prefixes and
>>> namespaces [2], which lends the question of which namespace qualifiers
>>> such as "role" are in.
>>>
>>>
>>> [3] says:
>>> "All the elements, relations, reserved names and attributes introduced
>>> in this specification belong to the PROV-DM namespace."
>>>
>>> But from this also all the examples are also in the default namespace,
>>> so from this understanding that would mean that:
>>>
>>> wasControlledBy(pe0,a1, qualifier(role="creator"))
>>> entity(a5, [ type="Person", name="Edith" ])
>>> wasDerivedFrom(e4,e2,pe2,qualifier(port=smtp,
>>> section="attachment"),qualifier(fct="attach"))
>>>
>>> We can find
>>>
>>> http://www.w3.org/ns/prov-dm/wasControlledBy
>>> http://www.w3.org/ns/prov-dm/pe0 #??
>>> http://www.w3.org/ns/prov-dm/a1 #??
>>> http://www.w3.org/ns/prov-dm/qualifier
>>> http://www.w3.org/ns/prov-dm/role
>>> http://www.w3.org/ns/prov-dm/creator #??
>>> http://www.w3.org/ns/prov-dm/entity
>>> http://www.w3.org/ns/prov-dm/type
>>> http://www.w3.org/ns/prov-dm/Person #??
>>> http://www.w3.org/ns/prov-dm/name #!!
>>> http://www.w3.org/ns/prov-dm/wasDerivedFrom
>>> http://www.w3.org/ns/prov-dm/port #!!
>>> http://www.w3.org/ns/prov-dm/smtp #!! - no "quotes"!
>>> http://www.w3.org/ns/prov-dm/section #!!
>>> http://www.w3.org/ns/prov-dm/smtp #??
>>> http://www.w3.org/ns/prov-dm/fct #!!
>>> http://www.w3.org/ns/prov-dm/attach #??
>>>
>>>
>>> I can't see how this is right. The PROV-ASN syntax does not allow
>>> non-string attributes or qualifiers, but here is port=smtp suggesting
>>> that they can be non-literal identifiers. (which would be namespaced?)
>>>
>>>
>>> [1] http://www.w3.org/TR/2011/WD-prov-dm-20111018/#ProvenanceContainer
>>> [2] 
>>> http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-NamespaceDeclaration 
>>>
>>> [3] http://www.w3.org/TR/2011/WD-prov-dm-20111018/#prov-dm-namespace
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm

Received on Thursday, 20 October 2011 14:59:41 UTC