--- a/ontology/bin/rlplus-justify.py Tue Jul 10 15:00:50 2012 +0100
+++ b/ontology/bin/rlplus-justify.py Tue Jul 10 16:29:18 2012 +0100
@@ -8,15 +8,15 @@
explain = {}
-explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent>) [ObjectPropertyDomain(prov:atLocation ObjectUnionOf(prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent>)) ]'] = {'id' : '1', 'abbreviation' : '<a href="#atLocation" class="qname">prov:atLocation</a> rdfs:domain (prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent)', 'errortype' : '' }
-
-explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity>) [ObjectPropertyRange(Annotation(prov:definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;") Annotation(prov:dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence") prov:wasInfluencedBy ObjectUnionOf(prov:Activity prov:Agent prov:Entity>)) ]'] = {'id' : '2', 'abbreviation' : '<a href="#wasInfluencedBy" class="qname">prov:wasInfluencedBy</a> rdfs:range (prov:Activity prov:Agent prov:Entity)', 'errortype' : '' }
+explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent>) [ObjectPropertyDomain(prov:atLocation ObjectUnionOf(prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent>)) ]'] = {'id' : '1', 'abbreviation' : '<a href="#atLocation" class="qname">prov:atLocation</a> rdfs:domain <span class="name">[ (prov:Activity prov:Agent prov:Entity prov:InstantaneousEvent) ]</span>', 'errortype' : '' }
-explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Delegation prov:Derivation prov:Start>) [ObjectPropertyDomain(prov:hadActivity ObjectUnionOf(prov:Delegation prov:Derivation prov:Start>)) ]'] = {'id' : '3', 'abbreviation' : '<a href="#hadActivity" class="qname">prov:hadActivity</a> rdfs:domain (prov:Delegation prov:Derivation prov:Start)', 'errortype' : '' }
+explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity>) [ObjectPropertyRange(Annotation(prov:definition "influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on;") Annotation(prov:dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence") prov:wasInfluencedBy ObjectUnionOf(prov:Activity prov:Agent prov:Entity>)) ]'] = {'id' : '2', 'abbreviation' : '<a href="#wasInfluencedBy" class="qname">prov:wasInfluencedBy</a> rdfs:range <span class="name">[ (prov:Activity prov:Agent prov:Entity) ]</span>', 'errortype' : '' }
-explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage>) [ObjectPropertyDomain(prov:hadRole ObjectUnionOf(prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage>)) ]'] = {'id' : '4', 'abbreviation' : '<a href="#hadRole" class="qname">prov:hadRole</a> rdfs:domain (prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage)', 'errortype' : '' }
+explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Delegation prov:Derivation prov:Start>) [ObjectPropertyDomain(prov:hadActivity ObjectUnionOf(prov:Delegation prov:Derivation prov:Start>)) ]'] = {'id' : '3', 'abbreviation' : '<a href="#hadActivity" class="qname">prov:hadActivity</a> rdfs:domain <span class="name">[ (prov:Delegation prov:Derivation prov:Start) ]</span>', 'errortype' : '' }
-explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity>) [ObjectPropertyDomain(Annotation(prov:definition "influencee: an identifier (o2) for an entity, activity, or agent; ") Annotation(prov:dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence") prov:wasInfluencedBy ObjectUnionOf(prov:Activity prov:Agent prov:Entity>)) ]'] = {'id' : '5', 'abbreviation' : '<a href="#wasInfluencedBy" class="qname">prov:wasInfluencedBy</a> rdfs:domain (prov:Activity prov:Agent prov:Entity)', 'errortype' : '' }
+explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage>) [ObjectPropertyDomain(prov:hadRole ObjectUnionOf(prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage>)) ]'] = {'id' : '4', 'abbreviation' : '<a href="#hadRole" class="qname">prov:hadRole</a> rdfs:domain <span class="name">[ (prov:Association prov:End prov:Generation prov:Invalidation prov:Start prov:Usage) ]</span>', 'errortype' : '' }
+
+explain['Use of non-superclass expression in position that requires a superclass expression: ObjectUnionOf(prov:Activity prov:Agent prov:Entity>) [ObjectPropertyDomain(Annotation(prov:definition "influencee: an identifier (o2) for an entity, activity, or agent; ") Annotation(prov:dm "http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-influence") prov:wasInfluencedBy ObjectUnionOf(prov:Activity prov:Agent prov:Entity>)) ]'] = {'id' : '5', 'abbreviation' : '<a href="#wasInfluencedBy" class="qname">prov:wasInfluencedBy</a> rdfs:domain <span class="name">[ (prov:Activity prov:Agent prov:Entity) ]</span>', 'errortype' : '' }
print '<div style="text-align: center">'
print ' <table id="owl-rl-violations">'