@faubulous/mentor-rdf 0.2.49 → 0.2.50

package/out/rdf/property-repository.js

@@ -1,257 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.PropertyRepository = void 0;
-const tslib_1 = require("tslib");
-const n3 = tslib_1.__importStar(require("n3"));
-const ontologies_1 = require("../ontologies");
-const class_repository_1 = require("./class-repository");
-/**
- * A repository for retrieving properties from graphs.
- */
-class PropertyRepository extends class_repository_1.ClassRepository {
-    constructor(store) {
-        super(store);
-        /**
-         * The predicate used to indicate the domain of a property.
-         */
-        this.domainPredicate = ontologies_1.rdfs.domain;
-        /**
-         * The predicate used to indicate the range of a property.
-         */
-        this.rangePredicate = ontologies_1.rdfs.range;
-    }
-    /**
-     * Get all properties in the repository.
-     * @param options Optional options for retrieving properties.
-     * @returns A list of all properties in the repository.
-     */
-    getProperties(graphUris, options) {
-        const result = new Set();
-        for (let q of this.store.match(graphUris, null, ontologies_1.rdf.type, ontologies_1.rdf.Property, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-            if (this.skip(graphUris, q.subject, options)) {
-                continue;
-            }
-            result.add(q.subject.value);
-        }
-        return Array.from(result);
-    }
-    /**
-     * Get properties of a given type.
-     * @param typeUri URI of a property type.
-     * @param includeInferred Indicate if properties of a more specific type should be included in the result.
-     * @returns A list of properties of the given type.
-     */
-    getRootPropertiesOfType(graphUris, typeUri, options) {
-        const result = new Set();
-        const type = new n3.NamedNode(typeUri);
-        for (let q of this.store.match(graphUris, null, ontologies_1.rdf.type, type, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-            if (this.skip(graphUris, q.subject, options)) {
-                continue;
-            }
-            let hasSuperProperty = false;
-            for (let q2 of this.store.match(graphUris, q.subject, ontologies_1.rdfs.subPropertyOf, null, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-                // Note: We have not skipped the property so it is relevant for our result. However, if we want 
-                // to include referenced properties, then we include the referenced super property instead of the
-                // current one.
-                if ((options === null || options === void 0 ? void 0 : options.includeReferenced) && !this.hasSubject(graphUris, q2.object.value)) {
-                    // We must assume that the referenced super property is of the same type as the given type or a super type of it.
-                    result.add(q2.object.value);
-                }
-                else if (this.skip(graphUris, q2.object, options)) {
-                    // If the super property is skipped, then we ignore it.
-                    continue;
-                }
-                hasSuperProperty = true;
-                break;
-            }
-            if (hasSuperProperty) {
-                continue;
-            }
-            if (typeUri === ontologies_1.RDF.Property && (options === null || options === void 0 ? void 0 : options.includeInferred) === false) {
-                // In the case of rdf:Property, we do not want to include properties that have a more specific type.
-                const t = Array.from(this.store.match(graphUris, q.subject, ontologies_1.rdf.type, null, options === null || options === void 0 ? void 0 : options.includeInferred)).map(q => q.object.value);
-                if (new Set(t).size == 1) {
-                    result.add(q.subject.value);
-                }
-            }
-            else {
-                result.add(q.subject.value);
-            }
-        }
-        return Array.from(result);
-    }
-    /**
-     * Get the super properties of a given property.
-     * @param subjectUri URI of a property.
-     * @param options Optional options for retrieving properties.
-     * @returns An array of super properties of the given property, an empty array if the property has no super properties.
-     */
-    getSuperProperties(graphUris, subjectUri, options) {
-        const result = [];
-        const s = n3.DataFactory.namedNode(subjectUri);
-        for (let q of this.store.match(graphUris, s, ontologies_1.rdfs.subPropertyOf, null, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-            if (this.skip(graphUris, q.object, options)) {
-                continue;
-            }
-            result.push(q.object.value);
-        }
-        return result;
-    }
-    /**
-     * Recursively find the first path from a given property to a root property.
-     * @param subjectUri URI of a property.
-     * @param path The current property path.
-     * @param backtrack Set of URIs that have already been visited.
-     * @param options Optional options for retrieving properties.
-     * @returns The first path that is found from the given property to a root class.
-     */
-    _getRootPropertyPath(graphUris, subjectUri, path, backtrack, options) {
-        const superClasses = this.getSuperProperties(graphUris, subjectUri, options);
-        for (let o of superClasses.filter(o => !backtrack.has(o))) {
-            return this._getRootPropertyPath(graphUris, o, [...path, o], backtrack, options);
-        }
-        return path;
-    }
-    /**
-     * Get the first discovered path from a given property to a root property.
-     * @param subjectUri URI of a property.
-     * @param options Optional options for retrieving properties.
-     * @returns A string array containing the first path that is found from the given property to a root property.
-     */
-    getRootPropertiesPath(graphUris, subjectUri, options) {
-        return this._getRootPropertyPath(graphUris, subjectUri, [], new Set(), options);
-    }
-    /**
-     * Indicate if there are sub properties of a given property.
-     * @param subjectUri URI of a property.
-     * @param options Optional options for retrieving properties.
-     * @returns true if the property has sub properties, false otherwise.
-     */
-    hasSubProperties(graphUris, subjectUri, options) {
-        const o = n3.DataFactory.namedNode(subjectUri);
-        for (let q of this.store.match(graphUris, null, ontologies_1.rdfs.subPropertyOf, o, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-            if (!this.skip(graphUris, q.subject, options)) {
-                return true;
-            }
-        }
-        return false;
-    }
-    /**
-     * Get the sub properties of a given property or all root properties.
-     * @param subjectUri URI of a property or undefined to get all root properties.
-     * @param options Optional options for retrieving properties.
-     * @returns An array of sub properties of the given property, an empty array if the property has no sub properties.
-     */
-    getSubProperties(graphUris, subjectUri, options) {
-        if (subjectUri) {
-            const result = new Set();
-            const o = n3.DataFactory.namedNode(subjectUri);
-            for (let q of this.store.match(graphUris, null, ontologies_1.rdfs.subPropertyOf, o, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-                if (this.skip(graphUris, q.subject, options)) {
-                    continue;
-                }
-                result.add(q.subject.value);
-            }
-            return Array.from(result);
-        }
-        else {
-            return this.getRootProperties(graphUris, options);
-        }
-    }
-    /**
-     * Get all properties from the repository that have no super properties.
-     * @param options Optional options for retrieving properties.
-     * @returns An array of root properties in the repository.
-     */
-    getRootProperties(graphUris, options) {
-        var _a;
-        const result = new Set();
-        const properties = new Set(this.getProperties(graphUris, options));
-        for (let p of properties) {
-            let hasSuperProperty = false;
-            for (let q of this.store.match(graphUris, new n3.NamedNode(p), ontologies_1.rdfs.subPropertyOf, null, options === null || options === void 0 ? void 0 : options.includeInferred)) {
-                const includeReferenced = (_a = options === null || options === void 0 ? void 0 : options.includeReferenced) !== null && _a !== void 0 ? _a : false;
-                const skip = this.skip(graphUris, q.object, options);
-                // Do not skip the super property if it is only referenced and the includeReferenced option is set.
-                if (q.object.termType != "NamedNode" || skip && (!includeReferenced || includeReferenced && this.hasSubject(graphUris, q.object.value))) {
-                    continue;
-                }
-                hasSuperProperty = true;
-                // If we have a super property that is not in the list of properties and not excluded by the options, we add it to the result.
-                if (!properties.has(q.object.value)) {
-                    result.add(q.object.value);
-                }
-                break;
-            }
-            if (!hasSuperProperty) {
-                result.add(p);
-            }
-        }
-        return Array.from(result);
-    }
-    /**
-     * Indicate if there is an equivalent property of a given property.
-     * @param propertyUri URI of a property.
-     * @returns true if the property has an equivalent property, false otherwise.
-     */
-    hasEquivalentProperty(graphUris, propertyUri) {
-        const s = n3.DataFactory.namedNode(propertyUri);
-        // The OWL resoner will assert the equivalent class relationship in both directions.
-        for (let _ of this.store.match(graphUris, s, ontologies_1.owl.equivalentProperty, null)) {
-            return true;
-        }
-        return false;
-    }
-    /**
-     * Get the domain of a given property.
-     * @param propertyUri URI of a property.
-     * @returns The URI of the domain of the given property. If no domain is specified, rdfs:Resource is returned.
-     */
-    getDomain(graphUris, propertyUri) {
-        const s = n3.DataFactory.namedNode(propertyUri);
-        for (let q of this.store.match(graphUris, s, this.domainPredicate, null)) {
-            return q.object.value;
-        }
-        return ontologies_1.rdfs.Resource.value;
-    }
-    /**
-     * Get the range of a given property.
-     * @param propertyUri URI of a property.
-     * @returns The URI of the range of the given property. If no range is specified, `undefined` is returned.
-     */
-    getRange(graphUris, propertyUri) {
-        const s = n3.DataFactory.namedNode(propertyUri);
-        for (let q of this.store.match(graphUris, s, this.rangePredicate, null)) {
-            return q.object.value;
-        }
-        return undefined;
-    }
-    /**
-     * Get all asserted and inferred property types.
-     * @param graphUris The URI of the graph or an array of graphs to search for property types.
-     * @param options Optional options for retrieving properties.
-     * @returns A list of all property types in the repository.
-     */
-    getPropertyTypes(graphUris, options) {
-        const result = new Set();
-        const properties = this.getProperties(graphUris, options).map(p => new n3.NamedNode(p));
-        for (let p of properties) {
-            const types = new Set(Array.from(this.store.match(graphUris, p, ontologies_1.rdf.type, null, false)).map(t => t.object.value));
-            if (types.size > 0) {
-                for (let t of types) {
-                    // Do not assert rdf:Property for properties that have multiple types.
-                    if (t !== ontologies_1.RDF.Property || types.size == 1) {
-                        result.add(t);
-                    }
-                }
-            }
-            else {
-                // If there are no asserted types, we need to infer rdf:Property.
-                result.add(ontologies_1.RDF.Property);
-            }
-        }
-        return Array.from(result);
-    }
-}
-exports.PropertyRepository = PropertyRepository;
-//# sourceMappingURL=property-repository.js.map

package/out/rdf/property-repository.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"property-repository.js","sourceRoot":"","sources":["../../src/rdf/property-repository.ts"],"names":[],"mappings":";;;;AAAA,+CAAyB;AACzB,8CAAoD;AACpD,yDAAqD;AAIrD;;GAEG;AACH,MAAa,kBAAmB,SAAQ,kCAAe;IAWnD,YAAY,KAAY;QAAI,KAAK,CAAC,KAAK,CAAC,CAAC;QAVzC;;WAEG;QACI,oBAAe,GAAG,iBAAI,CAAC,MAAM,CAAC;QAErC;;WAEG;QACI,mBAAc,GAAG,iBAAI,CAAC,KAAK,CAAC;IAEO,CAAC;IAE3C;;;;OAIG;IACH,aAAa,CAAC,SAAwC,EAAE,OAAgC;QACpF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAEjC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,QAAQ,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;YAChG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,SAAS;YACb,CAAC;YAED,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;OAKG;IACH,uBAAuB,CAAC,SAAwC,EAAE,OAAe,EAAE,OAAgC;QAC/G,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAEvC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,gBAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;YACxF,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC3C,SAAS;YACb,CAAC;YAED,IAAI,gBAAgB,GAAG,KAAK,CAAC;YAE7B,KAAK,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,iBAAI,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;gBACxG,gGAAgG;gBAChG,iGAAiG;gBACjG,eAAe;gBACf,IAAI,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,iBAAiB,KAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7E,iHAAiH;oBACjH,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;oBAClD,uDAAuD;oBACvD,SAAS;gBACb,CAAC;gBAED,gBAAgB,GAAG,IAAI,CAAC;gBAExB,MAAM;YACV,CAAC;YAED,IAAI,gBAAgB,EAAE,CAAC;gBACnB,SAAS;YACb,CAAC;YAED,IAAI,OAAO,KAAK,gBAAG,CAAC,QAAQ,IAAI,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,MAAK,KAAK,EAAE,CAAC;gBACjE,oGAAoG;gBACpG,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,gBAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAEhI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;oBACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAChC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;OAKG;IACH,kBAAkB,CAAC,SAAwC,EAAE,UAAkB,EAAE,OAAgC;QAC7G,MAAM,MAAM,GAAG,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAE/C,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,iBAAI,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;YAC/F,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC1C,SAAS;YACb,CAAC;YAED,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;;;OAOG;IACK,oBAAoB,CAAC,SAAwC,EAAE,UAAkB,EAAE,IAAc,EAAE,SAAsB,EAAE,OAAgC;QAC/J,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAE7E,KAAK,IAAI,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACrF,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;;OAKG;IACH,qBAAqB,CAAC,SAAwC,EAAE,UAAkB,EAAE,OAAgC;QAChH,OAAO,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,GAAG,EAAU,EAAE,OAAO,CAAC,CAAC;IAC5F,CAAC;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,SAAwC,EAAE,UAAkB,EAAE,OAAgC;QAC3G,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAE/C,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,iBAAI,CAAC,aAAa,EAAE,CAAC,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;YAC/F,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC5C,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,SAAwC,EAAE,UAAmB,EAAE,OAAgC;QAC5G,IAAI,UAAU,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAE/C,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,iBAAI,CAAC,aAAa,EAAE,CAAC,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;gBAC/F,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC3C,SAAS;gBACb,CAAC;gBAED,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACtD,CAAC;IACL,CAAC;IAED;;;;OAIG;IACI,iBAAiB,CAAC,SAAwC,EAAE,OAAgC;;QAC/F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QAE3E,KAAK,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YACvB,IAAI,gBAAgB,GAAG,KAAK,CAAC;YAE7B,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAI,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC,EAAE,CAAC;gBACjH,MAAM,iBAAiB,GAAG,MAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,iBAAiB,mCAAI,KAAK,CAAC;gBAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAErD,mGAAmG;gBACnG,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,WAAW,IAAI,IAAI,IAAI,CAAC,CAAC,iBAAiB,IAAI,iBAAiB,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;oBACtI,SAAS;gBACb,CAAC;gBAED,gBAAgB,GAAG,IAAI,CAAC;gBAExB,8HAA8H;gBAC9H,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC/B,CAAC;gBAED,MAAM;YACV,CAAC;YAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;OAIG;IACI,qBAAqB,CAAC,SAAwC,EAAE,WAAmB;QACtF,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAEhD,oFAAoF;QACpF,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,gBAAG,CAAC,kBAAkB,EAAE,IAAI,CAAC,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACI,SAAS,CAAC,SAAwC,EAAE,WAAmB;QAC1E,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAEhD,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC;YACvE,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1B,CAAC;QAED,OAAO,iBAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC/B,CAAC;IAED;;;;OAIG;IACI,QAAQ,CAAC,SAAwC,EAAE,WAAmB;QACzE,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAEhD,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,EAAE,CAAC;YACtE,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1B,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;;;;OAKG;IACI,gBAAgB,CAAC,SAAwC,EAAE,OAAgC;QAC9F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAExF,KAAK,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAE1H,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACjB,KAAK,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;oBAClB,sEAAsE;oBACtE,IAAI,CAAC,KAAK,gBAAG,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;wBACxC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAClB,CAAC;gBACL,CAAC;YACL,CAAC;iBAAM,CAAC;gBACJ,iEAAiE;gBACjE,MAAM,CAAC,GAAG,CAAC,gBAAG,CAAC,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;CACJ;AAlSD,gDAkSC"}

package/out/rdf/reasoners/owl-reasoner.js

@@ -1,218 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.OwlReasoner = void 0;
-const ontologies_1 = require("../../ontologies");
-const shacl_reasoner_1 = require("./shacl-reasoner");
-/**
- * A simple OWL reasoner that expands the graph with inferred triples.
- */
-class OwlReasoner extends shacl_reasoner_1.ShaclReasoner {
-    constructor() {
-        super();
-        this.restrictions = {};
-    }
-    afterInference() {
-        super.afterInference();
-        for (let r of Object.values(this.restrictions)) {
-            const p = r.onProperty;
-            if (!p)
-                continue;
-            if (r.onDataRange) {
-                this.store.addQuad(p, ontologies_1.rdf.type, ontologies_1.owl.DatatypeProperty, this.targetGraph);
-                this.store.addQuad(p, ontologies_1.rdfs.range, r.onDataRange, this.targetGraph);
-            }
-            else if (r.onClass) {
-                this.store.addQuad(p, ontologies_1.rdf.type, ontologies_1.owl.ObjectProperty, this.targetGraph);
-                this.store.addQuad(p, ontologies_1.rdfs.range, r.onClass, this.targetGraph);
-            }
-            else if (r.allValuesFrom) {
-                this.store.addQuad(p, ontologies_1.rdf.type, ontologies_1.owl.ObjectProperty, this.targetGraph);
-            }
-            else if (r.someValuesFrom) {
-                this.store.addQuad(p, ontologies_1.rdf.type, ontologies_1.owl.ObjectProperty, this.targetGraph);
-            }
-        }
-        this.restrictions = {};
-    }
-    inferClassAxioms(quad) {
-        super.inferClassAxioms(quad);
-        let s = quad.subject;
-        let p = quad.predicate;
-        let o = quad.object.termType != "Literal" ? quad.object : undefined;
-        if (!o) {
-            return;
-        }
-        // See: https://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules
-        switch (p.id) {
-            case ontologies_1.rdf.type.id: {
-                if (o.id == ontologies_1.owl.Restriction.id) {
-                    this.restrictions[s.value] = {};
-                }
-                return;
-            }
-            case ontologies_1.owl.equivalentClass.id: {
-                this.assertClass(s);
-                if (o && !this.isW3CNode(o)) {
-                    this.assertClass(o);
-                }
-                // The opposite is also true.
-                if (o.termType == "NamedNode") {
-                    this.store.addQuad(o, ontologies_1.owl.equivalentClass, s, this.targetGraph);
-                }
-                return;
-            }
-            case ontologies_1.owl.complementOf.id:
-            case ontologies_1.owl.disjointWith.id: {
-                this.assertClass(s);
-                if (o && !this.isW3CNode(o)) {
-                    this.assertClass(o);
-                }
-                return;
-            }
-            case ontologies_1.owl.intersectionOf.id: {
-                let equivalentSubjects = [...this.store.match(null, ontologies_1.owl.equivalentClass, s)]
-                    .map(q => q.subject)
-                    .filter(q => q.termType == "NamedNode");
-                // Rule #scm-int
-                let classes = this.getListItems(o.value);
-                if (!Array.isArray(classes)) {
-                    this.errors.push({ quad: quad, message: `Expected an array of classes for ${o.value}` });
-                    return;
-                }
-                for (let c of classes) {
-                    if (c.termType != "NamedNode") {
-                        continue;
-                    }
-                    this.store.addQuad(s, ontologies_1.rdfs.subClassOf, c, this.targetGraph);
-                    for (let es of equivalentSubjects) {
-                        this.store.addQuad(es, ontologies_1.rdfs.subClassOf, c, this.targetGraph);
-                    }
-                }
-                return;
-            }
-            case ontologies_1.owl.unionOf.id: {
-                let equivalentSubjects = [...this.store.match(null, ontologies_1.owl.equivalentClass, s)]
-                    .map(q => q.subject)
-                    .filter(q => q.termType == "NamedNode");
-                // Rule #scm-uni
-                let classes = this.getListItems(o.value);
-                if (!Array.isArray(classes)) {
-                    this.errors.push({ quad: quad, message: `Expected an array of classes for ${o.value}` });
-                    return;
-                }
-                for (let c of classes) {
-                    if (c.termType != "NamedNode") {
-                        continue;
-                    }
-                    this.store.addQuad(c, ontologies_1.rdfs.subClassOf, s, this.targetGraph);
-                    for (let es of equivalentSubjects) {
-                        this.store.addQuad(c, ontologies_1.rdfs.subClassOf, es, this.targetGraph);
-                    }
-                }
-                return;
-            }
-            case ontologies_1.owl.onClass.id: {
-                if (o.termType == "NamedNode") {
-                    this.assertClass(o);
-                }
-                return;
-            }
-            case ontologies_1.owl.onDataRange.id: {
-                if (o.termType == "NamedNode") {
-                    this.store.addQuad(o, ontologies_1.rdf.type, ontologies_1.rdfs.Datatype, this.targetGraph);
-                }
-                return;
-            }
-            // Note:
-            //   e.g. Gist also uses these on xsd:string, so inferring that this is a 
-            //   class is technically true, however, it would lead to undesirable results.
-            //
-            // case owl.allValuesFrom.id: {
-            //     if (o.termType == "NamedNode") {
-            //         this.store.addQuad(o, rdf.type, rdfs.Class, this.targetGraph);
-            //     }
-            //
-            //     return;
-            // }
-            // case owl.someValuesFrom.id: {
-            //     if (o.termType == "NamedNode") {
-            //         this.store.addQuad(o, rdf.type, rdfs.Class, this.targetGraph);
-            //     }
-            //
-            //     break;
-            // }
-        }
-    }
-    inferPropertyAxioms(quad) {
-        super.inferPropertyAxioms(quad);
-        let s = quad.subject;
-        let p = quad.predicate;
-        let o = quad.object.termType != "Literal" ? quad.object : undefined;
-        if (!o) {
-            return;
-        }
-        switch (p.id) {
-            case ontologies_1.owl.onProperty.id: {
-                this.assertProperty(o);
-                if (this.restrictions[s.value] && o.termType == "NamedNode") {
-                    this.restrictions[s.value].onProperty = o;
-                }
-                return;
-            }
-            case ontologies_1.owl.onClass.id: {
-                if (this.restrictions[s.value] && o.termType == "NamedNode") {
-                    this.restrictions[s.value].onClass = o;
-                }
-                return;
-            }
-            case ontologies_1.owl.onDataRange.id: {
-                if (this.restrictions[s.value] && o.termType == "NamedNode") {
-                    this.restrictions[s.value].onDataRange = o;
-                }
-                return;
-            }
-            case ontologies_1.owl.allValuesFrom.id: {
-                if (this.restrictions[s.value]) {
-                    this.restrictions[s.value].allValuesFrom = o;
-                }
-                return;
-            }
-            case ontologies_1.owl.someValuesFrom.id: {
-                if (this.restrictions[s.value]) {
-                    this.restrictions[s.value].someValuesFrom = o;
-                }
-                return;
-            }
-            case ontologies_1.owl.equivalentProperty.id: {
-                this.assertProperty(s);
-                this.assertProperty(o);
-                // The opposite is also true.
-                if (o.termType == "NamedNode") {
-                    this.store.addQuad(o, ontologies_1.owl.equivalentProperty, s, this.targetGraph);
-                }
-                return;
-            }
-            case ontologies_1.rdf.type.id: {
-                switch (o.id) {
-                    case ontologies_1.owl.AnnotationProperty.id:
-                    case ontologies_1.owl.AsymmetricProperty.id:
-                    case ontologies_1.owl.DatatypeProperty.id:
-                    case ontologies_1.owl.DeprecatedProperty.id:
-                    case ontologies_1.owl.FunctionalProperty.id:
-                    case ontologies_1.owl.InverseFunctionalProperty.id:
-                    case ontologies_1.owl.IrreflexiveProperty.id:
-                    case ontologies_1.owl.ObjectProperty.id:
-                    case ontologies_1.owl.OntologyProperty.id:
-                    case ontologies_1.owl.ReflexiveProperty.id:
-                    case ontologies_1.owl.SymmetricProperty.id:
-                    case ontologies_1.owl.TransitiveProperty.id: {
-                        this.assertProperty(s);
-                    }
-                }
-                return;
-            }
-        }
-    }
-}
-exports.OwlReasoner = OwlReasoner;
-//# sourceMappingURL=owl-reasoner.js.map

package/out/rdf/reasoners/owl-reasoner.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"owl-reasoner.js","sourceRoot":"","sources":["../../../src/rdf/reasoners/owl-reasoner.ts"],"names":[],"mappings":";;;AACA,iDAAkD;AAClD,qDAAiD;AAiBjD;;GAEG;AACH,MAAa,WAAY,SAAQ,8BAAa;IAG1C;QACI,KAAK,EAAE,CAAC;QAER,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IAC3B,CAAC;IAES,cAAc;QACpB,KAAK,CAAC,cAAc,EAAE,CAAC;QAEvB,KAAK,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;YAEvB,IAAI,CAAC,CAAC;gBAAE,SAAS;YAEjB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACxE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAI,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBACnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAI,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1E,CAAC;iBAAM,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;gBAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1E,CAAC;QACL,CAAC;QAED,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;IAC3B,CAAC;IAES,gBAAgB,CAAC,IAAa;QACpC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAE7B,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAEpE,IAAI,CAAC,CAAC,EAAE,CAAC;YACL,OAAO;QACX,CAAC;QAED,6FAA6F;QAC7F,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,KAAK,gBAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,CAAC,EAAE,IAAI,gBAAG,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;oBAC7B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;gBACpC,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBAEpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBAED,6BAA6B;gBAC7B,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,eAAe,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACpE,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YACzB,KAAK,gBAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBAEpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzB,IAAI,kBAAkB,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;qBACvE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;qBACnB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC;gBAE5C,gBAAgB;gBAChB,IAAI,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAEzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,oCAAoC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACzF,OAAO;gBACX,CAAC;gBAED,KAAK,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;oBACpB,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;wBAC5B,SAAS;oBACb,CAAC;oBAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBAE5D,KAAK,IAAI,EAAE,IAAI,kBAAkB,EAAE,CAAC;wBAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,iBAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACL,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,IAAI,kBAAkB,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;qBACvE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;qBACnB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC;gBAE5C,gBAAgB;gBAChB,IAAI,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAEzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,oCAAoC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACzF,OAAO;gBACX,CAAC;gBAED,KAAK,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;oBACpB,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;wBAC5B,SAAS;oBACb,CAAC;oBAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBAE5D,KAAK,IAAI,EAAE,IAAI,kBAAkB,EAAE,CAAC;wBAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,iBAAI,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACL,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrE,CAAC;gBAED,OAAO;YACX,CAAC;YACD,QAAQ;YACR,0EAA0E;YAC1E,8EAA8E;YAC9E,EAAE;YACF,+BAA+B;YAC/B,uCAAuC;YACvC,yEAAyE;YACzE,QAAQ;YACR,EAAE;YACF,cAAc;YACd,IAAI;YACJ,gCAAgC;YAChC,uCAAuC;YACvC,yEAAyE;YACzE,QAAQ;YACR,EAAE;YACF,aAAa;YACb,IAAI;QACR,CAAC;IACL,CAAC;IAES,mBAAmB,CAAC,IAAa;QACvC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAEhC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAEpE,IAAI,CAAC,CAAC,EAAE,CAAC;YACL,OAAO;QACX,CAAC;QAED,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,KAAK,gBAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;gBACrB,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBAEvB,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC1D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;gBAC9C,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC1D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;gBAC3C,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtB,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC1D,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC;gBAC/C,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxB,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC;gBACjD,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;gBACzB,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC;gBAClD,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7B,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBAEvB,6BAA6B;gBAC7B,IAAI,CAAC,CAAC,QAAQ,IAAI,WAAW,EAAE,CAAC;oBAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,gBAAG,CAAC,kBAAkB,EAAE,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACvE,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,gBAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;oBACX,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBAC/B,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBAC/B,KAAK,gBAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;oBAC7B,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBAC/B,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBAC/B,KAAK,gBAAG,CAAC,yBAAyB,CAAC,EAAE,CAAC;oBACtC,KAAK,gBAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBAChC,KAAK,gBAAG,CAAC,cAAc,CAAC,EAAE,CAAC;oBAC3B,KAAK,gBAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;oBAC7B,KAAK,gBAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC9B,KAAK,gBAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC9B,KAAK,gBAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;wBAC7B,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;oBAC3B,CAAC;gBACL,CAAC;gBAED,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC;CACJ;AAxPD,kCAwPC"}

package/out/rdf/reasoners/rdfs-reasoner.js

@@ -1,144 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.RdfsReasoner = void 0;
-const ontologies_1 = require("../../ontologies");
-const skos_reasoner_1 = require("./skos-reasoner");
-/**
- * A simple RDFS reasoner that expands the graph with inferred triples.
- */
-class RdfsReasoner extends skos_reasoner_1.SkosReasoner {
-    constructor() {
-        super(...arguments);
-        this.ontologies = new Set();
-        this.classes = new Set();
-        this.properties = new Set();
-        this.invididuals = new Set();
-    }
-    isIgnoredNode(term) {
-        switch (term.id) {
-            case ontologies_1.skos.Concept.id:
-            case ontologies_1.skos.ConceptScheme.id:
-            case ontologies_1.skos.Collection.id:
-            case ontologies_1.skos.OrderedCollection.id:
-            case ontologies_1.sh.Shape.id:
-            case ontologies_1.sh.NodeShape.id:
-            case ontologies_1.sh.PropertyShape.id:
-                return true;
-            default:
-                return false;
-        }
-    }
-    isClass(id) {
-        return super.isClass(id) ||
-            this.classes.has(id) ||
-            this.properties.has(id) ||
-            this.ontologies.has(id);
-    }
-    afterInference() {
-        super.afterInference();
-        // After all axioms have been inferred, add the inferred individuals to the graph.
-        const individuals = [...this.invididuals].filter(x => !this.isClass(x.id));
-        for (let individual of individuals) {
-            this.store.addQuad(individual, ontologies_1.rdf.type, ontologies_1.owl.NamedIndividual, this.targetGraph);
-        }
-    }
-    applyInference(quad) {
-        super.applyInference(quad);
-        // Treat all named nodes with rdf:type definitions as potential individuals.
-        if (quad.subject.termType == "NamedNode" && quad.predicate.equals(ontologies_1.rdf.type)) {
-            // Only consider individuals that are not of a type that is ignored such as skos:Concept.
-            if (!this.isIgnoredNode(quad.object)) {
-                this.invididuals.add(quad.subject);
-            }
-            if (quad.object.id == ontologies_1.owl.Ontology.id) {
-                this.ontologies.add(quad.subject.id);
-            }
-        }
-        this.inferClassAxioms(quad);
-        this.inferPropertyAxioms(quad);
-    }
-    assertClass(subject) {
-        this.store.addQuad(subject, ontologies_1.rdf.type, ontologies_1.rdfs.Class, this.targetGraph);
-        this.classes.add(subject.id);
-    }
-    inferClassAxioms(quad) {
-        let s = quad.subject;
-        let p = quad.predicate;
-        let o = quad.object.termType != "Literal" ? quad.object : undefined;
-        if (!o) {
-            return;
-        }
-        switch (p.id) {
-            case ontologies_1.rdf.type.id: {
-                if (o.equals(ontologies_1.rdfs.Class)) {
-                    // No need to infer the class type, as it is already asserted.
-                    this.classes.add(s.id);
-                }
-                else if (o.equals(ontologies_1.owl.Class)) {
-                    this.assertClass(s);
-                }
-                else if (!this.isW3CNode(o)) {
-                    this.assertClass(o);
-                }
-                return;
-            }
-            case ontologies_1.rdfs.subClassOf.id: {
-                this.assertClass(s);
-                if (!this.isW3CNode(o)) {
-                    this.assertClass(o);
-                }
-                else if (o.equals(ontologies_1.rdfs.Resource)) {
-                    this.store.addQuad(ontologies_1.rdfs.Resource, ontologies_1.rdf.type, ontologies_1.rdfs.Class, this.targetGraph);
-                }
-                else if (o.equals(ontologies_1.rdfs.Class)) {
-                    this.store.addQuad(ontologies_1.rdfs.Class, ontologies_1.rdf.type, ontologies_1.rdfs.Class, this.targetGraph);
-                    this.store.addQuad(ontologies_1.rdfs.Class, ontologies_1.rdfs.subClassOf, ontologies_1.rdfs.Resource, this.targetGraph);
-                }
-                else if (o.equals(ontologies_1.rdfs.Datatype)) {
-                    this.store.addQuad(ontologies_1.rdfs.Datatype, ontologies_1.rdf.type, ontologies_1.rdfs.Class, this.targetGraph);
-                    this.store.addQuad(ontologies_1.rdfs.Datatype, ontologies_1.rdfs.subClassOf, ontologies_1.rdfs.Class, this.targetGraph);
-                }
-                else if (o.equals(ontologies_1.owl.Class)) {
-                    this.store.addQuad(ontologies_1.owl.Class, ontologies_1.rdf.type, ontologies_1.rdfs.Class, this.targetGraph);
-                    this.store.addQuad(ontologies_1.owl.Class, ontologies_1.rdfs.subClassOf, ontologies_1.rdfs.Class, this.targetGraph);
-                }
-                return;
-            }
-            case ontologies_1.rdfs.range.id:
-            case ontologies_1.rdfs.domain.id: {
-                if (!this.isW3CNode(o)) {
-                    this.assertClass(o);
-                }
-                return;
-            }
-        }
-    }
-    assertProperty(subject) {
-        this.store.addQuad(subject, ontologies_1.rdf.type, ontologies_1.rdf.Property, this.targetGraph);
-        this.properties.add(subject.id);
-    }
-    inferPropertyAxioms(quad) {
-        let s = quad.subject;
-        let p = quad.predicate;
-        let o = quad.object.termType != "Literal" ? quad.object : undefined;
-        if (!o) {
-            return;
-        }
-        switch (p.id) {
-            case ontologies_1.rdf.type.id: {
-                if (o.equals(ontologies_1.rdf.Property)) {
-                    // No need to infer the property type, as it is already asserted.
-                    this.properties.add(s.id);
-                }
-                return;
-            }
-            case ontologies_1.rdfs.range.id:
-            case ontologies_1.rdfs.domain.id: {
-                this.assertProperty(s);
-                return;
-            }
-        }
-    }
-}
-exports.RdfsReasoner = RdfsReasoner;
-//# sourceMappingURL=rdfs-reasoner.js.map

package/out/rdf/reasoners/rdfs-reasoner.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"rdfs-reasoner.js","sourceRoot":"","sources":["../../../src/rdf/reasoners/rdfs-reasoner.ts"],"names":[],"mappings":";;;AACA,iDAA4D;AAC5D,mDAA+C;AAE/C;;GAEG;AACH,MAAa,YAAa,SAAQ,4BAAY;IAA9C;;QACc,eAAU,GAAgB,IAAI,GAAG,EAAE,CAAC;QAEpC,YAAO,GAAgB,IAAI,GAAG,EAAE,CAAC;QAEjC,eAAU,GAAgB,IAAI,GAAG,EAAE,CAAC;QAEpC,gBAAW,GAAiB,IAAI,GAAG,EAAE,CAAC;IA8IpD,CAAC;IA5Ia,aAAa,CAAC,IAAa;QACjC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YACd,KAAK,iBAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACrB,KAAK,iBAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAC3B,KAAK,iBAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACxB,KAAK,iBAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC/B,KAAK,eAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,KAAK,eAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YACrB,KAAK,eAAE,CAAC,aAAa,CAAC,EAAE;gBACpB,OAAO,IAAI,CAAC;YAChB;gBACI,OAAO,KAAK,CAAC;QACrB,CAAC;IACL,CAAC;IAES,OAAO,CAAC,EAAU;QACxB,OAAO,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAES,cAAc;QACpB,KAAK,CAAC,cAAc,EAAE,CAAC;QAEvB,kFAAkF;QAClF,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAE3E,KAAK,IAAI,UAAU,IAAI,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAA6B,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,eAAe,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACvG,CAAC;IACL,CAAC;IAEQ,cAAc,CAAC,IAAa;QACjC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE3B,4EAA4E;QAC5E,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,WAAW,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,gBAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1E,yFAAyF;YACzF,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvC,CAAC;YAED,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,gBAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,gBAAgB,CAAC,IAAe,CAAC,CAAC;QACvC,IAAI,CAAC,mBAAmB,CAAC,IAAe,CAAC,CAAC;IAC9C,CAAC;IAES,WAAW,CAAC,OAAkD;QACpE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAEpE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;IAES,gBAAgB,CAAC,IAAa;QACpC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAEpE,IAAI,CAAC,CAAC,EAAE,CAAC;YACL,OAAO;QACX,CAAC;QAED,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,KAAK,gBAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,8DAA8D;oBAC9D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,gBAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;qBAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBACD,OAAO;YACX,CAAC;YACD,KAAK,iBAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBAEpB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;qBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAI,CAAC,QAAQ,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC9E,CAAC;qBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAI,CAAC,KAAK,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAI,CAAC,KAAK,EAAE,iBAAI,CAAC,UAAU,EAAE,iBAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrF,CAAC;qBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAI,CAAC,QAAQ,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC1E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAI,CAAC,QAAQ,EAAE,iBAAI,CAAC,UAAU,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrF,CAAC;qBAAM,IAAI,CAAC,CAAC,MAAM,CAAC,gBAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAG,CAAC,KAAK,EAAE,gBAAG,CAAC,IAAI,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAG,CAAC,KAAK,EAAE,iBAAI,CAAC,UAAU,EAAE,iBAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;gBACjF,CAAC;gBACD,OAAO;YACX,CAAC;YACD,KAAK,iBAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,KAAK,iBAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC;gBACD,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC;IAES,cAAc,CAAC,OAAkD;QACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,gBAAG,CAAC,IAAI,EAAE,gBAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAEtE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IAES,mBAAmB,CAAC,IAAa;QACvC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAEpE,IAAI,CAAC,CAAC,EAAE,CAAC;YACL,OAAO;QACX,CAAC;QAED,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YACX,KAAK,gBAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,CAAC,MAAM,CAAC,gBAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,iEAAiE;oBACjE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9B,CAAC;gBAED,OAAO;YACX,CAAC;YACD,KAAK,iBAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,KAAK,iBAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;gBAClB,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;gBAEvB,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC;CACJ;AArJD,oCAqJC"}