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

OK, I will take a look.  I had a look at the documentation but didn't see anything that immediately matched what I wanted to do.

Presumably the source code is the only complete documentation :)

Thanks,
--James

On Aug 25, 2011, at 4:01 PM, Graham Klyne wrote:

> I think there might be something in ReSpec already - there's a feature for linking to external definitions, but I don't know the details.
> 
> Something like <a class="externalDFN">
> 
> #g
> --
> 
> On 25/08/2011 15:08, James Cheney wrote:
>> I don't think so.  What I would like to be able to do is write something like
>> 
>> <my_provenance_constraint number="nnnn">
>> Blah blah blah
>> </my_provenance_constraint>
>> 
>> and have this get expanded to:
>> 
>> <div class='constraint'>
>> <a name="PIDM:nnnn">
>> blah blah blah blah
>> </a>  [<a href="<url-of-ProvenanceFormalModel.html>#PIDM:nnnn">PIL:nnnn</a>]
>> </div>
>> 
>> thus, avoiding having to explicitly write and maintain the multiple copies of the xref numbers.
>> 
>> I think the easiest way to do this is to hack on the ReSpec javascript to do this transformation to the DOM along with whatever else it does, but cleaner/better solutions are welcome.
>> 
>> Luc also suggested that it would be nice to have the constraint number or a more memorable name appear in the "Inference"/"Constraint" box generated by css.  I don' tthink there's an easy way to do this, but one could instead do`:
>> 
>> <my_provenance_constraint number="nnnn" title="foo">
>> Blah blah blah
>> </my_provenance_constraint>
>> 
>> <div class='constraint'>
>> <h4>  [<a href="<url-of-ProvenanceFormalModel.html>#PIDM:nnnn">PIL:nnnn</a>] Foo</h4>
>> <a name="PIDM:nnnn">
>> blah blah blah blah
>> </a>
>> </div>
>> 
>> --James
>> 
>> On Aug 25, 2011, at 1:34 PM, Graham Klyne wrote:
>> 
>>> I'm not exactly sure what you're trying to achieve, but does title on<a>  elements help?
>>> 
>>> e.g.
>>> [[
>>> <A href="http://someplace.com/neatstuff.gif" title="Me scuba diving">
>>>   me scuba diving last summer
>>> </A>
>>> ]]
>>> from http://www.w3.org/TR/html401/struct/global.html#idx-title-2
>>> 
>>> #g
>>> --
>>> 
>>> On 22/08/2011 13:46, James Cheney wrote:
>>>> 
>>>> 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
>>>> 
>>>> 
>>>> 
>>>> 
>>>> The University of Edinburgh is a charitable body, registered in
>>>> Scotland, with registration number SC005336.
>>> 
>>> 
>> 
>> 
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Thursday, 25 August 2011 17:16:41 UTC