From c2a903004b2d85402b58a824c33415b78a345c5b Mon Sep 17 00:00:00 2001
From: Cristiano Longo <cristianolongo@opendatahacklab.org>
Date: Fri, 10 Apr 2026 18:55:05 +0200
Subject: [PATCH] #686 Additional Axiom in OWL saying that first page of a
 collection is part of the collection itself

---
 vocabulary/activitystreams2.owl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/vocabulary/activitystreams2.owl b/vocabulary/activitystreams2.owl
index a08acfa..a64bf8d 100644
--- a/vocabulary/activitystreams2.owl
+++ b/vocabulary/activitystreams2.owl
@@ -127,7 +127,12 @@ as:first a owl:FunctionalProperty ,
   rdfs:range [
     a owl:Class ;
     owl:unionOf ( as:CollectionPage as:Link )
-  ] .
+  ] ;
+  # the first page of a collection is part of the collection itself (see https://github.com/w3c/activitystreams/issues/686)
+  rdfs:subPropertyOf [ owl:inverseOf :partOf
+                            ] .
+
+
 
 as:generator a owl:ObjectProperty ;
   rdfs:label "generator"@en ;