- From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
- Date: Tue, 28 Aug 2012 15:23:32 +0100
- To: public-prov-wg@w3.org
In the PROV-O meeting, we have decided to start tracking the PROV-Constraints and see how/if they would/should be represented in OWL. Formalizing PROV-Constraints as OWL email: http://lists.w3.org/Archives/Public/public-prov-wg/2012Aug/0057.html OWL: http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/prov-constraints.owl Also see pgroth's https://github.com/pgroth/prov-constraints-validator-spin Participants: * Stian * Jun * Khalid * Tim (discussion only) I've started this document: https://docs.google.com/spreadsheet/ccc?key=0AtpchNBBcY-qdEFXX0tjbkoyMTQwQmJFLWxDaExQTnc And put in all the definitions/inferences/rules as of todays dvcs.w3.org/hg/prov/raw-file/tip/model/prov-constraints.html I've started sorted roughly how/where we can implement the inferences, but not gone through the constraints yet. Any volunteers, please! (Jun/Khalid?) The "Where?" options are: * prov-o.owl (is or should be in the official PROV-O Owl, like subproperty/subclass) * prov-constraints.owl (expressable in OWL, for instance min cardinality or property chains) * rules.sparql (need SPARQL or SPIN rules) * n/a (not applicable or expressable) -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of Manchester
Received on Tuesday, 28 August 2012 14:24:23 UTC