Re: cross-referencing constraints in conceptual model and formal model

Hi James,

I like it, I wanted to do it (in fact started doing it, with the class 
inference, as you have seen).

It would be nice to be able to labelled each of these, with a human 
readable label, e.g.
   process execution insertion rule.

Is there an html/css guru who can help with this?

Regards,
Luc


On 08/18/2011 04:10 PM, James Cheney wrote:
> Hi,
>
> I am missing the first 30-40 minutes of the teleconference 
> (supervising an exam), but might be able to join later.
>
> I had an action item to add cross-references between the conceptual 
> model and formal model.
>
> I have added <a name="PIL:XXXX"> tags and cross-reference links to:
>
> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html
>
> and
>
> http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html
>
> I haven't tagged all of the things that seem like they should be 
> tagged (my list of constraints is a week or two out of date).
>
> Basically, the idea is that wherever we have a formal-sounding 
> constraint or inference in the conceptual model, we should have links 
> to/from the corresponding part of the formal model (or semantics, if 
> there are constraints we can't or don't want to specify using OWL).
>
> Right now these are maintained by hand, which could be painful over 
> time.  We may want to add some automation to make it easier to keep 
> these consistent.
>
> If there is time I would appreciate if people could have a look at 
> what I did and indicate whether it seems reasonable (or if there is a 
> known better way to do this kind of thing).
>
> If this looks OK, then going forward we should be careful to keep 
> these consistent.
>
> --James
>
>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>    

-- 
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