@agenticprimitives/ontology 1.0.0-alpha.22 → 1.0.0-alpha.24

package/tbox/skills.ttl

@@ -252,3 +252,65 @@ aps:deferredContractRationale a owl:DatatypeProperty ;
     rdfs:domain aps:CapabilityDefinition ; rdfs:range xsd:string ;
     rdfs:label "deferredContractRationale" ;
     rdfs:comment "Required when contractStatus = 'deferred': one line naming the evidence that would make a contract enforceable." .
+
+# ─── Taxonomy mappings — AP capability → external taxon, SKOS-typed (spec 347 §5; ADR-0062) ──
+# capability-claims SkillTaxonomyMappingV1 { apSkillId, taxonomy, taxonomyVersion, targetClassId,
+# relation, assertedBy, assertedAt, evidence? }. `relation` IS a SKOS mapping relation:
+#   exact  → skos:exactMatch     close  → skos:closeMatch
+#   broad  → skos:broadMatch     narrow → skos:narrowMatch
+# (capability-claims `skosRelationFor`). AP ids stay canonical; the taxon is a projection target. A
+# taxonomy VERSION change makes the mapping review-required — it is never silently reused. `broad` /
+# `narrow` without evidence is an evidenceNeeded diagnostic: an inexact alignment must be auditable.
+# Evidence, never authority — classification is never possession (architecture §2 axiom 4).
+
+aps:SkillTaxonomyMapping a owl:Class ;
+    rdfs:subClassOf prov:Entity ;
+    rdfs:label "SkillTaxonomyMapping" ;
+    rdfs:comment "One asserted alignment of an aps:Capability (by its stable id) with a class in an external taxonomy (OASF, HCS-14, …) at a pinned taxonomy version. Reified so the asserter, time, evidence and version are recorded; the SKOS triple it stands for is aps:Capability <aps:taxonomyRelation-as-SKOS> <taxon>. TS: SkillTaxonomyMappingV1 (capability-claims)." .
+
+aps:mapsCapability a owl:ObjectProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range aps:Capability ;
+    rdfs:label "mapsCapability" .
+
+aps:taxonomy a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomy" ;
+    rdfs:comment "'oasf' | 'hcs14' | any taxonomy family name." .
+
+aps:taxonomyVersion a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomyVersion" ;
+    rdfs:comment "Pinned. A different requested version yields status review-required, never current." .
+
+aps:targetClassId a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "targetClassId" .
+
+aps:taxonomyRelation a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:string ;
+    rdfs:label "taxonomyRelation" ;
+    rdfs:seeAlso skos:exactMatch, skos:closeMatch, skos:broadMatch, skos:narrowMatch ;
+    rdfs:comment "exact | close | broad | narrow — each names the SKOS mapping property the reified mapping stands for (skos:exactMatch / closeMatch / broadMatch / narrowMatch)." .
+
+aps:mappingAssertedBy a owl:ObjectProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range ap:CanonicalAgentId ;
+    rdfs:label "mappingAssertedBy" .
+
+aps:mappingAssertedAt a owl:DatatypeProperty ;
+    rdfs:domain aps:SkillTaxonomyMapping ; rdfs:range xsd:dateTime ;
+    rdfs:label "mappingAssertedAt" .
+
+# ── The playbook a Home agent runs under (spec 354) ───────────────────────────────────────────────
+# An archetype compiled to an AgentHarnessDefinitionV1, ASSIGNED to an agent as a vault record. This is
+# the record that makes "set this agent to the Treasury archetype" real: behavior, pinned by digest,
+# approval-gated. NEVER authority — assigning it moves no grant; it changes what the agent knows how to
+# do, and the mandate still decides what it may do (spec 354 §1).
+aps:ArchetypeAssignment a rdfs:Class ;
+    rdfs:label "ArchetypeAssignment" ;
+    rdfs:comment "Which compiled playbook (archetype + version + definition digest) an agent runs under, held in the agent's own vault and pinned by digest. Behavior, not authority: it says what the agent knows how to do; the mandate says what it may do. Approval-gated (editor ≠ approver ≠ writer)." .
+
+aps:assignedArchetype a rdf:Property ; rdfs:domain aps:ArchetypeAssignment ; rdfs:range aps:AgentArchetype ;
+    rdfs:label "assignedArchetype" ; rdfs:comment "The archetype's canonical skill id." .
+
+aps:definitionDigest a rdf:Property ; rdfs:domain aps:ArchetypeAssignment ;
+    rdfs:label "definitionDigest" ; rdfs:comment "The compiled definition's digest — what run admission verifies before it trusts the behavior." .

package/tbox/values.ttl

@@ -0,0 +1,81 @@
+# T-box — WHAT AN ARGUMENT IS, when it is not a party (spec 363 W2).
+#
+# `PARTY_ROLES` already says what an argument's PARTY may be — a payer is a Treasury or an Organization,
+# an invitee is a Person (or, since spec 372, a Service agent). Nothing said what the REST of an argument is, so every argument that was not an
+# agent was a string, and every branch that touched one re-invented how to read it.
+#
+# THAT COST REAL MONEY. Asked to send 20 USDC a planner wrote `amount: "20"` into a smallest-units field
+# and twenty base units settled — 0.00002 dollars — under a mandate every gate approved. A person who
+# answered "10 usdc" to "how much?" was silently re-asked, because one branch's regex wanted bare digits.
+# A request for "a way to reach your treasury" was sent to somebody being invited to a TEAM, because the
+# kind of thing wanted had no declared value set and defaulted to the only one the code knew.
+#
+# Each of those is one question: WHAT KIND OF VALUE IS THIS, and who is allowed to say. These terms are
+# the answer, and `packages/ontology/src/arg-types.ts` binds arguments to them with ONE reader each — so
+# a person's phrasing is understood identically wherever they typed it, and a refusal always names what
+# it could not read instead of asking the same question again.
+
+@prefix apval: <https://agenticprimitives.dev/ns/value#> .
+@prefix ap:    <https://agenticprimitives.dev/ns/core#> .
+@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:   <http://www.w3.org/2002/07/owl#> .
+@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
+@prefix skos:  <http://www.w3.org/2004/02/skos/core#> .
+
+apval: a owl:Ontology ;
+    rdfs:label "Agentic Primitives — Argument values" ;
+    rdfs:comment "The kinds of value a capability argument can hold when it is not an agent: a quantity, an asset, an address for mail, a label, a flag, a kind of agent. One term, one reader (spec 363 §3)." .
+
+apval:Value a owl:Class ;
+    rdfs:label "Value" ;
+    rdfs:comment "A capability argument that is not a party. Its TYPE says how it is read and what a refusal may say." .
+
+apval:Amount a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "Amount" ;
+    rdfs:comment """A quantity OF SOMETHING, said the way people say it: "20", "12.50", "10 usdc", "$10",
+      "1,000". A currency word or symbol beside a figure adds no information a single-asset deployment
+      does not already have, and a thousands comma is punctuation — so all of those read. "10,50" and
+      "a tenner" do NOT, and the honest response is to name what could not be read.
+
+      SMALLEST UNITS ARE NOT AN AMOUNT, they are a REPRESENTATION. Only a caller that computed them (a
+      form, a script) may state them; a planner repeating what a person said may not, because it has no
+      basis for the conversion and getting it wrong moves the wrong money silently.""" .
+
+apval:Asset a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "Asset" ;
+    rdfs:comment """The token a quantity is IN. A deployment fact, not a planner's to recall: asked to
+      send USDC a model wrote Base Sepolia's token address from memory — well-formed, and wrong for this
+      chain. Read as an address, or as a symbol this deployment actually configures.""" .
+
+apval:EmailAddress a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "EmailAddress" ;
+    rdfs:comment "Where someone's mail goes. Checked for shape before it is stored, because a malformed one is discovered later by whoever tried to write to it." .
+
+apval:DisplayLabel a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "DisplayLabel" ;
+    rdfs:comment "A short human string shown back to people — a name for a treasury, what someone calls a household member. Trimmed and bounded; never markup, never a control character." .
+
+apval:Flag a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "Flag" ;
+    rdfs:comment "A yes/no the person actually said. \"true\", \"yes\", \"on\" and their opposites read; anything else is not an answer and is asked again." .
+
+apval:AgentKind a owl:Class ;
+    rdfs:subClassOf apval:Value ;
+    rdfs:label "AgentKind" ;
+    rdfs:comment """WHICH KIND of agent an argument names — a treasury, an organization, a team. Its
+      values are the derived agent TYPES (ADR-0061), so the vocabulary is the one `CLASS_FOR_SUFFIX`
+      already binds rather than a second list.
+
+      IT HAS NO DEFAULT, and that is the point. `wants ?? 'treasury'` sent somebody being invited to a
+      team a request for a way to reach their treasury: two unrelated sentences stapled together, and
+      nothing he could act on. A kind that was not said is asked for.""" .
+
+apval:valueType a owl:ObjectProperty ;
+    rdfs:domain ap:Agent ; rdfs:range apval:Value ;
+    rdfs:label "valueType" ;
+    rdfs:comment "Binds a capability argument to the kind of value it holds. Consumed by the compiled ARG_TYPES table; a binding whose term this T-box does not declare fails the build." .