- From: James Cheney <jcheney@inf.ed.ac.uk>
- Date: Mon, 22 Aug 2011 13:46:35 +0100
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: public-prov-wg@w3.org
- Message-Id: <650F692E-D171-46BE-9AD8-AFD40A044F1D@inf.ed.ac.uk>
('binary' encoding is not supported, stored as-is)
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.
Received on Monday, 22 August 2011 12:47:02 UTC