rdflib 2.2.21 → 2.2.22-b51259b5

package/lib/store.js

@@ -1,138 +1,97 @@
 "use strict";
 
 var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");
-
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.default = void 0;
 Object.defineProperty(exports, "defaultGraphURI", {
   enumerable: true,
-  get: function get() {
+  get: function () {
     return _canonicalDataFactory.defaultGraphURI;
   }
 });
-
-var _classCallCheck2 = _interopRequireDefault(require("@babel/runtime/helpers/classCallCheck"));
-
-var _createClass2 = _interopRequireDefault(require("@babel/runtime/helpers/createClass"));
-
-var _assertThisInitialized2 = _interopRequireDefault(require("@babel/runtime/helpers/assertThisInitialized"));
-
-var _inherits2 = _interopRequireDefault(require("@babel/runtime/helpers/inherits"));
-
-var _possibleConstructorReturn2 = _interopRequireDefault(require("@babel/runtime/helpers/possibleConstructorReturn"));
-
-var _getPrototypeOf2 = _interopRequireDefault(require("@babel/runtime/helpers/getPrototypeOf"));
-
 var _defineProperty2 = _interopRequireDefault(require("@babel/runtime/helpers/defineProperty"));
-
 var _classOrder = _interopRequireDefault(require("./class-order"));
-
 var _canonicalDataFactory = require("./factories/canonical-data-factory");
-
 var _formula = _interopRequireDefault(require("./formula"));
-
 var _utils = require("./utils");
-
 var _utilsJs = require("./utils-js");
-
 var _terms = require("./utils/terms");
-
 var _node = _interopRequireDefault(require("./node"));
-
 var _variable = _interopRequireDefault(require("./variable"));
-
 var _query = require("./query");
-
 var _types = require("./types");
-
 var _namedNode = _interopRequireDefault(require("./named-node"));
-
 var _index = require("./index");
-
-var _serialize2 = _interopRequireDefault(require("./serialize"));
-
+var _serialize = _interopRequireDefault(require("./serialize"));
 var _blankNode = _interopRequireDefault(require("./blank-node"));
-
 var _defaultGraph = _interopRequireDefault(require("./default-graph"));
-
 var _literal = _interopRequireDefault(require("./literal"));
-
-function ownKeys(object, enumerableOnly) { var keys = Object.keys(object); if (Object.getOwnPropertySymbols) { var symbols = Object.getOwnPropertySymbols(object); enumerableOnly && (symbols = symbols.filter(function (sym) { return Object.getOwnPropertyDescriptor(object, sym).enumerable; })), keys.push.apply(keys, symbols); } return keys; }
-
-function _objectSpread(target) { for (var i = 1; i < arguments.length; i++) { var source = null != arguments[i] ? arguments[i] : {}; i % 2 ? ownKeys(Object(source), !0).forEach(function (key) { (0, _defineProperty2.default)(target, key, source[key]); }) : Object.getOwnPropertyDescriptors ? Object.defineProperties(target, Object.getOwnPropertyDescriptors(source)) : ownKeys(Object(source)).forEach(function (key) { Object.defineProperty(target, key, Object.getOwnPropertyDescriptor(source, key)); }); } return target; }
-
-function _createForOfIteratorHelper(o, allowArrayLike) { var it = typeof Symbol !== "undefined" && o[Symbol.iterator] || o["@@iterator"]; if (!it) { if (Array.isArray(o) || (it = _unsupportedIterableToArray(o)) || allowArrayLike && o && typeof o.length === "number") { if (it) o = it; var i = 0; var F = function F() {}; return { s: F, n: function n() { if (i >= o.length) return { done: true }; return { done: false, value: o[i++] }; }, e: function e(_e) { throw _e; }, f: F }; } throw new TypeError("Invalid attempt to iterate non-iterable instance.\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method."); } var normalCompletion = true, didErr = false, err; return { s: function s() { it = it.call(o); }, n: function n() { var step = it.next(); normalCompletion = step.done; return step; }, e: function e(_e2) { didErr = true; err = _e2; }, f: function f() { try { if (!normalCompletion && it.return != null) it.return(); } finally { if (didErr) throw err; } } }; }
-
-function _unsupportedIterableToArray(o, minLen) { if (!o) return; if (typeof o === "string") return _arrayLikeToArray(o, minLen); var n = Object.prototype.toString.call(o).slice(8, -1); if (n === "Object" && o.constructor) n = o.constructor.name; if (n === "Map" || n === "Set") return Array.from(o); if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _arrayLikeToArray(o, minLen); }
-
-function _arrayLikeToArray(arr, len) { if (len == null || len > arr.length) len = arr.length; for (var i = 0, arr2 = new Array(len); i < len; i++) { arr2[i] = arr[i]; } return arr2; }
-
-function _createSuper(Derived) { var hasNativeReflectConstruct = _isNativeReflectConstruct(); return function _createSuperInternal() { var Super = (0, _getPrototypeOf2.default)(Derived), result; if (hasNativeReflectConstruct) { var NewTarget = (0, _getPrototypeOf2.default)(this).constructor; result = Reflect.construct(Super, arguments, NewTarget); } else { result = Super.apply(this, arguments); } return (0, _possibleConstructorReturn2.default)(this, result); }; }
-
-function _isNativeReflectConstruct() { if (typeof Reflect === "undefined" || !Reflect.construct) return false; if (Reflect.construct.sham) return false; if (typeof Proxy === "function") return true; try { Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function () {})); return true; } catch (e) { return false; } }
-
-var owlNamespaceURI = 'http://www.w3.org/2002/07/owl#';
-
+/*  Identity management and indexing for RDF
+ *
+ * This file provides  IndexedFormula a formula (set of triples) which
+ * indexed by predicate, subject and object.
+ *
+ * It "smushes"  (merges into a single node) things which are identical
+ * according to owl:sameAs or an owl:InverseFunctionalProperty
+ * or an owl:FunctionalProperty
+ *
+ *
+ *  2005-10 Written Tim Berners-Lee
+ *  2007    Changed so as not to munge statements from documents when smushing
+ *  2019    Converted to typescript
+ *
+ *
+*/
+
+/** @module store */
+
+const owlNamespaceURI = 'http://www.w3.org/2002/07/owl#';
 // var link_ns = 'http://www.w3.org/2007/ont/link#'
+
 // Handle Functional Property
 function handleFP(formula, subj, pred, obj) {
   var o1 = formula.any(subj, pred, undefined);
-
   if (!o1) {
     return false; // First time with this value
-  } // log.warn("Equating "+o1.uri+" and "+obj.uri + " because FP "+pred.uri);  //@@
-
-
+  }
+  // log.warn("Equating "+o1.uri+" and "+obj.uri + " because FP "+pred.uri);  //@@
   formula.equate(o1, obj);
   return true;
 } // handleFP
-// Handle Inverse Functional Property
-
 
+// Handle Inverse Functional Property
 function handleIFP(formula, subj, pred, obj) {
   var s1 = formula.any(undefined, pred, obj);
-
   if (!s1) {
     return false; // First time with this value
-  } // log.warn("Equating "+s1.uri+" and "+subj.uri + " because IFP "+pred.uri);  //@@
-
-
+  }
+  // log.warn("Equating "+s1.uri+" and "+subj.uri + " because IFP "+pred.uri);  //@@
   formula.equate(s1, subj);
   return true;
 } // handleIFP
 
-
 function handleRDFType(formula, subj, pred, obj, why) {
   //@ts-ignore this method does not seem to exist in this library
   if (formula.typeCallback) {
     formula.typeCallback(formula, obj, why);
   }
-
   var x = formula.classActions[formula.id(obj)];
   var done = false;
-
   if (x) {
     for (var i = 0; i < x.length; i++) {
       done = done || x[i](formula, subj, pred, obj, why);
     }
   }
-
   return done; // statement given is not needed if true
 }
+
 /**
  * Indexed Formula aka Store
  */
-
-
-var IndexedFormula = /*#__PURE__*/function (_Formula) {
-  (0, _inherits2.default)(IndexedFormula, _Formula);
-
-  var _super = _createSuper(IndexedFormula);
-
+class IndexedFormula extends _formula.default {
   // IN future - allow pass array of statements to constructor
-
   /**
    * An UpdateManager initialised to this store
    */
@@ -172,1159 +131,938 @@ var IndexedFormula = /*#__PURE__*/function (_Formula) {
    * @param [opts.rdfArrayRemove] - Function which removes statements from the store
    * @param [opts.dataCallback] - Callback when a statement is added to the store, will not trigger when adding duplicates
    */
-  function IndexedFormula(features) {
-    var _this;
-
-    var opts = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : {};
-    (0, _classCallCheck2.default)(this, IndexedFormula);
-    _this = _super.call(this, undefined, undefined, undefined, undefined, opts);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "updater", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "namespaces", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "classActions", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "propertyActions", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "redirections", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "aliases", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "HTTPRedirects", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "subjectIndex", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "predicateIndex", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "objectIndex", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "whyIndex", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "index", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "features", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "_universalVariables", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "_existentialVariables", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "rdfArrayRemove", void 0);
-    (0, _defineProperty2.default)((0, _assertThisInitialized2.default)(_this), "dataCallbacks", void 0);
-    _this.propertyActions = {};
-    _this.classActions = {};
-    _this.redirections = [];
-    _this.aliases = [];
-    _this.HTTPRedirects = [];
-    _this.subjectIndex = [];
-    _this.predicateIndex = [];
-    _this.objectIndex = [];
-    _this.whyIndex = [];
-    _this.index = [_this.subjectIndex, _this.predicateIndex, _this.objectIndex, _this.whyIndex];
-    _this.namespaces = {}; // Dictionary of namespace prefixes
-
-    _this.features = features || [// By default, devs do not expect these features.
+  constructor(features) {
+    let opts = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : {};
+    super(undefined, undefined, undefined, undefined, opts);
+    (0, _defineProperty2.default)(this, "updater", void 0);
+    (0, _defineProperty2.default)(this, "namespaces", void 0);
+    (0, _defineProperty2.default)(this, "classActions", void 0);
+    (0, _defineProperty2.default)(this, "propertyActions", void 0);
+    (0, _defineProperty2.default)(this, "redirections", void 0);
+    (0, _defineProperty2.default)(this, "aliases", void 0);
+    (0, _defineProperty2.default)(this, "HTTPRedirects", void 0);
+    (0, _defineProperty2.default)(this, "subjectIndex", void 0);
+    (0, _defineProperty2.default)(this, "predicateIndex", void 0);
+    (0, _defineProperty2.default)(this, "objectIndex", void 0);
+    (0, _defineProperty2.default)(this, "whyIndex", void 0);
+    (0, _defineProperty2.default)(this, "index", void 0);
+    (0, _defineProperty2.default)(this, "features", void 0);
+    (0, _defineProperty2.default)(this, "_universalVariables", void 0);
+    (0, _defineProperty2.default)(this, "_existentialVariables", void 0);
+    (0, _defineProperty2.default)(this, "rdfArrayRemove", void 0);
+    (0, _defineProperty2.default)(this, "dataCallbacks", void 0);
+    this.propertyActions = {};
+    this.classActions = {};
+    this.redirections = [];
+    this.aliases = [];
+    this.HTTPRedirects = [];
+    this.subjectIndex = [];
+    this.predicateIndex = [];
+    this.objectIndex = [];
+    this.whyIndex = [];
+    this.index = [this.subjectIndex, this.predicateIndex, this.objectIndex, this.whyIndex];
+    this.namespaces = {}; // Dictionary of namespace prefixes
+    this.features = features || [// By default, devs do not expect these features.
       // See https://github.com/linkeddata/rdflib.js/issues/458
       //      'sameAs',
       //      'InverseFunctionalProperty',
       //      'FunctionalProperty',
     ];
-    _this.rdfArrayRemove = opts.rdfArrayRemove || _utilsJs.RDFArrayRemove;
-
+    this.rdfArrayRemove = opts.rdfArrayRemove || _utilsJs.RDFArrayRemove;
     if (opts.dataCallback) {
-      _this.dataCallbacks = [opts.dataCallback];
+      this.dataCallbacks = [opts.dataCallback];
     }
-
-    _this.initPropertyActions(_this.features);
-
-    return _this;
+    this.initPropertyActions(this.features);
   }
+
   /**
    * Gets the URI of the default graph
    */
+  static get defaultGraphURI() {
+    return _canonicalDataFactory.defaultGraphURI;
+  }
 
+  /**
+   * Gets this graph with the bindings substituted
+   * @param bindings The bindings
+   */
+  substitute(bindings) {
+    var statementsCopy = this.statements.map(function (ea) {
+      return ea.substitute(bindings);
+    });
+    var y = new IndexedFormula();
+    y.add(statementsCopy);
+    return y;
+  }
 
-  (0, _createClass2.default)(IndexedFormula, [{
-    key: "substitute",
-    value:
-    /**
-     * Gets this graph with the bindings substituted
-     * @param bindings The bindings
-     */
-    function substitute(bindings) {
-      var statementsCopy = this.statements.map(function (ea) {
-        return ea.substitute(bindings);
-      });
-      var y = new IndexedFormula();
-      y.add(statementsCopy);
-      return y;
+  /**
+   * Add a callback which will be triggered after a statement has been added to the store.
+   * @param cb
+   */
+  addDataCallback(cb) {
+    if (!this.dataCallbacks) {
+      this.dataCallbacks = [];
     }
-    /**
-     * Add a callback which will be triggered after a statement has been added to the store.
-     * @param cb
-     */
-
-  }, {
-    key: "addDataCallback",
-    value: function addDataCallback(cb) {
-      if (!this.dataCallbacks) {
-        this.dataCallbacks = [];
-      }
+    this.dataCallbacks.push(cb);
+  }
 
-      this.dataCallbacks.push(cb);
-    }
-    /**
-     * Apply a set of statements to be deleted and to be inserted
-     *
-     * @param patch - The set of statements to be deleted and to be inserted
-     * @param target - The name of the document to patch
-     * @param patchCallback - Callback to be called when patching is complete
-     */
-
-  }, {
-    key: "applyPatch",
-    value: function applyPatch(patch, target, patchCallback) {
-      var targetKB = this;
-      var ds;
-      var binding = null;
-
-      function doPatch(onDonePatch) {
-        if (patch['delete']) {
-          ds = patch['delete']; // console.log(bindingDebug(binding))
-          // console.log('ds before substitute: ' + ds)
-
-          if (binding) ds = ds.substitute(binding); // console.log('applyPatch: delete: ' + ds)
-
-          ds = ds.statements;
-          var bad = [];
-          var ds2 = ds.map(function (st) {
-            // Find the actual statements in the store
-            var sts = targetKB.statementsMatching(st.subject, st.predicate, st.object, target);
-
-            if (sts.length === 0) {
-              // log.info("NOT FOUND deletable " + st)
-              bad.push(st);
-              return null;
-            } else {
-              // log.info("Found deletable " + st)
-              return sts[0];
-            }
-          });
-
-          if (bad.length) {
-            // console.log('Could not find to delete ' + bad.length + 'statements')
-            // console.log('despite ' + targetKB.statementsMatching(bad[0].subject, bad[0].predicate)[0])
-            return patchCallback('Could not find to delete: ' + bad.join('\n or '));
+  /**
+   * Apply a set of statements to be deleted and to be inserted
+   *
+   * @param patch - The set of statements to be deleted and to be inserted
+   * @param target - The name of the document to patch
+   * @param patchCallback - Callback to be called when patching is complete
+   */
+  applyPatch(patch, target, patchCallback) {
+    var targetKB = this;
+    var ds;
+    var binding = null;
+    function doPatch(onDonePatch) {
+      if (patch['delete']) {
+        ds = patch['delete'];
+        // console.log(bindingDebug(binding))
+        // console.log('ds before substitute: ' + ds)
+        if (binding) ds = ds.substitute(binding);
+        // console.log('applyPatch: delete: ' + ds)
+        ds = ds.statements;
+        var bad = [];
+        var ds2 = ds.map(function (st) {
+          // Find the actual statements in the store
+          var sts = targetKB.statementsMatching(st.subject, st.predicate, st.object, target);
+          if (sts.length === 0) {
+            // log.info("NOT FOUND deletable " + st)
+            bad.push(st);
+            return null;
+          } else {
+            // log.info("Found deletable " + st)
+            return sts[0];
           }
-
-          ds2.map(function (st) {
-            targetKB.remove(st);
-          });
-        }
-
-        if (patch['insert']) {
-          // log.info("doPatch insert "+patch['insert'])
-          ds = patch['insert'];
-          if (binding) ds = ds.substitute(binding);
-          ds = ds.statements;
-          ds.map(function (st) {
-            st.graph = target;
-            targetKB.add(st.subject, st.predicate, st.object, st.graph);
-          });
+        });
+        if (bad.length) {
+          // console.log('Could not find to delete ' + bad.length + 'statements')
+          // console.log('despite ' + targetKB.statementsMatching(bad[0].subject, bad[0].predicate)[0])
+          return patchCallback('Could not find to delete: ' + bad.join('\n or '));
         }
-
-        onDonePatch();
+        ds2.map(function (st) {
+          targetKB.remove(st);
+        });
       }
-
-      if (patch.where) {
-        // log.info("Processing WHERE: " + patch.where + '\n')
-        var query = new _query.Query('patch');
-        query.pat = patch.where;
-        query.pat.statements.map(function (st) {
-          st.graph = (0, _index.namedNode)(target.value);
-        }); //@ts-ignore TODO: add sync property to Query when converting Query to typescript
-
-        query.sync = true;
-        var bindingsFound = [];
-        targetKB.query(query, function onBinding(binding) {
-          bindingsFound.push(binding); // console.log('   got a binding: ' + bindingDebug(binding))
-        }, targetKB.fetcher, function onDone() {
-          if (bindingsFound.length === 0) {
-            return patchCallback('No match found to be patched:' + patch.where);
-          }
-
-          if (bindingsFound.length > 1) {
-            return patchCallback('Patch ambiguous. No patch done.');
-          }
-
-          binding = bindingsFound[0];
-          doPatch(patchCallback);
+      if (patch['insert']) {
+        // log.info("doPatch insert "+patch['insert'])
+        ds = patch['insert'];
+        if (binding) ds = ds.substitute(binding);
+        ds = ds.statements;
+        ds.map(function (st) {
+          st.graph = target;
+          targetKB.add(st.subject, st.predicate, st.object, st.graph);
         });
-      } else {
-        doPatch(patchCallback);
       }
+      onDonePatch();
     }
-    /**
-     * N3 allows for declaring blank nodes, this function enables that support
-     *
-     * @param x The blank node to be declared, supported in N3
-     */
-
-  }, {
-    key: "declareExistential",
-    value: function declareExistential(x) {
-      if (!this._existentialVariables) this._existentialVariables = [];
-
-      this._existentialVariables.push(x);
-
-      return x;
+    if (patch.where) {
+      // log.info("Processing WHERE: " + patch.where + '\n')
+      var query = new _query.Query('patch');
+      query.pat = patch.where;
+      query.pat.statements.map(function (st) {
+        st.graph = (0, _index.namedNode)(target.value);
+      });
+      //@ts-ignore TODO: add sync property to Query when converting Query to typescript
+      query.sync = true;
+      var bindingsFound = [];
+      targetKB.query(query, function onBinding(binding) {
+        bindingsFound.push(binding);
+        // console.log('   got a binding: ' + bindingDebug(binding))
+      }, targetKB.fetcher, function onDone() {
+        if (bindingsFound.length === 0) {
+          return patchCallback('No match found to be patched:' + patch.where);
+        }
+        if (bindingsFound.length > 1) {
+          return patchCallback('Patch ambiguous. No patch done.');
+        }
+        binding = bindingsFound[0];
+        doPatch(patchCallback);
+      });
+    } else {
+      doPatch(patchCallback);
     }
-    /**
-     * @param features
-     */
-
-  }, {
-    key: "initPropertyActions",
-    value: function initPropertyActions(features) {
-      // If the predicate is #type, use handleRDFType to create a typeCallback on the object
-      this.propertyActions[this.rdfFactory.id(this.rdfFactory.namedNode('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'))] = [handleRDFType]; // Assumption: these terms are not redirected @@fixme
-
-      if ((0, _utils.ArrayIndexOf)(features, 'sameAs') >= 0) {
-        this.propertyActions[this.rdfFactory.id(this.rdfFactory.namedNode("".concat(owlNamespaceURI, "sameAs")))] = [function (formula, subj, pred, obj, why) {
-          // log.warn("Equating "+subj.uri+" sameAs "+obj.uri);  //@@
-          formula.equate(subj, obj);
-          return true; // true if statement given is NOT needed in the store
-        }]; // sameAs -> equate & don't add to index
-      }
+  }
 
-      if ((0, _utils.ArrayIndexOf)(features, 'InverseFunctionalProperty') >= 0) {
-        this.classActions[this.rdfFactory.id(this.rdfFactory.namedNode("".concat(owlNamespaceURI, "InverseFunctionalProperty")))] = [function (formula, subj, pred, obj, addFn) {
-          // yes subj not pred!
-          return formula.newPropertyAction(subj, handleIFP);
-        }]; // IFP -> handleIFP, do add to index
-      }
+  /**
+   * N3 allows for declaring blank nodes, this function enables that support
+   *
+   * @param x The blank node to be declared, supported in N3
+   */
+  declareExistential(x) {
+    if (!this._existentialVariables) this._existentialVariables = [];
+    this._existentialVariables.push(x);
+    return x;
+  }
 
-      if ((0, _utils.ArrayIndexOf)(features, 'FunctionalProperty') >= 0) {
-        this.classActions[this.rdfFactory.id(this.rdfFactory.namedNode("".concat(owlNamespaceURI, "FunctionalProperty")))] = [function (formula, subj, proj, obj, addFn) {
-          return formula.newPropertyAction(subj, handleFP);
-        }]; // FP => handleFP, do add to index
-      }
+  /**
+   * @param features
+   */
+  initPropertyActions(features) {
+    // If the predicate is #type, use handleRDFType to create a typeCallback on the object
+    this.propertyActions[this.rdfFactory.id(this.rdfFactory.namedNode('http://www.w3.org/1999/02/22-rdf-syntax-ns#type'))] = [handleRDFType];
+
+    // Assumption: these terms are not redirected @@fixme
+    if ((0, _utils.ArrayIndexOf)(features, 'sameAs') >= 0) {
+      this.propertyActions[this.rdfFactory.id(this.rdfFactory.namedNode(`${owlNamespaceURI}sameAs`))] = [function (formula, subj, pred, obj, why) {
+        // log.warn("Equating "+subj.uri+" sameAs "+obj.uri);  //@@
+        formula.equate(subj, obj);
+        return true; // true if statement given is NOT needed in the store
+      }]; // sameAs -> equate & don't add to index
     }
-    /** @deprecated Use {add} instead */
 
-  }, {
-    key: "addStatement",
-    value: function addStatement(st) {
-      this.add(st.subject, st.predicate, st.object, st.graph);
-      return this.statements.length;
+    if ((0, _utils.ArrayIndexOf)(features, 'InverseFunctionalProperty') >= 0) {
+      this.classActions[this.rdfFactory.id(this.rdfFactory.namedNode(`${owlNamespaceURI}InverseFunctionalProperty`))] = [function (formula, subj, pred, obj, addFn) {
+        // yes subj not pred!
+        return formula.newPropertyAction(subj, handleIFP);
+      }]; // IFP -> handleIFP, do add to index
     }
-    /**
-     * Adds a triple (quad) to the store.
-     *
-     * @param subj - The thing about which the fact a relationship is asserted.
-     *        Also accepts a statement or an array of Statements.
-     * @param pred - The relationship which is asserted
-     * @param obj - The object of the relationship, e.g. another thing or a value. If passed a string, this will become a literal.
-     * @param why - The document in which the triple (S,P,O) was or will be stored on the web
-     * @returns The statement added to the store, or the store
-     */
-
-  }, {
-    key: "add",
-    value: function add(subj, pred, obj, why) {
-      var i;
-
-      if (arguments.length === 1) {
-        if (subj instanceof Array) {
-          for (i = 0; i < subj.length; i++) {
-            this.add(subj[i]);
-          }
-        } else if ((0, _terms.isQuad)(subj)) {
-          this.add(subj.subject, subj.predicate, subj.object, subj.graph);
-        } else if ((0, _terms.isStore)(subj)) {
-          this.add(subj.statements);
-        }
-
-        return this;
-      }
-
-      var actions;
-      var st;
-
-      if (!why) {
-        // system generated
-        why = this.fetcher ? this.fetcher.appNode : this.rdfFactory.defaultGraph();
-      }
-
-      if (typeof subj == 'string') {
-        subj = this.rdfFactory.namedNode(subj);
-      }
-
-      pred = _node.default.fromValue(pred);
-
-      var objNode = _node.default.fromValue(obj);
 
-      why = _node.default.fromValue(why);
-
-      if (!(0, _terms.isRDFlibSubject)(subj)) {
-        throw new Error('Subject is not a subject type');
-      }
-
-      if (!(0, _terms.isRDFlibPredicate)(pred)) {
-        throw new Error("Predicate ".concat(pred, " is not a predicate type"));
-      }
-
-      if (!(0, _terms.isRDFlibObject)(objNode)) {
-        throw new Error("Object ".concat(objNode, " is not an object type"));
-      }
-
-      if (!(0, _terms.isGraph)(why)) {
-        throw new Error("Why is not a graph type");
-      } //@ts-ignore This is not used internally
-
-
-      if (this.predicateCallback) {
-        //@ts-ignore This is not used internally
-        this.predicateCallback(this, pred, why);
-      } // Action return true if the statement does not need to be added
-
-
-      var predHash = this.id(this.canon(pred));
-      actions = this.propertyActions[predHash]; // Predicate hash
+    if ((0, _utils.ArrayIndexOf)(features, 'FunctionalProperty') >= 0) {
+      this.classActions[this.rdfFactory.id(this.rdfFactory.namedNode(`${owlNamespaceURI}FunctionalProperty`))] = [function (formula, subj, proj, obj, addFn) {
+        return formula.newPropertyAction(subj, handleFP);
+      }]; // FP => handleFP, do add to index
+    }
+  }
 
-      var done = false;
+  /** @deprecated Use {add} instead */
+  addStatement(st) {
+    this.add(st.subject, st.predicate, st.object, st.graph);
+    return this.statements.length;
+  }
 
-      if (actions) {
-        // alert('type: '+typeof actions +' @@ actions='+actions)
-        for (i = 0; i < actions.length; i++) {
-          done = done || actions[i](this, subj, pred, objNode, why);
+  /**
+   * Adds a triple (quad) to the store.
+   *
+   * @param subj - The thing about which the fact a relationship is asserted.
+   *        Also accepts a statement or an array of Statements.
+   * @param pred - The relationship which is asserted
+   * @param obj - The object of the relationship, e.g. another thing or a value. If passed a string, this will become a literal.
+   * @param why - The document in which the triple (S,P,O) was or will be stored on the web
+   * @returns The statement added to the store, or the store
+   */
+  add(subj, pred, obj, why) {
+    var i;
+    if (arguments.length === 1) {
+      if (subj instanceof Array) {
+        for (i = 0; i < subj.length; i++) {
+          this.add(subj[i]);
         }
+      } else if ((0, _terms.isQuad)(subj)) {
+        this.add(subj.subject, subj.predicate, subj.object, subj.graph);
+      } else if ((0, _terms.isStore)(subj)) {
+        this.add(subj.statements);
       }
-
-      if (this.holds(subj, pred, objNode, why)) {
-        // Takes time but saves duplicates
-        // console.log('rdflib: Ignoring dup! {' + subj + ' ' + pred + ' ' + obj + ' ' + why + '}')
-        return null; // @@better to return self in all cases?
-      } // If we are tracking provenance, every thing should be loaded into the store
-      // if (done) return this.rdfFactory.quad(subj, pred, obj, why)
-      // Don't put it in the store
-      // still return this statement for owl:sameAs input
-
-
-      var hash = [this.id(this.canon(subj)), predHash, this.id(this.canon(objNode)), this.id(this.canon(why))]; // @ts-ignore this will fail if you pass a collection and the factory does not allow Collections
-
-      st = this.rdfFactory.quad(subj, pred, objNode, why);
-
-      for (i = 0; i < 4; i++) {
-        var ix = this.index[i];
-        var h = hash[i];
-
-        if (!ix[h]) {
-          ix[h] = [];
-        }
-
-        ix[h].push(st); // Set of things with this as subject, etc
-      } // log.debug("ADDING    {"+subj+" "+pred+" "+objNode+"} "+why)
-
-
-      this.statements.push(st);
-
-      if (this.dataCallbacks) {
-        var _iterator = _createForOfIteratorHelper(this.dataCallbacks),
-            _step;
-
-        try {
-          for (_iterator.s(); !(_step = _iterator.n()).done;) {
-            var callback = _step.value;
-            callback(st);
-          }
-        } catch (err) {
-          _iterator.e(err);
-        } finally {
-          _iterator.f();
-        }
+      return this;
+    }
+    var actions;
+    var st;
+    if (!why) {
+      // system generated
+      why = this.fetcher ? this.fetcher.appNode : this.rdfFactory.defaultGraph();
+    }
+    if (typeof subj == 'string') {
+      subj = this.rdfFactory.namedNode(subj);
+    }
+    pred = _node.default.fromValue(pred);
+    const objNode = _node.default.fromValue(obj);
+    why = _node.default.fromValue(why);
+    if (!(0, _terms.isRDFlibSubject)(subj)) {
+      throw new Error('Subject is not a subject type');
+    }
+    if (!(0, _terms.isRDFlibPredicate)(pred)) {
+      throw new Error(`Predicate ${pred} is not a predicate type`);
+    }
+    if (!(0, _terms.isRDFlibObject)(objNode)) {
+      throw new Error(`Object ${objNode} is not an object type`);
+    }
+    if (!(0, _terms.isGraph)(why)) {
+      throw new Error("Why is not a graph type");
+    }
+    //@ts-ignore This is not used internally
+    if (this.predicateCallback) {
+      //@ts-ignore This is not used internally
+      this.predicateCallback(this, pred, why);
+    }
+    // Action return true if the statement does not need to be added
+    var predHash = this.id(this.canon(pred));
+    actions = this.propertyActions[predHash]; // Predicate hash
+    var done = false;
+    if (actions) {
+      // alert('type: '+typeof actions +' @@ actions='+actions)
+      for (i = 0; i < actions.length; i++) {
+        done = done || actions[i](this, subj, pred, objNode, why);
       }
-
-      return st;
     }
-    /**
-     * Returns the symbol with canonical URI as smushed
-     * @param term - An RDF node
-     */
-
-  }, {
-    key: "canon",
-    value: function canon(term) {
-      if (!term) {
-        // @@ TODO Should improve this to return proper value - doing this to keep it backward compatible
-        return term;
+    if (this.holds(subj, pred, objNode, why)) {
+      // Takes time but saves duplicates
+      // console.log('rdflib: Ignoring dup! {' + subj + ' ' + pred + ' ' + obj + ' ' + why + '}')
+      return null; // @@better to return self in all cases?
+    }
+    // If we are tracking provenance, every thing should be loaded into the store
+    // if (done) return this.rdfFactory.quad(subj, pred, obj, why)
+    // Don't put it in the store
+    // still return this statement for owl:sameAs input
+    var hash = [this.id(this.canon(subj)), predHash, this.id(this.canon(objNode)), this.id(this.canon(why))];
+    // @ts-ignore this will fail if you pass a collection and the factory does not allow Collections
+    st = this.rdfFactory.quad(subj, pred, objNode, why);
+    for (i = 0; i < 4; i++) {
+      var ix = this.index[i];
+      var h = hash[i];
+      if (!ix[h]) {
+        ix[h] = [];
       }
+      ix[h].push(st); // Set of things with this as subject, etc
+    }
 
-      var y = this.redirections[this.id(term)];
-
-      if (y) {
-        return y;
+    // log.debug("ADDING    {"+subj+" "+pred+" "+objNode+"} "+why)
+    this.statements.push(st);
+    if (this.dataCallbacks) {
+      for (const callback of this.dataCallbacks) {
+        callback(st);
       }
+    }
+    return st;
+  }
 
-      switch (term.termType) {
-        case _types.BlankNodeTermType:
-          return new _blankNode.default(term.value);
-
-        case _types.CollectionTermType:
-          return term;
+  /**
+   * Returns the symbol with canonical URI as smushed
+   * @param term - An RDF node
+   */
+  canon(term) {
+    if (!term) {
+      // @@ TODO Should improve this to return proper value - doing this to keep it backward compatible
+      return term;
+    }
+    const y = this.redirections[this.id(term)];
+    if (y) {
+      return y;
+    }
+    switch (term.termType) {
+      case _types.BlankNodeTermType:
+        return new _blankNode.default(term.value);
+      case _types.CollectionTermType:
+        return term;
+      // non-RDF/JS type, should just need to cast
+      case _types.DefaultGraphTermType:
+        return new _defaultGraph.default();
+      case _types.EmptyTermType:
         // non-RDF/JS type, should just need to cast
-
-        case _types.DefaultGraphTermType:
-          return new _defaultGraph.default();
-
-        case _types.EmptyTermType:
-          // non-RDF/JS type, should just need to cast
-          return term;
-
-        case _types.GraphTermType:
-          // non-RDF/JS type, should just need to cast
-          return term;
-
-        case _types.LiteralTermType:
-          return new _literal.default(term.value, term.language, term.datatype);
-
-        case _types.NamedNodeTermType:
-          return new _namedNode.default(term.value);
-
-        case _types.VariableTermType:
-          return new _variable.default(term.value);
-
-        default:
-          throw new Error("Term Type not recognized for canonization: ".concat(term.termType));
-      }
+        return term;
+      case _types.GraphTermType:
+        // non-RDF/JS type, should just need to cast
+        return term;
+      case _types.LiteralTermType:
+        return new _literal.default(term.value, term.language, term.datatype);
+      case _types.NamedNodeTermType:
+        return new _namedNode.default(term.value);
+      case _types.VariableTermType:
+        return new _variable.default(term.value);
+      default:
+        throw new Error(`Term Type not recognized for canonization: ${term.termType}`);
     }
-    /**
-     * Checks this formula for consistency
-     */
-
-  }, {
-    key: "check",
-    value: function check() {
-      this.checkStatementList(this.statements);
-
-      for (var p = 0; p < 4; p++) {
-        var ix = this.index[p];
+  }
 
-        for (var key in ix) {
-          if (ix.hasOwnProperty(key)) {
-            // @ts-ignore should this pass an array or a single statement? checkStateMentsList expects an array.
-            this.checkStatementList(ix[key], p);
-          }
+  /**
+   * Checks this formula for consistency
+   */
+  check() {
+    this.checkStatementList(this.statements);
+    for (var p = 0; p < 4; p++) {
+      var ix = this.index[p];
+      for (var key in ix) {
+        if (ix.hasOwnProperty(key)) {
+          // @ts-ignore should this pass an array or a single statement? checkStateMentsList expects an array.
+          this.checkStatementList(ix[key], p);
         }
       }
     }
-    /**
-     * Checks a list of statements for consistency
-     * @param sts - The list of statements to check
-     * @param from - An index with the array ['subject', 'predicate', 'object', 'why']
-     */
-
-  }, {
-    key: "checkStatementList",
-    value: function checkStatementList(sts, from) {
-      if (from === undefined) {
-        from = 0;
-      }
-
-      var names = ['subject', 'predicate', 'object', 'why'];
-      var origin = ' found in ' + names[from] + ' index.';
-      var st;
-
-      for (var j = 0; j < sts.length; j++) {
-        st = sts[j];
-        var term = [st.subject, st.predicate, st.object, st.graph];
-
-        var arrayContains = function arrayContains(a, x) {
-          for (var i = 0; i < a.length; i++) {
-            if (a[i].subject.equals(x.subject) && a[i].predicate.equals(x.predicate) && a[i].object.equals(x.object) && a[i].why.equals(x.graph)) {
-              return true;
-            }
-          }
-        };
-
-        for (var p = 0; p < 4; p++) {
-          var c = this.canon(term[p]);
-          var h = this.id(c);
+  }
 
-          if (!this.index[p][h]) {// throw new Error('No ' + name[p] + ' index for statement ' + st + '@' + st.why + origin)
-          } else {
-            if (!arrayContains(this.index[p][h], st)) {// throw new Error('Index for ' + name[p] + ' does not have statement ' + st + '@' + st.why + origin)
-            }
+  /**
+   * Checks a list of statements for consistency
+   * @param sts - The list of statements to check
+   * @param from - An index with the array ['subject', 'predicate', 'object', 'why']
+   */
+  checkStatementList(sts, from) {
+    if (from === undefined) {
+      from = 0;
+    }
+    var names = ['subject', 'predicate', 'object', 'why'];
+    var origin = ' found in ' + names[from] + ' index.';
+    var st;
+    for (var j = 0; j < sts.length; j++) {
+      st = sts[j];
+      var term = [st.subject, st.predicate, st.object, st.graph];
+      var arrayContains = function (a, x) {
+        for (var i = 0; i < a.length; i++) {
+          if (a[i].subject.equals(x.subject) && a[i].predicate.equals(x.predicate) && a[i].object.equals(x.object) && a[i].why.equals(x.graph)) {
+            return true;
           }
         }
-
-        if (!arrayContains(this.statements, st)) {
-          throw new Error('Statement list does not statement ' + st + '@' + st.graph + origin);
+      };
+      for (var p = 0; p < 4; p++) {
+        var c = this.canon(term[p]);
+        var h = this.id(c);
+        if (!this.index[p][h]) {
+          // throw new Error('No ' + name[p] + ' index for statement ' + st + '@' + st.why + origin)
+        } else {
+          if (!arrayContains(this.index[p][h], st)) {
+            // throw new Error('Index for ' + name[p] + ' does not have statement ' + st + '@' + st.why + origin)
+          }
         }
       }
-    }
-    /**
-     * Closes this formula (and return it)
-     */
-
-  }, {
-    key: "close",
-    value: function close() {
-      return this;
-    }
-  }, {
-    key: "compareTerms",
-    value: function compareTerms(u1, u2) {
-      // Keep compatibility with downstream classOrder changes
-      if (Object.prototype.hasOwnProperty.call(u1, "compareTerm")) {
-        return u1.compareTerm(u2);
+      if (!arrayContains(this.statements, st)) {
+        throw new Error('Statement list does not statement ' + st + '@' + st.graph + origin);
       }
-
-      if (_classOrder.default[u1.termType] < _classOrder.default[u2.termType]) {
-        return -1;
-      }
-
-      if (_classOrder.default[u1.termType] > _classOrder.default[u2.termType]) {
-        return +1;
-      }
-
-      if (u1.value < u2.value) {
-        return -1;
-      }
-
-      if (u1.value > u2.value) {
-        return +1;
-      }
-
-      return 0;
     }
-    /**
-     * replaces @template with @target and add appropriate triples
-     * removes no triples by default and is a one-direction replication
-     * @param template node to copy
-     * @param target node to copy to
-     * @param flags Whether or not to do a two-directional copy and/or delete triples
-     */
-
-  }, {
-    key: "copyTo",
-    value: function copyTo(template, target, flags) {
-      if (!flags) flags = [];
-      var statList = this.statementsMatching(template);
-
-      if ((0, _utils.ArrayIndexOf)(flags, 'two-direction') !== -1) {
-        statList.concat(this.statementsMatching(undefined, undefined, template));
-      }
-
-      for (var i = 0; i < statList.length; i++) {
-        var st = statList[i];
-
-        switch (st.object.termType) {
-          case 'NamedNode':
-            this.add(target, st.predicate, st.object);
-            break;
-
-          case 'Literal':
-          case 'BlankNode': // @ts-ignore Collections can appear here
-
-          case 'Collection':
-            // @ts-ignore Possible bug: copy is not available on Collections
-            this.add(target, st.predicate, st.object.copy(this));
-        }
+  }
 
-        if ((0, _utils.ArrayIndexOf)(flags, 'delete') !== -1) {
-          this.remove(st);
-        }
-      }
-    }
-    /**
-     * Simplify graph in store when we realize two identifiers are equivalent
-     * We replace the bigger with the smaller.
-     * @param u1in The first node
-     * @param u2in The second node
-     */
-
-  }, {
-    key: "equate",
-    value: function equate(u1in, u2in) {
-      // log.warn("Equating "+u1+" and "+u2); // @@
-      // @@JAMBO Must canonicalize the uris to prevent errors from a=b=c
-      // 03-21-2010
-      var u1 = this.canon(u1in);
-      var u2 = this.canon(u2in);
-      var d = this.compareTerms(u1, u2);
-
-      if (!d) {
-        return true; // No information in {a = a}
-      } // var big
-      // var small
-
-
-      if (d < 0) {
-        // u1 less than u2
-        return this.replaceWith(u2, u1);
-      } else {
-        return this.replaceWith(u1, u2);
-      }
+  /**
+   * Closes this formula (and return it)
+   */
+  close() {
+    return this;
+  }
+  compareTerms(u1, u2) {
+    // Keep compatibility with downstream classOrder changes
+    if (Object.prototype.hasOwnProperty.call(u1, "compareTerm")) {
+      return u1.compareTerm(u2);
     }
-    /**
-     * Creates a new empty indexed formula
-     * Only applicable for IndexedFormula, but TypeScript won't allow a subclass to override a property
-     * @param features The list of features
-     */
-
-  }, {
-    key: "formula",
-    value: function formula(features) {
-      return new IndexedFormula(features);
+    if (_classOrder.default[u1.termType] < _classOrder.default[u2.termType]) {
+      return -1;
     }
-    /**
-     * Returns the number of statements contained in this IndexedFormula.
-     * (Getter proxy to this.statements).
-     * Usage:
-     *    ```
-     *    var kb = rdf.graph()
-     *    kb.length  // -> 0
-     *    ```
-     * @returns {Number}
-     */
-
-  }, {
-    key: "length",
-    get: function get() {
-      return this.statements.length;
+    if (_classOrder.default[u1.termType] > _classOrder.default[u2.termType]) {
+      return +1;
     }
-    /**
-     * Returns any quads matching the given arguments.
-     * Standard RDFJS spec method for Source objects, implemented as an
-     * alias to `statementsMatching()`
-     * @param subject The subject
-     * @param predicate The predicate
-     * @param object The object
-     * @param graph The graph that contains the statement
-     */
-
-  }, {
-    key: "match",
-    value: function match(subject, predicate, object, graph) {
-      return this.statementsMatching(_node.default.fromValue(subject), _node.default.fromValue(predicate), _node.default.fromValue(object), _node.default.fromValue(graph));
+    if (u1.value < u2.value) {
+      return -1;
     }
-    /**
-     * Find out whether a given URI is used as symbol in the formula
-     * @param uri The URI to look for
-     */
-
-  }, {
-    key: "mentionsURI",
-    value: function mentionsURI(uri) {
-      var hash = '<' + uri + '>';
-      return !!this.subjectIndex[hash] || !!this.objectIndex[hash] || !!this.predicateIndex[hash];
+    if (u1.value > u2.value) {
+      return +1;
     }
-    /**
-     * Existentials are BNodes - something exists without naming
-     * @param uri An URI
-     */
-
-  }, {
-    key: "newExistential",
-    value: function newExistential(uri) {
-      if (!uri) return this.bnode();
-      var x = this.sym(uri); // @ts-ignore x should be blanknode, but is namedNode.
-
-      return this.declareExistential(x);
+    return 0;
+  }
+
+  /**
+   * replaces @template with @target and add appropriate triples
+   * removes no triples by default and is a one-direction replication
+   * @param template node to copy
+   * @param target node to copy to
+   * @param flags Whether or not to do a two-directional copy and/or delete triples
+   */
+  copyTo(template, target, flags) {
+    if (!flags) flags = [];
+    var statList = this.statementsMatching(template);
+    if ((0, _utils.ArrayIndexOf)(flags, 'two-direction') !== -1) {
+      statList.concat(this.statementsMatching(undefined, undefined, template));
     }
-    /**
-     * Adds a new property action
-     * @param pred the predicate that the function should be triggered on
-     * @param action the function that should trigger
-     */
-
-  }, {
-    key: "newPropertyAction",
-    value: function newPropertyAction(pred, action) {
-      // log.debug("newPropertyAction:  "+pred)
-      var hash = this.id(pred);
-
-      if (!this.propertyActions[hash]) {
-        this.propertyActions[hash] = [];
+    for (var i = 0; i < statList.length; i++) {
+      var st = statList[i];
+      switch (st.object.termType) {
+        case 'NamedNode':
+          this.add(target, st.predicate, st.object);
+          break;
+        case 'Literal':
+        case 'BlankNode':
+        // @ts-ignore Collections can appear here
+        case 'Collection':
+          // @ts-ignore Possible bug: copy is not available on Collections
+          this.add(target, st.predicate, st.object.copy(this));
       }
-
-      this.propertyActions[hash].push(action); // Now apply the function to to statements already in the store
-
-      var toBeFixed = this.statementsMatching(undefined, pred, undefined);
-      var done = false;
-
-      for (var i = 0; i < toBeFixed.length; i++) {
-        // NOT optimized - sort toBeFixed etc
-        done = done || action(this, toBeFixed[i].subject, pred, toBeFixed[i].object);
+      if ((0, _utils.ArrayIndexOf)(flags, 'delete') !== -1) {
+        this.remove(st);
       }
-
-      return done;
     }
-    /**
-     * Creates a new universal node
-     * Universals are Variables
-     * @param uri An URI
-     */
-
-  }, {
-    key: "newUniversal",
-    value: function newUniversal(uri) {
-      var x = this.sym(uri);
-      if (!this._universalVariables) this._universalVariables = [];
-
-      this._universalVariables.push(x);
-
-      return x;
-    } // convenience function used by N3 parser
-
-  }, {
-    key: "variable",
-    value: function variable(name) {
-      return new _variable.default(name);
-    }
-    /**
-     * Find an unused id for a file being edited: return a symbol
-     * (Note: Slow iff a lot of them -- could be O(log(k)) )
-     * @param doc A document named node
-     */
-
-  }, {
-    key: "nextSymbol",
-    value: function nextSymbol(doc) {
-      for (var i = 0;; i++) {
-        var uri = doc.value + '#n' + i;
-        if (!this.mentionsURI(uri)) return this.sym(uri);
-      }
+  }
+
+  /**
+   * Simplify graph in store when we realize two identifiers are equivalent
+   * We replace the bigger with the smaller.
+   * @param u1in The first node
+   * @param u2in The second node
+   */
+  equate(u1in, u2in) {
+    // log.warn("Equating "+u1+" and "+u2); // @@
+    // @@JAMBO Must canonicalize the uris to prevent errors from a=b=c
+    // 03-21-2010
+    const u1 = this.canon(u1in);
+    const u2 = this.canon(u2in);
+    var d = this.compareTerms(u1, u2);
+    if (!d) {
+      return true; // No information in {a = a}
     }
-    /**
-     * Query this store asynchronously, return bindings in callback
-     *
-     * @param myQuery The query to be run
-     * @param callback Function to call when bindings
-     * @param Fetcher | null  If you want the query to do link following
-     * @param onDone OBSOLETE - do not use this // @@ Why not ?? Called when query complete
-     */
-
-  }, {
-    key: "query",
-    value: function query(myQuery, callback, fetcher, onDone) {
-      return _query.indexedFormulaQuery.call(this, myQuery, callback, fetcher, onDone);
+    // var big
+    // var small
+    if (d < 0) {
+      // u1 less than u2
+      return this.replaceWith(u2, u1);
+    } else {
+      return this.replaceWith(u1, u2);
     }
-    /**
-     * Query this store synchronously and return bindings
-     *
-     * @param myQuery The query to be run
-     */
-
-  }, {
-    key: "querySync",
-    value: function querySync(myQuery) {
-      var results = [];
-
-      function saveBinginds(bindings) {
-        results.push(bindings);
-      }
+  }
 
-      function onDone() {
-        done = true;
-      }
+  /**
+   * Creates a new empty indexed formula
+   * Only applicable for IndexedFormula, but TypeScript won't allow a subclass to override a property
+   * @param features The list of features
+   */
+  formula(features) {
+    return new IndexedFormula(features);
+  }
 
-      var done = false; // @ts-ignore TODO: Add .sync to Query
+  /**
+   * Returns the number of statements contained in this IndexedFormula.
+   * (Getter proxy to this.statements).
+   * Usage:
+   *    ```
+   *    var kb = rdf.graph()
+   *    kb.length  // -> 0
+   *    ```
+   * @returns {Number}
+   */
+  get length() {
+    return this.statements.length;
+  }
 
-      myQuery.sync = true;
+  /**
+   * Returns any quads matching the given arguments.
+   * Standard RDFJS spec method for Source objects, implemented as an
+   * alias to `statementsMatching()`
+   * @param subject The subject
+   * @param predicate The predicate
+   * @param object The object
+   * @param graph The graph that contains the statement
+   */
+  match(subject, predicate, object, graph) {
+    return this.statementsMatching(_node.default.fromValue(subject), _node.default.fromValue(predicate), _node.default.fromValue(object), _node.default.fromValue(graph));
+  }
 
-      _query.indexedFormulaQuery.call(this, myQuery, saveBinginds, null, onDone);
+  /**
+   * Find out whether a given URI is used as symbol in the formula
+   * @param uri The URI to look for
+   */
+  mentionsURI(uri) {
+    var hash = '<' + uri + '>';
+    return !!this.subjectIndex[hash] || !!this.objectIndex[hash] || !!this.predicateIndex[hash];
+  }
 
-      if (!done) {
-        throw new Error('Sync query should have called done function');
-      }
+  /**
+   * Existentials are BNodes - something exists without naming
+   * @param uri An URI
+   */
+  newExistential(uri) {
+    if (!uri) return this.bnode();
+    var x = this.sym(uri);
+    // @ts-ignore x should be blanknode, but is namedNode.
+    return this.declareExistential(x);
+  }
 
-      return results;
+  /**
+   * Adds a new property action
+   * @param pred the predicate that the function should be triggered on
+   * @param action the function that should trigger
+   */
+  newPropertyAction(pred, action) {
+    // log.debug("newPropertyAction:  "+pred)
+    var hash = this.id(pred);
+    if (!this.propertyActions[hash]) {
+      this.propertyActions[hash] = [];
     }
-    /**
-     * Removes one or multiple statement(s) from this formula
-     * @param st - A Statement or array of Statements to remove
-     */
-
-  }, {
-    key: "remove",
-    value: function remove(st) {
-      if (st instanceof Array) {
-        for (var i = 0; i < st.length; i++) {
-          this.remove(st[i]);
-        }
-
-        return this;
-      }
-
-      if ((0, _terms.isStore)(st)) {
-        return this.remove(st.statements);
-      }
-
-      var sts = this.statementsMatching(st.subject, st.predicate, st.object, st.graph);
+    this.propertyActions[hash].push(action);
+    // Now apply the function to to statements already in the store
+    var toBeFixed = this.statementsMatching(undefined, pred, undefined);
+    var done = false;
+    for (var i = 0; i < toBeFixed.length; i++) {
+      // NOT optimized - sort toBeFixed etc
+      done = done || action(this, toBeFixed[i].subject, pred, toBeFixed[i].object);
+    }
+    return done;
+  }
 
-      if (!sts.length) {
-        throw new Error('Statement to be removed is not on store: ' + st);
-      }
+  /**
+   * Creates a new universal node
+   * Universals are Variables
+   * @param uri An URI
+   */
+  newUniversal(uri) {
+    var x = this.sym(uri);
+    if (!this._universalVariables) this._universalVariables = [];
+    this._universalVariables.push(x);
+    return x;
+  }
 
-      this.removeStatement(sts[0]);
-      return this;
-    }
-    /**
-     * Removes all statements in a doc
-     * @param doc - The document / graph
-     */
-
-  }, {
-    key: "removeDocument",
-    value: function removeDocument(doc) {
-      var sts = this.statementsMatching(undefined, undefined, undefined, doc).slice(); // Take a copy as this is the actual index
-
-      for (var i = 0; i < sts.length; i++) {
-        this.removeStatement(sts[i]);
-      }
+  // convenience function used by N3 parser
+  variable(name) {
+    return new _variable.default(name);
+  }
 
-      return this;
+  /**
+   * Find an unused id for a file being edited: return a symbol
+   * (Note: Slow iff a lot of them -- could be O(log(k)) )
+   * @param doc A document named node
+   */
+  nextSymbol(doc) {
+    for (var i = 0;; i++) {
+      var uri = doc.value + '#n' + i;
+      if (!this.mentionsURI(uri)) return this.sym(uri);
     }
-    /**
-     * Remove all statements matching args (within limit) *
-     * @param subj The subject
-     * @param pred The predicate
-     * @param obj The object
-     * @param why The graph that contains the statement
-     * @param limit The number of statements to remove
-     */
-
-  }, {
-    key: "removeMany",
-    value: function removeMany(subj, pred, obj, why, limit) {
-      // log.debug("entering removeMany w/ subj,pred,obj,why,limit = " + subj +", "+ pred+", " + obj+", " + why+", " + limit)
-      var sts = this.statementsMatching(subj, pred, obj, why, false); // This is a subtle bug that occurred in updateCenter.js too.
-      // The fact is, this.statementsMatching returns this.whyIndex instead of a copy of it
-      // but for perfromance consideration, it's better to just do that
-      // so make a copy here.
-
-      var statements = [];
-
-      for (var i = 0; i < sts.length; i++) {
-        statements.push(sts[i]);
-      }
+  }
 
-      if (limit) statements = statements.slice(0, limit);
+  /**
+   * Query this store asynchronously, return bindings in callback
+   *
+   * @param myQuery The query to be run
+   * @param callback Function to call when bindings
+   * @param Fetcher | null  If you want the query to do link following
+   * @param onDone OBSOLETE - do not use this // @@ Why not ?? Called when query complete
+   */
+  query(myQuery, callback, fetcher, onDone) {
+    return _query.indexedFormulaQuery.call(this, myQuery, callback, fetcher, onDone);
+  }
 
-      for (i = 0; i < statements.length; i++) {
-        this.remove(statements[i]);
-      }
+  /**
+   * Query this store synchronously and return bindings
+   *
+   * @param myQuery The query to be run
+   */
+  querySync(myQuery) {
+    var results = [];
+    function saveBinginds(bindings) {
+      results.push(bindings);
     }
-    /**
-     * Remove all matching statements
-     * @param subject The subject
-     * @param predicate The predicate
-     * @param object The object
-     * @param graph The graph that contains the statement
-     */
-
-  }, {
-    key: "removeMatches",
-    value: function removeMatches(subject, predicate, object, graph) {
-      this.removeMany(subject, predicate, object, graph);
-      return this;
+    function onDone() {
+      done = true;
     }
-    /**
-     * Remove a particular statement object from the store
-     *
-     * @param st - a statement which is already in the store and indexed.
-     *        Make sure you only use this for these.
-     *        Otherwise, you should use remove() above.
-     */
-
-  }, {
-    key: "removeStatement",
-    value: function removeStatement(st) {
-      // log.debug("entering remove w/ st=" + st)
-      var term = [st.subject, st.predicate, st.object, st.graph];
-
-      for (var p = 0; p < 4; p++) {
-        var c = this.canon(term[p]);
-        var h = this.id(c);
+    var done = false;
+    // @ts-ignore TODO: Add .sync to Query
+    myQuery.sync = true;
+    _query.indexedFormulaQuery.call(this, myQuery, saveBinginds, null, onDone);
+    if (!done) {
+      throw new Error('Sync query should have called done function');
+    }
+    return results;
+  }
 
-        if (!this.index[p][h]) {// log.warn ("Statement removal: no index '+p+': "+st)
-        } else {
-          this.rdfArrayRemove(this.index[p][h], st);
-        }
+  /**
+   * Removes one or multiple statement(s) from this formula
+   * @param st - A Statement or array of Statements to remove
+   */
+  remove(st) {
+    if (st instanceof Array) {
+      for (var i = 0; i < st.length; i++) {
+        this.remove(st[i]);
       }
-
-      this.rdfArrayRemove(this.statements, st);
       return this;
     }
-    /**
-     * Removes statements
-     * @param sts The statements to remove
-     */
-
-  }, {
-    key: "removeStatements",
-    value: function removeStatements(sts) {
-      for (var i = 0; i < sts.length; i++) {
-        this.remove(sts[i]);
-      }
-
-      return this;
+    if ((0, _terms.isStore)(st)) {
+      return this.remove(st.statements);
     }
-    /**
-     * Replace big with small, obsoleted with obsoleting.
-     */
-
-  }, {
-    key: "replaceWith",
-    value: function replaceWith(big, small) {
-      // log.debug("Replacing "+big+" with "+small) // this.id(@@
-      var oldhash = this.id(big);
-      var newhash = this.id(small);
-
-      var moveIndex = function moveIndex(ix) {
-        var oldlist = ix[oldhash];
-
-        if (!oldlist) {
-          return; // none to move
-        }
-
-        var newlist = ix[newhash];
+    var sts = this.statementsMatching(st.subject, st.predicate, st.object, st.graph);
+    if (!sts.length) {
+      throw new Error('Statement to be removed is not on store: ' + st);
+    }
+    this.removeStatement(sts[0]);
+    return this;
+  }
 
-        if (!newlist) {
-          ix[newhash] = oldlist;
-        } else {
-          ix[newhash] = oldlist.concat(newlist);
-        }
+  /**
+   * Removes all statements in a doc
+   * @param doc - The document / graph
+   */
+  removeDocument(doc) {
+    var sts = this.statementsMatching(undefined, undefined, undefined, doc).slice(); // Take a copy as this is the actual index
+    for (var i = 0; i < sts.length; i++) {
+      this.removeStatement(sts[i]);
+    }
+    return this;
+  }
 
-        delete ix[oldhash];
-      }; // the canonical one carries all the indexes
+  /**
+   * Remove all statements matching args (within limit) *
+   * @param subj The subject
+   * @param pred The predicate
+   * @param obj The object
+   * @param why The graph that contains the statement
+   * @param limit The number of statements to remove
+   */
+  removeMany(subj, pred, obj, why, limit) {
+    // log.debug("entering removeMany w/ subj,pred,obj,why,limit = " + subj +", "+ pred+", " + obj+", " + why+", " + limit)
+    var sts = this.statementsMatching(subj, pred, obj, why, false);
+    // This is a subtle bug that occurred in updateCenter.js too.
+    // The fact is, this.statementsMatching returns this.whyIndex instead of a copy of it
+    // but for perfromance consideration, it's better to just do that
+    // so make a copy here.
+    var statements = [];
+    for (var i = 0; i < sts.length; i++) statements.push(sts[i]);
+    if (limit) statements = statements.slice(0, limit);
+    for (i = 0; i < statements.length; i++) this.remove(statements[i]);
+  }
 
+  /**
+   * Remove all matching statements
+   * @param subject The subject
+   * @param predicate The predicate
+   * @param object The object
+   * @param graph The graph that contains the statement
+   */
+  removeMatches(subject, predicate, object, graph) {
+    this.removeMany(subject, predicate, object, graph);
+    return this;
+  }
 
-      for (var i = 0; i < 4; i++) {
-        moveIndex(this.index[i]);
+  /**
+   * Remove a particular statement object from the store
+   *
+   * @param st - a statement which is already in the store and indexed.
+   *        Make sure you only use this for these.
+   *        Otherwise, you should use remove() above.
+   */
+  removeStatement(st) {
+    // log.debug("entering remove w/ st=" + st)
+    var term = [st.subject, st.predicate, st.object, st.graph];
+    for (var p = 0; p < 4; p++) {
+      var c = this.canon(term[p]);
+      var h = this.id(c);
+      if (!this.index[p][h]) {
+        // log.warn ("Statement removal: no index '+p+': "+st)
+      } else {
+        this.rdfArrayRemove(this.index[p][h], st);
       }
+    }
+    this.rdfArrayRemove(this.statements, st);
+    return this;
+  }
 
-      this.redirections[oldhash] = small;
-
-      if (big.value) {
-        // @@JAMBO: must update redirections,aliases from sub-items, too.
-        if (!this.aliases[newhash]) {
-          this.aliases[newhash] = [];
-        }
-
-        this.aliases[newhash].push(big); // Back link
-
-        if (this.aliases[oldhash]) {
-          for (i = 0; i < this.aliases[oldhash].length; i++) {
-            this.redirections[this.id(this.aliases[oldhash][i])] = small;
-            this.aliases[newhash].push(this.aliases[oldhash][i]);
-          }
-        }
+  /**
+   * Removes statements
+   * @param sts The statements to remove
+   */
+  removeStatements(sts) {
+    for (var i = 0; i < sts.length; i++) {
+      this.remove(sts[i]);
+    }
+    return this;
+  }
 
-        this.add(small, this.sym('http://www.w3.org/2007/ont/link#uri'), big); // If two things are equal, and one is requested, we should request the other.
+  /**
+   * Replace big with small, obsoleted with obsoleting.
+   */
+  replaceWith(big, small) {
+    // log.debug("Replacing "+big+" with "+small) // this.id(@@
+    var oldhash = this.id(big);
+    var newhash = this.id(small);
+    var moveIndex = function (ix) {
+      var oldlist = ix[oldhash];
+      if (!oldlist) {
+        return; // none to move
+      }
 
-        if (this.fetcher) {
-          this.fetcher.nowKnownAs(big, small);
+      var newlist = ix[newhash];
+      if (!newlist) {
+        ix[newhash] = oldlist;
+      } else {
+        ix[newhash] = oldlist.concat(newlist);
+      }
+      delete ix[oldhash];
+    };
+    // the canonical one carries all the indexes
+    for (var i = 0; i < 4; i++) {
+      moveIndex(this.index[i]);
+    }
+    this.redirections[oldhash] = small;
+    if (big.value) {
+      // @@JAMBO: must update redirections,aliases from sub-items, too.
+      if (!this.aliases[newhash]) {
+        this.aliases[newhash] = [];
+      }
+      this.aliases[newhash].push(big); // Back link
+      if (this.aliases[oldhash]) {
+        for (i = 0; i < this.aliases[oldhash].length; i++) {
+          this.redirections[this.id(this.aliases[oldhash][i])] = small;
+          this.aliases[newhash].push(this.aliases[oldhash][i]);
         }
       }
+      this.add(small, this.sym('http://www.w3.org/2007/ont/link#uri'), big);
+      // If two things are equal, and one is requested, we should request the other.
+      if (this.fetcher) {
+        this.fetcher.nowKnownAs(big, small);
+      }
+    }
+    moveIndex(this.classActions);
+    moveIndex(this.propertyActions);
+    // log.debug("Equate done. "+big+" to be known as "+small)
+    return true; // true means the statement does not need to be put in
+  }
 
-      moveIndex(this.classActions);
-      moveIndex(this.propertyActions); // log.debug("Equate done. "+big+" to be known as "+small)
+  /**
+   * Return all equivalent URIs by which this is known
+   * @param x A named node
+   */
+  allAliases(x) {
+    var a = this.aliases[this.id(this.canon(x))] || [];
+    a.push(this.canon(x));
+    return a;
+  }
 
-      return true; // true means the statement does not need to be put in
+  /**
+   * Compare by canonical URI as smushed
+   * @param x A named node
+   * @param y Another named node
+   */
+  sameThings(x, y) {
+    if (x.equals(y)) {
+      return true;
     }
-    /**
-     * Return all equivalent URIs by which this is known
-     * @param x A named node
-     */
-
-  }, {
-    key: "allAliases",
-    value: function allAliases(x) {
-      var a = this.aliases[this.id(this.canon(x))] || [];
-      a.push(this.canon(x));
-      return a;
+    var x1 = this.canon(x);
+    //    alert('x1='+x1)
+    if (!x1) return false;
+    var y1 = this.canon(y);
+    //    alert('y1='+y1); //@@
+    if (!y1) return false;
+    return x1.value === y1.value;
+  }
+  setPrefixForURI(prefix, nsuri) {
+    // TODO: This is a hack for our own issues, which ought to be fixed
+    // post-release
+    // See http://dig.csail.mit.edu/cgi-bin/roundup.cgi/$rdf/issue227
+    if (prefix === 'tab' && this.namespaces['tab']) {
+      return;
+    } // There are files around with long badly generated prefixes like this
+    if (prefix.slice(0, 2) === 'ns' || prefix.slice(0, 7) === 'default') {
+      return;
     }
-    /**
-     * Compare by canonical URI as smushed
-     * @param x A named node
-     * @param y Another named node
-     */
-
-  }, {
-    key: "sameThings",
-    value: function sameThings(x, y) {
-      if (x.equals(y)) {
-        return true;
-      }
-
-      var x1 = this.canon(x); //    alert('x1='+x1)
 
-      if (!x1) return false;
-      var y1 = this.canon(y); //    alert('y1='+y1); //@@
-
-      if (!y1) return false;
-      return x1.value === y1.value;
+    // remove any prefix that currently targets nsuri
+    for (let existingPrefix in this.namespaces) {
+      if (this.namespaces[existingPrefix] == nsuri) delete this.namespaces[existingPrefix];
     }
-  }, {
-    key: "setPrefixForURI",
-    value: function setPrefixForURI(prefix, nsuri) {
-      // TODO: This is a hack for our own issues, which ought to be fixed
-      // post-release
-      // See http://dig.csail.mit.edu/cgi-bin/roundup.cgi/$rdf/issue227
-      if (prefix === 'tab' && this.namespaces['tab']) {
-        return;
-      } // There are files around with long badly generated prefixes like this
-
-
-      if (prefix.slice(0, 2) === 'ns' || prefix.slice(0, 7) === 'default') {
-        return;
-      } // remove any prefix that currently targets nsuri
-
+    this.namespaces[prefix] = nsuri;
+  }
 
-      for (var existingPrefix in this.namespaces) {
-        if (this.namespaces[existingPrefix] == nsuri) delete this.namespaces[existingPrefix];
+  /** Search the Store
+   *
+   * ALL CONVENIENCE LOOKUP FUNCTIONS RELY ON THIS!
+   * @param subj - A node to search for as subject, or if null, a wildcard
+   * @param pred - A node to search for as predicate, or if null, a wildcard
+   * @param obj - A node to search for as object, or if null, a wildcard
+   * @param why - A node to search for as graph, or if null, a wildcard
+   * @param justOne - flag - stop when found one rather than get all of them?
+   * @returns An array of nodes which match the wildcard position
+   */
+  statementsMatching(subj, pred, obj, why, justOne) {
+    // log.debug("Matching {"+subj+" "+pred+" "+obj+"}")
+    var pat = [subj, pred, obj, why];
+    var pattern = [];
+    var hash = [];
+    var wild = []; // wildcards
+    var given = []; // Not wild
+    var p;
+    var list;
+    for (p = 0; p < 4; p++) {
+      pattern[p] = this.canon(_node.default.fromValue(pat[p]));
+      if (!pattern[p]) {
+        wild.push(p);
+      } else {
+        given.push(p);
+        hash[p] = this.id(pattern[p]);
       }
-
-      this.namespaces[prefix] = nsuri;
     }
-    /** Search the Store
-     *
-     * ALL CONVENIENCE LOOKUP FUNCTIONS RELY ON THIS!
-     * @param subj - A node to search for as subject, or if null, a wildcard
-     * @param pred - A node to search for as predicate, or if null, a wildcard
-     * @param obj - A node to search for as object, or if null, a wildcard
-     * @param why - A node to search for as graph, or if null, a wildcard
-     * @param justOne - flag - stop when found one rather than get all of them?
-     * @returns An array of nodes which match the wildcard position
-     */
-
-  }, {
-    key: "statementsMatching",
-    value: function statementsMatching(subj, pred, obj, why, justOne) {
-      // log.debug("Matching {"+subj+" "+pred+" "+obj+"}")
-      var pat = [subj, pred, obj, why];
-      var pattern = [];
-      var hash = [];
-      var wild = []; // wildcards
-
-      var given = []; // Not wild
-
-      var p;
-      var list;
-
-      for (p = 0; p < 4; p++) {
-        pattern[p] = this.canon(_node.default.fromValue(pat[p]));
-
-        if (!pattern[p]) {
-          wild.push(p);
-        } else {
-          given.push(p);
-          hash[p] = this.id(pattern[p]);
+    if (given.length === 0) {
+      return this.statements;
+    }
+    if (given.length === 1) {
+      // Easy too, we have an index for that
+      p = given[0];
+      list = this.index[p][hash[p]];
+      if (list && justOne) {
+        if (list.length > 1) {
+          list = list.slice(0, 1);
         }
       }
-
-      if (given.length === 0) {
-        return this.statements;
+      list = list || [];
+      return list;
+    }
+    // Now given.length is 2, 3 or 4.
+    // We hope that the scale-free nature of the data will mean we tend to get
+    // a short index in there somewhere!
+    var best = 1e10; // really bad
+    var iBest;
+    var i;
+    for (i = 0; i < given.length; i++) {
+      p = given[i]; // Which part we are dealing with
+      list = this.index[p][hash[p]];
+      if (!list) {
+        return []; // No occurrences
       }
 
-      if (given.length === 1) {
-        // Easy too, we have an index for that
-        p = given[0];
-        list = this.index[p][hash[p]];
-
-        if (list && justOne) {
-          if (list.length > 1) {
-            list = list.slice(0, 1);
-          }
-        }
-
-        list = list || [];
-        return list;
-      } // Now given.length is 2, 3 or 4.
-      // We hope that the scale-free nature of the data will mean we tend to get
-      // a short index in there somewhere!
-
-
-      var best = 1e10; // really bad
-
-      var iBest;
-      var i;
-
-      for (i = 0; i < given.length; i++) {
-        p = given[i]; // Which part we are dealing with
-
-        list = this.index[p][hash[p]];
-
-        if (!list) {
-          return []; // No occurrences
-        }
-
-        if (list.length < best) {
-          best = list.length;
-          iBest = i; // (not p!)
-        }
-      } // Ok, we have picked the shortest index but now we have to filter it
-
-
-      var pBest = given[iBest];
-      var possibles = this.index[pBest][hash[pBest]];
-      var check = given.slice(0, iBest).concat(given.slice(iBest + 1)); // remove iBest
-
-      var results = [];
-      var parts = ['subject', 'predicate', 'object', 'why'];
-
-      for (var j = 0; j < possibles.length; j++) {
-        var st = possibles[j];
-
-        for (i = 0; i < check.length; i++) {
-          // for each position to be checked
-          p = check[i];
-
-          if (!this.canon(st[parts[p]]).equals(pattern[p])) {
-            st = null;
-            break;
-          }
-        }
-
-        if (st != null) {
-          results.push(st);
-          if (justOne) break;
-        }
+      if (list.length < best) {
+        best = list.length;
+        iBest = i; // (not p!)
       }
-
-      return results;
     }
-    /**
-     * A list of all the URIs by which this thing is known
-     * @param term
-     */
-
-  }, {
-    key: "uris",
-    value: function uris(term) {
-      var cterm = this.canon(term);
-      var terms = this.aliases[this.id(cterm)];
-      if (!cterm.value) return [];
-      var res = [cterm.value];
-
-      if (terms) {
-        for (var i = 0; i < terms.length; i++) {
-          res.push(terms[i].uri);
+    // Ok, we have picked the shortest index but now we have to filter it
+    var pBest = given[iBest];
+    var possibles = this.index[pBest][hash[pBest]];
+    var check = given.slice(0, iBest).concat(given.slice(iBest + 1)); // remove iBest
+    var results = [];
+    var parts = ['subject', 'predicate', 'object', 'why'];
+    for (var j = 0; j < possibles.length; j++) {
+      var st = possibles[j];
+      for (i = 0; i < check.length; i++) {
+        // for each position to be checked
+        p = check[i];
+        if (!this.canon(st[parts[p]]).equals(pattern[p])) {
+          st = null;
+          break;
         }
       }
-
-      return res;
-    }
-  }, {
-    key: "serialize",
-    value: function serialize(base, contentType, provenance, options) {
-      var _options;
-
-      // override Formula.serialize to force the serializer namespace prefixes
-      // to those of this IndexedFormula
-      // if namespaces are explicitly passed in options, let them override the existing namespaces in this formula
-      var namespaces = (_options = options) !== null && _options !== void 0 && _options.namespaces ? _objectSpread(_objectSpread({}, this.namespaces), options.namespaces) : _objectSpread({}, this.namespaces);
-      options = _objectSpread(_objectSpread({}, options || {}), {}, {
-        namespaces: namespaces
-      });
-      return (0, _serialize2.default)(provenance, this, base, contentType, undefined, options);
-    }
-  }], [{
-    key: "defaultGraphURI",
-    get: function get() {
-      return _canonicalDataFactory.defaultGraphURI;
+      if (st != null) {
+        results.push(st);
+        if (justOne) break;
+      }
     }
-  }]);
-  return IndexedFormula;
-}(_formula.default);
+    return results;
+  }
 
+  /**
+   * A list of all the URIs by which this thing is known
+   * @param term
+   */
+  uris(term) {
+    var cterm = this.canon(term);
+    var terms = this.aliases[this.id(cterm)];
+    if (!cterm.value) return [];
+    var res = [cterm.value];
+    if (terms) {
+      for (var i = 0; i < terms.length; i++) {
+        res.push(terms[i].uri);
+      }
+    }
+    return res;
+  }
+  serialize(base, contentType, provenance, options) {
+    var _options;
+    // override Formula.serialize to force the serializer namespace prefixes
+    // to those of this IndexedFormula
+
+    // if namespaces are explicitly passed in options, let them override the existing namespaces in this formula
+    const namespaces = (_options = options) !== null && _options !== void 0 && _options.namespaces ? {
+      ...this.namespaces,
+      ...options.namespaces
+    } : {
+      ...this.namespaces
+    };
+    options = {
+      ...(options || {}),
+      namespaces
+    };
+    return (0, _serialize.default)(provenance, this, base, contentType, undefined, options);
+  }
+}
 exports.default = IndexedFormula;
 (0, _defineProperty2.default)(IndexedFormula, "handleRDFType", void 0);
 IndexedFormula.handleRDFType = handleRDFType;