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

On Aug 22, 2011, at 1:38 PM, Luc Moreau wrote:

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

I see.  Do you want to just use "inference" for everything?  I added "constraint" since there were some things that seem like interesting constraints that aren't necessarily inferences.  But it would probably be best to just have one such annotation.


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

I don't know how one can do this short of just writing extra HTML; I think CSS is not able to define macros in this way.  I'd also like to macro-ize things so that the ids are automatically generated, and don't appear in multiple places, etc.  Right now it is fragile.  

I know it could be done with XSLT but suspect this would not interact well with the ReSpec tool.

> 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