[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