@faubulous/mentor-rdf 2.1.4 → 2.1.6

package/dist/index.js

@@ -4224,21 +4224,30 @@ var PropertyRepository = class extends ClassRepository {
       if (hasSuperProperty) {
         continue;
       }
-      let shouldYield = false;
-      if (typeUri === RDF.Property && options?.includeInferred === false) {
-        const t = Array.from(this.store.matchAll(graphUris, q.subject, rdf.type, null, options?.includeInferred)).map((q2) => q2.object.value);
-        if (new Set(t).size == 1) {
-          shouldYield = true;
-        }
-      } else {
-        shouldYield = true;
+      if (typeUri === RDF.Property && this._hasSpecificType(graphUris, q.subject)) {
+        continue;
       }
-      if (shouldYield && !yielded.has(q.subject.value)) {
+      if (!yielded.has(q.subject.value)) {
         yielded.add(q.subject.value);
         yield q.subject.value;
       }
     }
   }
+  /**
+   * Indicate whether a property is stated to be of a type that is more specific than rdf:Property.
+   * Only asserted types are taken into account, because every property is an inferred rdf:Property.
+   * @param graphUris URI of the graph or an array of graphs to search.
+   * @param property The node of a property.
+   * @returns `true` if the property has a more specific asserted type, `false` otherwise.
+   */
+  _hasSpecificType(graphUris, property) {
+    for (let q of this.store.matchAll(graphUris, property, rdf.type, null, false)) {
+      if (q.object.value !== RDF.Property) {
+        return true;
+      }
+    }
+    return false;
+  }
   /**
    * Get the super properties of a given property.
    * @param subjectUri URI of a property.
@@ -4807,10 +4816,22 @@ var RdfsReasoner = class extends SkosReasoner {
     this.store.add(quad2(subject, rdf.type, rdf.Property, this.targetGraph));
     this.properties.add(subject.value);
   }
+  /**
+   * Assert that a predicate denotes a property (RDFS entailment rule rdf1). Predicates of the
+   * W3C vocabularies are left out, mirroring how classes are inferred from usage.
+   * @param predicate The predicate of a statement.
+   */
+  assertPropertyFromUsage(predicate) {
+    if (predicate.termType != "NamedNode" || this.isW3CNode(predicate)) {
+      return;
+    }
+    this.assertProperty(predicate);
+  }
   inferPropertyAxioms(quad5) {
     let s = quad5.subject;
     let p = quad5.predicate;
     let o = quad5.object.termType != "Literal" ? quad5.object : void 0;
+    this.assertPropertyFromUsage(p);
     if (!o) {
       return;
     }