eyeling 1.24.7 → 1.24.9

package/examples/input/rdf-message-flow.trig

@@ -13,7 +13,7 @@
 # Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
-:temperatureFlow rdf:type msg:MessageStream .
+:temperatureFlow a msg:MessageStream .
 :temperatureFlow msg:orderedMessages (:m001 :m002 :m003 :m004 :m005) .
 :temperatureFlow msg:message :m001 .
 :temperatureFlow msg:message :m002 .
@@ -23,33 +23,33 @@
 :temperatureFlow :pipeline (:ingest :validate :interpret :route :sink) .
 :temperatureFlow :highThreshold 26 .
 :m001 :atStage :ingest .
-:m001 rdf:type msg:RDFMessage .
+:m001 a msg:RDFMessage .
 :m001 msg:offset 1 .
 :m001 msg:nextMessage :m002 .
 :m001 prov:generatedAtTime "2026-05-12T18:20:00Z" .
 :m001 msg:payloadKind :observation .
 :m001 msg:expectedResult 21 .
 :m001 msg:payload in:formula1 .
-:m002 rdf:type msg:RDFMessage .
+:m002 a msg:RDFMessage .
 :m002 msg:offset 2 .
 :m002 msg:nextMessage :m003 .
 :m002 prov:generatedAtTime "2026-05-12T18:21:00Z" .
 :m002 msg:payloadKind :observation .
 :m002 msg:expectedResult 22 .
 :m002 msg:payload in:formula2 .
-:m003 rdf:type msg:RDFMessage .
+:m003 a msg:RDFMessage .
 :m003 msg:offset 3 .
 :m003 msg:nextMessage :m004 .
 :m003 prov:generatedAtTime "2026-05-12T18:22:00Z" .
 :m003 msg:payloadKind :heartbeat .
-:m004 rdf:type msg:RDFMessage .
+:m004 a msg:RDFMessage .
 :m004 msg:offset 4 .
 :m004 msg:nextMessage :m005 .
 :m004 prov:generatedAtTime "2026-05-12T18:23:00Z" .
 :m004 msg:payloadKind :observation .
 :m004 msg:expectedResult 28 .
 :m004 msg:payload in:formula3 .
-:m005 rdf:type msg:RDFMessage .
+:m005 a msg:RDFMessage .
 :m005 msg:offset 5 .
 :m005 prov:generatedAtTime "2026-05-12T18:24:00Z" .
 :m005 msg:payloadKind :observation .
@@ -57,28 +57,28 @@
 :m005 msg:payload in:formula4 .
 
 in:formula1 {
-  _:m001b0 rdf:type sosa:Observation .
+  _:m001b0 a sosa:Observation .
   _:m001b0 sosa:madeBySensor :thermometerA .
   _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" .
   _:m001b0 sosa:hasSimpleResult 21 .
 }
 
 in:formula2 {
-  _:m002b0 rdf:type sosa:Observation .
+  _:m002b0 a sosa:Observation .
   _:m002b0 sosa:madeBySensor :thermometerA .
   _:m002b0 sosa:resultTime "2026-05-12T18:21:00Z" .
   _:m002b0 sosa:hasSimpleResult 22 .
 }
 
 in:formula3 {
-  _:m004b0 rdf:type sosa:Observation .
+  _:m004b0 a sosa:Observation .
   _:m004b0 sosa:madeBySensor :thermometerA .
   _:m004b0 sosa:resultTime "2026-05-12T18:23:00Z" .
   _:m004b0 sosa:hasSimpleResult 28 .
 }
 
 in:formula4 {
-  _:m005b0 rdf:type sosa:Observation .
+  _:m005b0 a sosa:Observation .
   _:m005b0 sosa:madeBySensor :thermometerA .
   _:m005b0 sosa:resultTime "2026-05-12T18:24:00Z" .
   _:m005b0 sosa:hasSimpleResult 29 .

package/examples/input/rdf-messages.trig

@@ -13,25 +13,25 @@
 # Formal Eyeling input evidence in RDF 1.2 TriG.
 # The generated runner reads this TriG evidence directly.
 
-:temperatureLog rdf:type msg:MessageLog .
+:temperatureLog a msg:MessageLog .
 :temperatureLog msg:orderedMessages (:m001 :m002 :m003) .
 :temperatureLog msg:message :m001 .
 :temperatureLog msg:message :m002 .
 :temperatureLog msg:message :m003 .
 :temperatureLog msg:profile :generatedAtTimeProfile .
 :temperatureLog msg:retentionPolicy "replayable archive" .
-:m001 rdf:type msg:RDFMessage .
+:m001 a msg:RDFMessage .
 :m001 msg:offset 1 .
 :m001 prov:generatedAtTime "2026-05-12T18:20:00Z" .
 :m001 msg:payloadKind :observation .
 :m001 msg:localBlankLabel "_:b0" .
 :m001 msg:expectedResult 22 .
 :m001 msg:payload in:formula1 .
-:m002 rdf:type msg:RDFMessage .
+:m002 a msg:RDFMessage .
 :m002 msg:offset 2 .
 :m002 prov:generatedAtTime "2026-05-12T18:22:00Z" .
 :m002 msg:payloadKind :heartbeat .
-:m003 rdf:type msg:RDFMessage .
+:m003 a msg:RDFMessage .
 :m003 msg:offset 3 .
 :m003 prov:generatedAtTime "2026-05-12T18:25:00Z" .
 :m003 msg:payloadKind :observation .
@@ -40,14 +40,14 @@
 :m003 msg:payload in:formula2 .
 
 in:formula1 {
-  _:m001b0 rdf:type sosa:Observation .
+  _:m001b0 a sosa:Observation .
   _:m001b0 sosa:madeBySensor :thermometerA .
   _:m001b0 sosa:resultTime "2026-05-12T18:20:00Z" .
   _:m001b0 sosa:hasSimpleResult 22 .
 }
 
 in:formula2 {
-  _:m003b0 rdf:type sosa:Observation .
+  _:m003b0 a sosa:Observation .
   _:m003b0 sosa:madeBySensor :thermometerA .
   _:m003b0 sosa:resultTime "2026-05-12T18:25:00Z" .
   _:m003b0 sosa:hasSimpleResult 23 .

package/examples/interop-demo.n3

@@ -14,6 +14,8 @@
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log:  <http://www.w3.org/2000/10/swap/log#>.
 
+"000" log:outputString "# interop-demo\n\n## Source files\n\n- [N3 rules](../interop-demo.n3)\n\n" .
+
 # ---------------------------------------------
 # 1) Three independent apps (different schemas)
 # ---------------------------------------------
@@ -101,6 +103,6 @@
   ?c ex:recommendedAction ex:ApplyGoldDiscountAndSendInvoiceReminder.
 
   # Optional ordered console output for eyeling
-  "001" log:outputString "ACTION: apply GoldDiscount and send invoice reminder (opt-in confirmed).".
+  "001" log:outputString "ACTION: apply GoldDiscount and send invoice reminder (opt-in confirmed).\n".
 }.
 

package/examples/matrix-mechanics.n3

@@ -241,9 +241,9 @@
 }
 =>
 {
-  :s01 log:outputString "=== Answer ===\n" .
+  :s01 log:outputString "# matrix-mechanics\n\n## Source files\n\n- [N3 rules](../matrix-mechanics.n3)\n\n## Answer\n" .
   :s02 log:outputString ?txt .
-  :s03 log:outputString "\n\n=== Reason Why ===\n" .
+  :s03 log:outputString "\n\n## Reason Why\n" .
 } .
 
 {
@@ -301,7 +301,7 @@
 }
 =>
 {
-  :s09 log:outputString "\n=== Check ===\n" .
+  :s09 log:outputString "\n## Check\n" .
 } .
 
 {

package/examples/medior.n3

@@ -366,7 +366,7 @@
 # ARC rendering through log:outputString
 # --------------------------------------
 
-:out01 log:outputString "=== Answer ===\n" .
+:out01 log:outputString "# medior\n\n## Source files\n\n- [N3 rules](../medior.n3)\n\n## Answer\n" .
 :out02 log:outputString "Name: Medior\n" .
 :out03 log:outputString "Region: Flanders\n" .
 :out04 log:outputString "Metric: post_discharge_coordination_priority\n" .
@@ -387,7 +387,7 @@
   ("Envelope HMAC-SHA-256: %s\n" ?sig) string:format ?line .
 } => { :out10 log:outputString ?line . } .
 
-:out11 log:outputString "\n=== Reason Why ===\n" .
+:out11 log:outputString "\n## Reason Why\n" .
 :out12 log:outputString "RenalSafetyConcern holds because eGFR = 52 and the threshold is < 60.\n" .
 :out13 log:outputString "PolypharmacyRisk holds because the active medication count is 9 and the threshold is ≥ 8.\n" .
 :out14 log:outputString "ReadmissionHistory holds because admissionsLast180Days = 2 and the threshold is ≥ 1.\n" .
@@ -396,7 +396,7 @@
 :out17 log:outputString "The selected package is \"Medior Continuity Pulse\" with cost €4, touches=3.\n" .
 :out18 log:outputString "Use is permitted only for purpose \"care_coordination\" and expires at 2026-04-11T08:00:00+00:00.\n" .
 
-:out19 log:outputString "\n=== Check ===\n" .
+:out19 log:outputString "\n## Check\n" .
 { :check :payloadHashMatches true . }
   => { :out20 log:outputString "- PASS: payloadHashMatches\n" . } .
 { :check :signatureVerifies true . }

package/examples/n3-speaks-for-itself.n3

@@ -116,3 +116,8 @@ log:query
 {
   :report :aliceReaches ?Who.
 }.
+
+
+# Markdown rendering via log:outputString.
+:__md_output :text "# n3-speaks-for-itself\n\n## Source files\n\n- [N3 rules](../n3-speaks-for-itself.n3)\n\n@prefix : <https://example.org/n3-speaks#> .\n@prefix foaf: <http://xmlns.com/foaf/0.1/> .\n@prefix id: <https://example.org/id/> .\n\n:report :aliceReaches id:bob .\n:report :aliceReaches id:carol .\n:report :aliceReaches id:dave .\n:report :believes {\n    id:alice foaf:knows id:bob .\n} .\n:report :believes {\n    id:alice foaf:name \"Alice\" .\n} .\n:report :believes {\n    id:bob foaf:knows id:carol .\n} .\n:report :believes {\n    id:bob foaf:name \"Bob\" .\n} .\n:report :believes {\n    id:carol foaf:knows id:dave .\n} .\n:report :believes {\n    id:carol foaf:name \"Carol\" .\n} .\n:report :believes {\n    id:dave foaf:name \"Dave\" .\n} .\n:report :trusts <https://alice.example/profile.n3> .\n:report :trusts <https://bob.example/profile.n3> .\n:report :trusts <https://carol.example/profile.n3> .\n{\n    id:alice foaf:knows id:bob .\n} :believedFromDoc <https://alice.example/profile.n3> .\n{\n    id:alice foaf:name \"Alice\" .\n} :believedFromDoc <https://alice.example/profile.n3> .\n{\n    id:bob foaf:knows id:carol .\n} :believedFromDoc <https://bob.example/profile.n3> .\n{\n    id:bob foaf:name \"Bob\" .\n} :believedFromDoc <https://bob.example/profile.n3> .\n{\n    id:carol foaf:knows id:dave .\n} :believedFromDoc <https://carol.example/profile.n3> .\n{\n    id:carol foaf:name \"Carol\" .\n} :believedFromDoc <https://carol.example/profile.n3> .\n{\n    id:dave foaf:name \"Dave\" .\n} :believedFromDoc <https://carol.example/profile.n3> .\n" .
+{ :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/odrl-dpv-ehds-risk-ranked.n3

@@ -410,7 +410,7 @@
 {
   :AgreementEHDS1 dct:title ?alabel .
   :PatientProfileExample dct:title ?plabel .
-  ( "\n=== Ranked DPV Risk Report (EHDS-aligned) ===\nAgreement: %s\nProfile: %s\n\n"
+  ( "# odrl-dpv-ehds-risk-ranked\n\n## Source files\n\n- [N3 rules](../odrl-dpv-ehds-risk-ranked.n3)\n\n## Ranked DPV Risk Report (EHDS-aligned)\nAgreement: %s\nProfile: %s\n\n"
     ?alabel ?plabel ) string:format ?hdr .
 }
 log:query

package/examples/odrl-dpv-healthcare-risk-ranked.n3

@@ -527,7 +527,7 @@
 {
   :AgreementHC1 dct:title ?alabel .
   :PatientExample dct:title ?plabel .
-  ( "\n=== Ranked DPV Risk Report (Healthcare & Life Sciences) ===\nAgreement: %s\nProfile: %s\n\n"
+  ( "# odrl-dpv-healthcare-risk-ranked\n\n## Source files\n\n- [N3 rules](../odrl-dpv-healthcare-risk-ranked.n3)\n\n## Ranked DPV Risk Report (Healthcare & Life Sciences)\nAgreement: %s\nProfile: %s\n\n"
     ?alabel ?plabel ) string:format ?hdr .
 }
 =>

package/examples/odrl-dpv-risk-ranked.n3

@@ -412,7 +412,7 @@
 {
   :Agreement1 dct:title ?alabel .
   :ConsumerExample dct:title ?plabel .
-  ( "\n=== Ranked DPV Risk Report ===\nAgreement: %s\nProfile: %s\n\n"
+  ( "# odrl-dpv-risk-ranked\n\n## Source files\n\n- [N3 rules](../odrl-dpv-risk-ranked.n3)\n\n## Ranked DPV Risk Report\nAgreement: %s\nProfile: %s\n\n"
     ?alabel ?plabel ) string:format ?hdr .
 }
 log:query

package/examples/odrl-risk-mitigation.n3

@@ -773,7 +773,7 @@
 {
   ?agreement a :Agreement; :label ?alabel.
   ?profile a :ConsumerProfile; :label ?plabel.
-  ( "\n=== Risk report for %s (profile: %s) ===\n" ?alabel ?plabel ) string:format ?hdr.
+  ( "# odrl-risk-mitigation\n\n## Source files\n\n- [N3 rules](../odrl-risk-mitigation.n3)\n\n## Risk report for %s (profile: %s)\n" ?alabel ?plabel ) string:format ?hdr.
 }
 =>
 {

package/examples/odrl-risk.n3

@@ -391,7 +391,7 @@
   ?agreement a :Agreement; :label ?alabel.
   ?profile a :ConsumerProfile; :label ?plabel.
 
-  ( "\n=== Risk report for %s (profile: %s) ===\n" ?alabel ?plabel ) string:format ?hdr.
+  ( "# odrl-risk\n\n## Source files\n\n- [N3 rules](../odrl-risk.n3)\n\n## Risk report for %s (profile: %s)\n" ?alabel ?plabel ) string:format ?hdr.
 }
 =>
 {

package/examples/ontology-question-generation.n3

@@ -0,0 +1,409 @@
+# Question generation from ontological patterns
+#
+# Run:
+#   npx eyeling -r examples/ontology-question-generation.n3 examples/input/ontology-question-generation.trig
+#
+# The input TriG file contains the ontology. These N3 rules detect common
+# OWL/RDFS modeling patterns, derive structured q:CompetencyQuestion nodes,
+# and render a Markdown report with log:outputString.
+
+@prefix :      <https://eyereasoner.github.io/eyeling/examples/ontology-question-generation#>.
+@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#>.
+@prefix owl:   <http://www.w3.org/2002/07/owl#>.
+@prefix log:   <http://www.w3.org/2000/10/swap/log#>.
+@prefix string:<http://www.w3.org/2000/10/swap/string#>.
+
+@prefix q:     <http://example.org/question#>.
+@prefix pat:   <http://example.org/question/pattern#>.
+
+#################################################################
+# Markdown frame
+#################################################################
+
+<urn:eyeling:oqg:000:title>
+    log:outputString "# ontology-question-generation\n\n".
+
+<urn:eyeling:oqg:010:intro>
+    log:outputString "This example uses N3 rules to generate candidate competency questions from OWL/RDFS ontology patterns. The rules derive structured `q:CompetencyQuestion` resources and render this Markdown with `log:outputString`.\n\n".
+
+<urn:eyeling:oqg:015:sources>
+    log:outputString "## Source files\n\n- [N3 rules](../ontology-question-generation.n3)\n- [Input ontology TriG](../input/ontology-question-generation.trig)\n\n".
+
+<urn:eyeling:oqg:020:patterns>
+    log:outputString "## Detected competency questions\n\n".
+
+<urn:eyeling:oqg:900:shape-title>
+    log:outputString "\n## RDF shape behind the Markdown\n\n".
+
+<urn:eyeling:oqg:910:shape-body>
+    log:outputString "Each rendered line is backed by a structured generated resource with a pattern, slots, an answer shape, and priority. That means a later layer can verbalize the same generated questions as Markdown, SPARQL skeletons, SHACL prompts, UI forms, or documentation checks.\n".
+
+#################################################################
+# Helper classifications
+#################################################################
+
+{ ?class a owl:Class. }
+=>
+{ ?class q:isOntologicalClass true. }.
+
+{ ?class a rdfs:Class. }
+=>
+{ ?class q:isOntologicalClass true. }.
+
+{ ?property a owl:ObjectProperty. }
+=>
+{ ?property q:isObjectProperty true. }.
+
+{ ?property a owl:DatatypeProperty. }
+=>
+{ ?property q:isDatatypeProperty true. }.
+
+{ ?property rdfs:domain ?domain. ?property rdfs:range ?range. ?range q:isOntologicalClass true. }
+=>
+{ ?property q:isObjectProperty true. }.
+
+{ ?property rdfs:domain ?domain. ?property rdfs:range ?datatype. ?datatype a rdfs:Datatype. }
+=>
+{ ?property q:isDatatypeProperty true. }.
+
+#################################################################
+# 1. Class population pattern
+#################################################################
+
+{ ?class q:isOntologicalClass true. ?class rdfs:label ?classLabel. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:ClassPopulationQuestion;
+        q:aboutClass ?class;
+        q:questionTemplate "Which things are instances of {class}?";
+        q:slot [ q:slotName "class"; q:slotValue ?class; q:slotLabel ?classLabel ];
+        q:expectedAnswerShape pat:SetOfIndividuals;
+        q:priority 3
+    ].
+}.
+
+{
+    ?class q:isOntologicalClass true.
+    ?class rdfs:label ?classLabel.
+    ?class log:uri ?classIri.
+    ("urn:eyeling:oqg:100:class:%s" ?classIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Class population** — Which things are instances of `%s`?\n" ?classLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 2. Subclass distinction pattern
+#################################################################
+
+{ ?subClass rdfs:subClassOf ?superClass. ?subClass q:isOntologicalClass true. ?superClass q:isOntologicalClass true. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:SubclassDistinctionQuestion;
+        q:sourcePattern rdfs:subClassOf;
+        q:aboutClass ?subClass;
+        q:questionTemplate "What distinguishes a {subClass} from a general {superClass}?";
+        q:slot [ q:slotName "subClass"; q:slotValue ?subClass ];
+        q:slot [ q:slotName "superClass"; q:slotValue ?superClass ];
+        q:expectedAnswerShape pat:DefinitionOrConstraint;
+        q:priority 4
+    ].
+}.
+
+{
+    ?subClass rdfs:subClassOf ?superClass.
+    ?subClass q:isOntologicalClass true.
+    ?superClass q:isOntologicalClass true.
+    ?subClass rdfs:label ?subLabel.
+    ?superClass rdfs:label ?superLabel.
+    ?subClass log:uri ?subIri.
+    ?superClass log:uri ?superIri.
+    ("urn:eyeling:oqg:200:subclass:%s:%s" ?subIri ?superIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Subclass distinction** — What distinguishes `%s` from a general `%s`?\n" ?subLabel ?superLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 3. Object property domain/range pattern
+#################################################################
+
+{ ?property q:isObjectProperty true. ?property rdfs:domain ?domain. ?property rdfs:range ?range. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:ObjectPropertyQuestion;
+        q:sourcePattern pat:DomainRangePattern;
+        q:aboutProperty ?property;
+        q:questionTemplate "For a given {domain}, which {range} is related by {property}?";
+        q:slot [ q:slotName "domain"; q:slotValue ?domain ];
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:slot [ q:slotName "range"; q:slotValue ?range ];
+        q:expectedAnswerShape pat:SubjectPredicateObjectBindings;
+        q:priority 5
+    ].
+}.
+
+{
+    ?property q:isObjectProperty true.
+    ?property rdfs:domain ?domain.
+    ?property rdfs:range ?range.
+    ?property rdfs:label ?propertyLabel.
+    ?domain rdfs:label ?domainLabel.
+    ?range rdfs:label ?rangeLabel.
+    ?property log:uri ?propertyIri.
+    ("urn:eyeling:oqg:300:object-property:%s" ?propertyIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Object property** — For a given `%s`, which `%s` is related by `%s`?\n" ?domainLabel ?rangeLabel ?propertyLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 4. Datatype property pattern
+#################################################################
+
+{ ?property q:isDatatypeProperty true. ?property rdfs:domain ?domain. ?property rdfs:range ?datatype. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:DatatypePropertyQuestion;
+        q:sourcePattern pat:DomainDatatypeRangePattern;
+        q:aboutProperty ?property;
+        q:questionTemplate "What is the {property} value of a given {domain}?";
+        q:slot [ q:slotName "domain"; q:slotValue ?domain ];
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:slot [ q:slotName "datatype"; q:slotValue ?datatype ];
+        q:expectedAnswerShape pat:LiteralValue;
+        q:priority 5
+    ].
+}.
+
+{
+    ?property q:isDatatypeProperty true.
+    ?property rdfs:domain ?domain.
+    ?property rdfs:range ?datatype.
+    ?property rdfs:label ?propertyLabel.
+    ?domain rdfs:label ?domainLabel.
+    ?property log:uri ?propertyIri.
+    ("urn:eyeling:oqg:400:datatype-property:%s" ?propertyIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Datatype property** — What is the `%s` value of a given `%s`?\n" ?propertyLabel ?domainLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 5. Existential restriction pattern
+#################################################################
+
+{ ?class rdfs:subClassOf ?restriction. ?restriction a owl:Restriction. ?restriction owl:onProperty ?property. ?restriction owl:someValuesFrom ?filler. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:ExistentialRestrictionQuestion;
+        q:sourcePattern owl:someValuesFrom;
+        q:aboutClass ?class;
+        q:aboutProperty ?property;
+        q:questionTemplate "For each {class}, which {filler} must exist via {property}?";
+        q:slot [ q:slotName "class"; q:slotValue ?class ];
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:slot [ q:slotName "filler"; q:slotValue ?filler ];
+        q:expectedAnswerShape pat:RequiredExistentialWitness;
+        q:priority 8
+    ].
+}.
+
+{
+    ?class rdfs:subClassOf ?restriction.
+    ?restriction a owl:Restriction.
+    ?restriction owl:onProperty ?property.
+    ?restriction owl:someValuesFrom ?filler.
+    ?class rdfs:label ?classLabel.
+    ?property rdfs:label ?propertyLabel.
+    ?filler rdfs:label ?fillerLabel.
+    ?class log:uri ?classIri.
+    ?property log:uri ?propertyIri.
+    ?filler log:uri ?fillerIri.
+    ("urn:eyeling:oqg:500:some-values:%s:%s:%s" ?classIri ?propertyIri ?fillerIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Existential restriction** — For each `%s`, which `%s` must exist via `%s`?\n" ?classLabel ?fillerLabel ?propertyLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 6. Minimum cardinality pattern
+#################################################################
+
+{ ?class rdfs:subClassOf ?restriction. ?restriction a owl:Restriction. ?restriction owl:onProperty ?property. ?restriction owl:minCardinality ?n. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:MinimumCardinalityQuestion;
+        q:sourcePattern owl:minCardinality;
+        q:aboutClass ?class;
+        q:aboutProperty ?property;
+        q:questionTemplate "Does every {class} need at least {n} value(s) for {property}?";
+        q:slot [ q:slotName "class"; q:slotValue ?class ];
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:slot [ q:slotName "n"; q:slotValue ?n ];
+        q:expectedAnswerShape pat:MinimumCardinalityConstraint;
+        q:priority 8
+    ].
+}.
+
+{
+    ?class rdfs:subClassOf ?restriction.
+    ?restriction a owl:Restriction.
+    ?restriction owl:onProperty ?property.
+    ?restriction owl:minCardinality ?n.
+    ?class rdfs:label ?classLabel.
+    ?property rdfs:label ?propertyLabel.
+    ?class log:uri ?classIri.
+    ?property log:uri ?propertyIri.
+    ("urn:eyeling:oqg:600:min-cardinality:%s:%s:%s" ?classIri ?propertyIri ?n) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Minimum cardinality** — Does every `%s` need at least `%s` value for `%s`?\n" ?classLabel ?n ?propertyLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 7. Disjointness pattern
+#################################################################
+
+{ ?classA owl:disjointWith ?classB. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:DisjointnessQuestion;
+        q:sourcePattern owl:disjointWith;
+        q:questionTemplate "Can something ever be both a {classA} and a {classB}?";
+        q:slot [ q:slotName "classA"; q:slotValue ?classA ];
+        q:slot [ q:slotName "classB"; q:slotValue ?classB ];
+        q:expectedAnswerShape pat:BooleanOrExceptionList;
+        q:priority 6
+    ].
+}.
+
+{
+    ?classA owl:disjointWith ?classB.
+    ?classA rdfs:label ?labelA.
+    ?classB rdfs:label ?labelB.
+    ?classA log:uri ?iriA.
+    ?classB log:uri ?iriB.
+    ("urn:eyeling:oqg:700:disjoint:%s:%s" ?iriA ?iriB) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Disjointness** — Can something ever be both an `%s` and a `%s`?\n" ?labelA ?labelB) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 8. Functional property pattern
+#################################################################
+
+{ ?property a owl:FunctionalProperty. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:FunctionalPropertyQuestion;
+        q:sourcePattern owl:FunctionalProperty;
+        q:aboutProperty ?property;
+        q:questionTemplate "Can one subject have multiple values for {property}?";
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:expectedAnswerShape pat:BooleanOrConstraint;
+        q:priority 6
+    ].
+}.
+
+{
+    ?property a owl:FunctionalProperty.
+    ?property rdfs:label ?propertyLabel.
+    ?property log:uri ?propertyIri.
+    ("urn:eyeling:oqg:800:functional:%s" ?propertyIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Functional property** — Can one subject have multiple values for `%s`?\n" ?propertyLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 9. Inverse property pattern
+#################################################################
+
+{ ?property owl:inverseOf ?inverseProperty. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:InversePropertyQuestion;
+        q:sourcePattern owl:inverseOf;
+        q:aboutProperty ?property;
+        q:questionTemplate "If {x} has {property} {y}, should {y} have {inverseProperty} {x}?";
+        q:slot [ q:slotName "property"; q:slotValue ?property ];
+        q:slot [ q:slotName "inverseProperty"; q:slotValue ?inverseProperty ];
+        q:expectedAnswerShape pat:InverseRelationCheck;
+        q:priority 5
+    ].
+}.
+
+{
+    ?property owl:inverseOf ?inverseProperty.
+    ?property rdfs:label ?propertyLabel.
+    ?inverseProperty rdfs:label ?inverseLabel.
+    ?property log:uri ?propertyIri.
+    ?inverseProperty log:uri ?inverseIri.
+    ("urn:eyeling:oqg:810:inverse:%s:%s" ?propertyIri ?inverseIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Inverse property** — If `x` has `%s` `y`, should `y` have `%s` `x`?\n" ?propertyLabel ?inverseLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.
+
+#################################################################
+# 10. Property hierarchy pattern
+#################################################################
+
+{ ?subProperty rdfs:subPropertyOf ?superProperty. }
+=>
+{
+    [
+        a q:CompetencyQuestion;
+        q:pattern pat:SubpropertyQuestion;
+        q:sourcePattern rdfs:subPropertyOf;
+        q:aboutProperty ?subProperty;
+        q:questionTemplate "When {subProperty} holds, should {superProperty} also hold?";
+        q:slot [ q:slotName "subProperty"; q:slotValue ?subProperty ];
+        q:slot [ q:slotName "superProperty"; q:slotValue ?superProperty ];
+        q:expectedAnswerShape pat:BooleanOrRule;
+        q:priority 4
+    ].
+}.
+
+{
+    ?subProperty rdfs:subPropertyOf ?superProperty.
+    ?subProperty rdfs:label ?subLabel.
+    ?superProperty rdfs:label ?superLabel.
+    ?subProperty log:uri ?subIri.
+    ?superProperty log:uri ?superIri.
+    ("urn:eyeling:oqg:820:subproperty:%s:%s" ?subIri ?superIri) string:format ?key.
+    ?out log:uri ?key.
+    ("- **Subproperty** — When `%s` holds, should `%s` also hold?\n" ?subLabel ?superLabel) string:format ?line.
+}
+=>
+{ ?out log:outputString ?line. }.