[m-rev.] diff: update SWRL to ODASE 1.0 components.

Peter Ross pro at missioncriticalit.com
Fri Jun 8 13:55:56 AEST 2007


Hi,


===================================================================


Update SWRL to use  versions 1.0.0.0 of hedwig, libs and ont-projects.

dist/src/hedwig-parser/generated/*.m:
	Generated using hedwig 1.0.0.0


Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.m	(working copy)
@@ -130,7 +130,7 @@
 'DifferentIndividualsAtom_to_uri'(individual(URI)) = URI.
 
 'insert_DifferentIndividualsAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom", NewBornURI, !Updates).
 
 'delete_DifferentIndividualsAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Variable.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Variable.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Variable.m	(working copy)
@@ -95,7 +95,7 @@
 'Variable_to_uri'(individual(URI)) = URI.
 
 'insert_Variable'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#Variable"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#Variable", NewBornURI, !Updates).
 
 'delete_Variable'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#Variable", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#Variable", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.m	(working copy)
@@ -132,7 +132,7 @@
 'ClassAtom_to_uri'(individual(URI)) = URI.
 
 'insert_ClassAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#ClassAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#ClassAtom", NewBornURI, !Updates).
 
 'delete_ClassAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#ClassAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#ClassAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.m	(working copy)
@@ -133,7 +133,7 @@
 'BuiltinAtom_to_uri'(individual(URI)) = URI.
 
 'insert_BuiltinAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#BuiltinAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#BuiltinAtom", NewBornURI, !Updates).
 
 'delete_BuiltinAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#BuiltinAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#BuiltinAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.owl.DatatypeProperty.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.owl.DatatypeProperty.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.owl.DatatypeProperty.m	(working copy)
@@ -95,7 +95,7 @@
 'DatatypeProperty_to_uri'(individual(URI)) = URI.
 
 'insert_DatatypeProperty'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2002/07/owl#DatatypeProperty"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2002/07/owl#DatatypeProperty", NewBornURI, !Updates).
 
 'delete_DatatypeProperty'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2002/07/owl#DatatypeProperty", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2002/07/owl#DatatypeProperty", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.m	(working copy)
@@ -133,7 +133,7 @@
 'AtomList_to_uri'(individual(URI)) = URI.
 
 'insert_AtomList'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#AtomList"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#AtomList", NewBornURI, !Updates).
 
 'delete_AtomList'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#AtomList", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#AtomList", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.swrl.m	(working copy)
@@ -85,17 +85,11 @@
 'dataRange_uri' = "http://www.w3.org/2003/11/swrl#dataRange".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DataRangeAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_dataRange(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#dataRange", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_dataRange(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DataRangeAtom'.swrl.dataRange(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#dataRange", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#dataRange", new_or_old_Thing_to_uri(Object), !Updates).
+set_dataRange(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#dataRange", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Atom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Atom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Atom.m	(working copy)
@@ -131,7 +131,7 @@
 'Atom_to_uri'(individual(URI)) = URI.
 
 'insert_Atom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#Atom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#Atom", NewBornURI, !Updates).
 
 'delete_Atom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#Atom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#Atom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.m	(working copy)
@@ -138,7 +138,7 @@
 'DatavaluedPropertyAtom_to_uri'(individual(URI)) = URI.
 
 'insert_DatavaluedPropertyAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom", NewBornURI, !Updates).
 
 'delete_DatavaluedPropertyAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.swrl.m	(working copy)
@@ -120,25 +120,16 @@
 'propertyPredicate_uri' = "http://www.w3.org/2003/11/swrl#propertyPredicate".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'IndividualPropertyAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_argument2(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument2(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'IndividualPropertyAtom'.swrl.argument2(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument2(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_propertyPredicate(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_propertyPredicate(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'IndividualPropertyAtom'.swrl.propertyPredicate(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", new_or_old_Thing_to_uri(Object), !Updates).
+set_propertyPredicate(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.swrl.m	(working copy)
@@ -85,17 +85,11 @@
 'argument2_uri' = "http://www.w3.org/2003/11/swrl#argument2".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'SameIndividualAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_argument2(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument2(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'SameIndividualAtom'.swrl.argument2(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument2(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DataRangeAtom.m	(working copy)
@@ -132,7 +132,7 @@
 'DataRangeAtom_to_uri'(individual(URI)) = URI.
 
 'insert_DataRangeAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#DataRangeAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#DataRangeAtom", NewBornURI, !Updates).
 
 'delete_DataRangeAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#DataRangeAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#DataRangeAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.rdf.Property.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.rdf.Property.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.rdf.Property.m	(working copy)
@@ -95,7 +95,7 @@
 'Property_to_uri'(individual(URI)) = URI.
 
 'insert_Property'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/1999/02/22-rdf-syntax-ns#Property", NewBornURI, !Updates).
 
 'delete_Property'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/1999/02/22-rdf-syntax-ns#Property", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/1999/02/22-rdf-syntax-ns#Property", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.rdf.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.rdf.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.rdf.m	(working copy)
@@ -66,32 +66,20 @@
 
 'rest_uri' = "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest".
 
-set_all_first(Snapshot, NewOrOldSubject, NewValues:Range, !Updates) :-
-    ( NewOrOldSubject = new(newborn(SubjectUri)),
-        OldValues = []:list(Range)
-    ; NewOrOldSubject = old(Subject),
-        Subject = individual(SubjectUri),
-        solutions.solutions(
-            (pred(V::out) is nondet :-
-                hedwig_swrl.rdf.'List'.rdf.first(Snapshot, Subject, V)
-            ), OldValues)
-    ),
-    hedwig_runtime.updates.add_property_setall(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", list.map('Thing_to_uri', OldValues), list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
+set_all_first(_, new(newborn(SubjectURI)), NewValues,
+        !Updates) :-
+    hedwig_runtime.updates.post_property_setall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
+set_all_first(_, old(individual(SubjectURI)), NewValues, !Updates) :-
+    hedwig_runtime.updates.post_property_setall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
 
-delete_all_first(Snapshot, Subject, !Updates) :-
-    hedwig_swrl.rdf.'List'.rdf.set_all_first(Snapshot, old(Subject), []:list(new_or_old(hedwig_swrl.'Thing')), !Updates).
+delete_all_first(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_deleteall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", !Updates).
 
-set_all_rest(Snapshot, NewOrOldSubject, NewValues:Range, !Updates) :-
-    ( NewOrOldSubject = new(newborn(SubjectUri)),
-        OldValues = []:list(Range)
-    ; NewOrOldSubject = old(Subject),
-        Subject = individual(SubjectUri),
-        solutions.solutions(
-            (pred(V::out) is nondet :-
-                hedwig_swrl.rdf.'List'.rdf.rest(Snapshot, Subject, V)
-            ), OldValues)
-    ),
-    hedwig_runtime.updates.add_property_setall(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", list.map('Thing_to_uri', OldValues), list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
+set_all_rest(_, new(newborn(SubjectURI)), NewValues,
+        !Updates) :-
+    hedwig_runtime.updates.post_property_setall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
+set_all_rest(_, old(individual(SubjectURI)), NewValues, !Updates) :-
+    hedwig_runtime.updates.post_property_setall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", list.map(new_or_old_Thing_to_uri, NewValues), !Updates).
 
-delete_all_rest(Snapshot, Subject, !Updates) :-
-    hedwig_swrl.rdf.'List'.rdf.set_all_rest(Snapshot, old(Subject), []:list(new_or_old(hedwig_swrl.rdf.'List'.'List')), !Updates).
+delete_all_rest(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_deleteall(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.swrl.m	(working copy)
@@ -87,39 +87,17 @@
 'head_uri' = "http://www.w3.org/2003/11/swrl#head".
 
 set_body(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#body", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_body(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    ( hedwig_swrl.swrl.'Imp'.swrl.body(Snapshot, Subject, CurrentObject) ->
-        MaybeOldValue = yes('Thing_to_uri'(CurrentObject))
-    ;
-        MaybeOldValue = no
-    ),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#body", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#body", new_or_old_Thing_to_uri(Object), !Updates).
+set_body(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#body", new_or_old_Thing_to_uri(Object), !Updates).
 
-unset_body(Snapshot, Subject, !Updates) :-
-    ( hedwig_swrl.swrl.'Imp'.swrl.body(Snapshot, Subject, OldValue) ->
-        Subject = individual(SubjectUri),
-        hedwig_runtime.updates.add_property_unset(SubjectUri, "http://www.w3.org/2003/11/swrl#body", 'Thing_to_uri'(OldValue), !Updates)
-    ;
-        true
-    ).
+unset_body(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_unset(SubjectURI, "http://www.w3.org/2003/11/swrl#body", !Updates).
 
 set_head(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#head", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_head(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    ( hedwig_swrl.swrl.'Imp'.swrl.head(Snapshot, Subject, CurrentObject) ->
-        MaybeOldValue = yes('Thing_to_uri'(CurrentObject))
-    ;
-        MaybeOldValue = no
-    ),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#head", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#head", new_or_old_Thing_to_uri(Object), !Updates).
+set_head(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#head", new_or_old_Thing_to_uri(Object), !Updates).
 
-unset_head(Snapshot, Subject, !Updates) :-
-    ( hedwig_swrl.swrl.'Imp'.swrl.head(Snapshot, Subject, OldValue) ->
-        Subject = individual(SubjectUri),
-        hedwig_runtime.updates.add_property_unset(SubjectUri, "http://www.w3.org/2003/11/swrl#head", 'Thing_to_uri'(OldValue), !Updates)
-    ;
-        true
-    ).
+unset_head(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_unset(SubjectURI, "http://www.w3.org/2003/11/swrl#head", !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.ClassAtom.swrl.m	(working copy)
@@ -85,17 +85,11 @@
 'classPredicate_uri' = "http://www.w3.org/2003/11/swrl#classPredicate".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'ClassAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_classPredicate(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#classPredicate", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_classPredicate(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'ClassAtom'.swrl.classPredicate(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#classPredicate", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#classPredicate", new_or_old_Thing_to_uri(Object), !Updates).
+set_classPredicate(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#classPredicate", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.SameIndividualAtom.m	(working copy)
@@ -130,7 +130,7 @@
 'SameIndividualAtom_to_uri'(individual(URI)) = URI.
 
 'insert_SameIndividualAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#SameIndividualAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#SameIndividualAtom", NewBornURI, !Updates).
 
 'delete_SameIndividualAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#SameIndividualAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#SameIndividualAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.owl.Class.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.owl.Class.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.owl.Class.m	(working copy)
@@ -95,7 +95,7 @@
 'Class_to_uri'(individual(URI)) = URI.
 
 'insert_Class'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2002/07/owl#Class"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2002/07/owl#Class", NewBornURI, !Updates).
 
 'delete_Class'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2002/07/owl#Class", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2002/07/owl#Class", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.rdfs.Datatype.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.rdfs.Datatype.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.rdfs.Datatype.m	(working copy)
@@ -95,7 +95,7 @@
 'Datatype_to_uri'(individual(URI)) = URI.
 
 'insert_Datatype'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2000/01/rdf-schema#Datatype"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2000/01/rdf-schema#Datatype", NewBornURI, !Updates).
 
 'delete_Datatype'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2000/01/rdf-schema#Datatype", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2000/01/rdf-schema#Datatype", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Imp.m	(working copy)
@@ -122,7 +122,7 @@
 'Imp_to_uri'(individual(URI)) = URI.
 
 'insert_Imp'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#Imp"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#Imp", NewBornURI, !Updates).
 
 'delete_Imp'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#Imp", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#Imp", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.owl.ObjectProperty.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.owl.ObjectProperty.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.owl.ObjectProperty.m	(working copy)
@@ -95,7 +95,7 @@
 'ObjectProperty_to_uri'(individual(URI)) = URI.
 
 'insert_ObjectProperty'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2002/07/owl#ObjectProperty"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2002/07/owl#ObjectProperty", NewBornURI, !Updates).
 
 'delete_ObjectProperty'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2002/07/owl#ObjectProperty", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2002/07/owl#ObjectProperty", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DatavaluedPropertyAtom.swrl.m	(working copy)
@@ -120,25 +120,16 @@
 'propertyPredicate_uri' = "http://www.w3.org/2003/11/swrl#propertyPredicate".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DatavaluedPropertyAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_argument2(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument2(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DatavaluedPropertyAtom'.swrl.argument2(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument2(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_propertyPredicate(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_propertyPredicate(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DatavaluedPropertyAtom'.swrl.propertyPredicate(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", new_or_old_Thing_to_uri(Object), !Updates).
+set_propertyPredicate(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#propertyPredicate", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.args.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.args.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.args.m	(working copy)
@@ -6,19 +6,12 @@
 % Object information:
 %
 % datatype_property
-% range(
-%   datatype(
-%     datatype_and_ref(
-%       xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%       datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))
+% range(datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), [max_card(1)])
 %
Index: dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.rdf.List.m	(working copy)
@@ -107,7 +107,7 @@
 'List_to_uri'(individual(URI)) = URI.
 
 'insert_List'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/1999/02/22-rdf-syntax-ns#List"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/1999/02/22-rdf-syntax-ns#List", NewBornURI, !Updates).
 
 'delete_List'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/1999/02/22-rdf-syntax-ns#List", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/1999/02/22-rdf-syntax-ns#List", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.owl.DataRange.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.owl.DataRange.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.owl.DataRange.m	(working copy)
@@ -95,7 +95,7 @@
 'DataRange_to_uri'(individual(URI)) = URI.
 
 'insert_DataRange'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2002/07/owl#DataRange"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2002/07/owl#DataRange", NewBornURI, !Updates).
 
 'delete_DataRange'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2002/07/owl#DataRange", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2002/07/owl#DataRange", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.minArgs.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.minArgs.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.minArgs.m	(working copy)
@@ -6,19 +6,12 @@
 % Object information:
 %
 % datatype_property
-% range(
-%   datatype(
-%     datatype_and_ref(
-%       xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%       datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))
+% range(datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), [max_card(1)])
 %
Index: dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.maxArgs.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.maxArgs.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.facts.swrlb.maxArgs.m	(working copy)
@@ -6,19 +6,12 @@
 % Object information:
 %
 % datatype_property
-% range(
-%   datatype(
-%     datatype_and_ref(
-%       xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%       datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))
+% range(datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % is_restricted_by_class(
 %   class(uri("http://www.w3.org/2003/11/swrl#Builtin")), [max_card(1)])
 %
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Builtin.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Builtin.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.Builtin.m	(working copy)
@@ -8,38 +8,29 @@
 % is_subclass_of(class(anon("anonymous_11471")))
 % is_subclass_of(class(anon("anonymous_11763")))
 % is_subclass_of(class(anon("anonymous_11765")))
-% is_subclass_of(class(anon("anonymous_24613")))
-% is_subclass_of(class(anon("anonymous_24905")))
-% is_subclass_of(class(anon("anonymous_24907")))
+% is_subclass_of(class(anon("anonymous_17908")))
+% is_subclass_of(class(anon("anonymous_18200")))
+% is_subclass_of(class(anon("anonymous_18202")))
 % is_class
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#args"), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#args"), [max_card(1)])
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#maxArgs"), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#maxArgs"), [max_card(1)])
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#minArgs"), 
 %   [
 %    all_values_from(
-%      datatype(
-%        datatype_and_ref(
-%          xsd(builtin_type(builtin_derived_type(xsd_int))), 
-%          datatype_ref(uri("http://www.w3.org/2001/XMLSchema#int")))))])
+%      datatype(xsd(builtin_type(builtin_derived_type(xsd_int)))))])
 % property_restriction(
 %   property("http://www.w3.org/2003/11/swrlb#minArgs"), [max_card(1)])
 %
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.rdf.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.rdf.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.AtomList.rdf.m	(working copy)
@@ -87,39 +87,17 @@
 'rest_uri' = "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest".
 
 set_first(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_first(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    ( hedwig_swrl.swrl.'AtomList'.rdf.first(Snapshot, Subject, CurrentObject) ->
-        MaybeOldValue = yes('Thing_to_uri'(CurrentObject))
-    ;
-        MaybeOldValue = no
-    ),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", new_or_old_Thing_to_uri(Object), !Updates).
+set_first(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", new_or_old_Thing_to_uri(Object), !Updates).
 
-unset_first(Snapshot, Subject, !Updates) :-
-    ( hedwig_swrl.swrl.'AtomList'.rdf.first(Snapshot, Subject, OldValue) ->
-        Subject = individual(SubjectUri),
-        hedwig_runtime.updates.add_property_unset(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", 'Thing_to_uri'(OldValue), !Updates)
-    ;
-        true
-    ).
+unset_first(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_unset(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#first", !Updates).
 
 set_rest(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_rest(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    ( hedwig_swrl.swrl.'AtomList'.rdf.rest(Snapshot, Subject, CurrentObject) ->
-        MaybeOldValue = yes('Thing_to_uri'(CurrentObject))
-    ;
-        MaybeOldValue = no
-    ),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", new_or_old_Thing_to_uri(Object), !Updates).
+set_rest(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", new_or_old_Thing_to_uri(Object), !Updates).
 
-unset_rest(Snapshot, Subject, !Updates) :-
-    ( hedwig_swrl.swrl.'AtomList'.rdf.rest(Snapshot, Subject, OldValue) ->
-        Subject = individual(SubjectUri),
-        hedwig_runtime.updates.add_property_unset(SubjectUri, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", 'Thing_to_uri'(OldValue), !Updates)
-    ;
-        true
-    ).
+unset_rest(_, individual(SubjectURI), !Updates) :-
+    hedwig_runtime.updates.post_property_unset(SubjectURI, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest", !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.DifferentIndividualsAtom.swrl.m	(working copy)
@@ -85,17 +85,11 @@
 'argument2_uri' = "http://www.w3.org/2003/11/swrl#argument2".
 
 set_argument1(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument1(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DifferentIndividualsAtom'.swrl.argument1(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument1(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument1", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_argument2(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_argument2(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'DifferentIndividualsAtom'.swrl.argument2(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
+set_argument2(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#argument2", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.m	(working copy)
@@ -175,7 +175,7 @@
     TransResult = ok - [].
 
 annihilate_individual(_, individual(Uri), !Updates) :-
-    add_individual_annihilate(Uri, !Updates).
+    post_individual_annihilate(Uri, !Updates).
 
 :- inst transaction_pred_ground ==
     (pred(in, out, in, out, in, out) is cc_multi).
@@ -223,7 +223,7 @@
     %
 :- pred test_runtime_version(hedwig_runtime.hedwig_runtime_version::in) is det.
 
-test_runtime_version('0.3').
+test_runtime_version('0.4').
 
 %------------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et encoding=utf8 fileencoding=utf8
Index: dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6824.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6824.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6824.m	(working copy)
@@ -101,7 +101,7 @@
 'anonymous_6824_to_uri'(individual(URI)) = URI.
 
 'insert_anonymous_6824'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["_:anonymous_6824"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("_:anonymous_6824", NewBornURI, !Updates).
 
 'delete_anonymous_6824'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("_:anonymous_6824", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("_:anonymous_6824", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.swrl.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.swrl.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.BuiltinAtom.swrl.m	(working copy)
@@ -85,17 +85,11 @@
 'builtin_uri' = "http://www.w3.org/2003/11/swrl#builtin".
 
 set_arguments(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#arguments", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_arguments(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'BuiltinAtom'.swrl.arguments(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#arguments", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#arguments", new_or_old_Thing_to_uri(Object), !Updates).
+set_arguments(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#arguments", new_or_old_Thing_to_uri(Object), !Updates).
 
 set_builtin(_Snapshot, new(newborn(SubjectUri)), Object, !Updates) :-
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#builtin", no, new_or_old_Thing_to_uri(Object), !Updates).
-set_builtin(Snapshot, old(Subject), Object, !Updates) :-
-    Subject = individual(SubjectUri),
-    hedwig_swrl.swrl.'BuiltinAtom'.swrl.builtin(Snapshot, Subject, CurrentObject),
-    MaybeOldValue = yes('Thing_to_uri'(CurrentObject)),
-    hedwig_runtime.updates.add_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#builtin", MaybeOldValue, new_or_old_Thing_to_uri(Object), !Updates).
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#builtin", new_or_old_Thing_to_uri(Object), !Updates).
+set_builtin(_Snapshot, old(individual(SubjectUri)), Object, !Updates) :-
+    hedwig_runtime.updates.post_property_set(SubjectUri, "http://www.w3.org/2003/11/swrl#builtin", new_or_old_Thing_to_uri(Object), !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.swrl.IndividualPropertyAtom.m	(working copy)
@@ -143,7 +143,7 @@
 'IndividualPropertyAtom_to_uri'(individual(URI)) = URI.
 
 'insert_IndividualPropertyAtom'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("http://www.w3.org/2003/11/swrl#IndividualPropertyAtom", NewBornURI, !Updates).
 
 'delete_IndividualPropertyAtom'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("http://www.w3.org/2003/11/swrl#IndividualPropertyAtom", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("http://www.w3.org/2003/11/swrl#IndividualPropertyAtom", URI, !Updates).
Index: dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6828.m
===================================================================
--- dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6828.m	(revision 13820)
+++ dist/src/hedwig-parser/generated/hedwig_swrl.anonymous.anonymous_6828.m	(working copy)
@@ -101,7 +101,7 @@
 'anonymous_6828_to_uri'(individual(URI)) = URI.
 
 'insert_anonymous_6828'(_, newborn(NewBornURI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_insert(["_:anonymous_6828"], NewBornURI, !Updates).
+    hedwig_runtime.updates.post_class_instance_insert("_:anonymous_6828", NewBornURI, !Updates).
 
 'delete_anonymous_6828'(_, individual(URI), !Updates) :-
-    hedwig_runtime.updates.add_class_instance_delete("_:anonymous_6828", URI, !Updates).
+    hedwig_runtime.updates.post_class_instance_delete("_:anonymous_6828", URI, !Updates).

Property changes on: externals
___________________________________________________________________
Name: svn:externals
   - libs http://rawls:81/svn/mc/libs/trunk/dist
ont-projects http://rawls:81/svn/mc/ont-projects/trunk/dist/src
hedwig http://rawls:81/svn/mc/hedwig/trunk/dist


   + libs http://rawls:81/svn/mc/libs/tags/releases/1.0.0.0/dist
ont-projects http://rawls:81/svn/mc/ont-projects/tags/releases/1.0.0.0/dist/src
hedwig http://rawls:81/svn/mc/hedwig/tags/releases/1.0.0.0/dist




--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list