@agenticprimitives/ontology 1.0.0-alpha.4 → 1.0.0-alpha.40

package/tbox/dcat-imports.ttl

@@ -0,0 +1,19 @@
+# T-box — the W3C DCAT 3 terms this substrate EMITS, declared (spec 415 S0).
+#
+# DCAT 3 (W3C Recommendation, 2024-08-22) describes a replay set: a versioned dataset of intents with a checksummed
+# distribution (the file). Declared in the wave that first emits them. Axioms: the Recommendation's.
+
+@prefix dcat: <http://www.w3.org/ns/dcat#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+<https://agenticprimitives.dev/ns/dcat-imports> a owl:Ontology ;
+    rdfs:label "Agentic Primitives — DCAT terms in use" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Declarations of the W3C DCAT 3 terms replay-set descriptions carry. Spec 415 S0; pinned in docs/standards-lock.json#provenance.dcat." .
+
+dcat:Dataset a owl:Class ; rdfs:label "Dataset (DCAT)" .
+dcat:Distribution a owl:Class ; rdfs:label "Distribution (DCAT)" .
+dcat:distribution a owl:ObjectProperty ; rdfs:label "distribution (DCAT)" .
+dcat:version a owl:DatatypeProperty ; rdfs:label "version (DCAT)" .
+dcat:downloadURL a owl:ObjectProperty ; rdfs:label "downloadURL (DCAT)" .

package/tbox/discovery.ttl

@@ -0,0 +1,273 @@
+# T-box — discovery, trust determination, and graph query vocabulary.
+# Domain-derived from Agent Explorer's discovery/descriptors/trust vocabulary
+# and grounded in PROV-O + DOLCE+DnS/DUL.
+
+@prefix ap:      <https://agenticprimitives.dev/ns/core#> .
+@prefix apdisc:  <https://agenticprimitives.dev/ns/discovery#> .
+@prefix apreg:   <https://agenticprimitives.dev/ns/registry#> .
+@prefix apint:   <https://agenticprimitives.dev/ns/intent#> .
+@prefix apatt:   <https://agenticprimitives.dev/ns/attestation#> .
+@prefix aps:     <https://agenticprimitives.dev/ns/skill#> .
+@prefix apg:     <https://agenticprimitives.dev/ns/geo#> .
+@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 xsd:     <http://www.w3.org/2001/XMLSchema#> .
+@prefix prov:    <http://www.w3.org/ns/prov#> .
+@prefix dul:     <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#> .
+@prefix skos:    <http://www.w3.org/2004/02/skos/core#> .
+
+apdisc: a owl:Ontology ;
+  rdfs:label "Agentic Primitives — discovery ontology" ;
+  owl:versionInfo "0.2.0" ;
+  rdfs:seeAlso <https://github.com/agentictrustlabs/agent-explorer/tree/main/apps/ontology/ontology> ;
+  rdfs:comment "Vocabulary for GraphDB-backed discovery queries, evidence paths, trust determinations, graph snapshots, and intent candidate matching." .
+
+apdisc:CandidateQuery a owl:Class ;
+  rdfs:subClassOf prov:Activity, dul:InformationRealization ;
+  rdfs:label "CandidateQuery" ;
+  rdfs:comment "A versioned discovery query over the public A-box and inferred graphs." .
+
+apdisc:MatchCandidate a owl:Class ;
+  rdfs:subClassOf prov:Entity, dul:InformationObject ;
+  rdfs:label "MatchCandidate" ;
+  rdfs:comment "A candidate agent returned for an intent or discovery query with evidence, score, and trust determination." .
+
+apdisc:TrustDetermination a owl:Class ;
+  rdfs:subClassOf prov:Entity, dul:Diagnosis ;
+  rdfs:label "TrustDetermination" ;
+  rdfs:comment "An explainable determination over public evidence. It informs discovery and ranking but does not authorize action." .
+
+apdisc:EvidencePath a owl:Class ;
+  rdfs:subClassOf prov:Entity, dul:InformationObject ;
+  rdfs:label "EvidencePath" ;
+  rdfs:comment "An ordered citation path showing why a candidate matched: card binding, registry entry, claims, validation, outcomes, and revocation checks." .
+
+apdisc:GraphSnapshot a owl:Class ;
+  rdfs:subClassOf prov:Entity ;
+  rdfs:label "GraphSnapshot" ;
+  rdfs:comment "Identifier for the named graph versions and block ranges used by a query." .
+
+apdisc:InferenceProfile a owl:Class ;
+  rdfs:subClassOf dul:Description ;
+  rdfs:label "InferenceProfile" ;
+  rdfs:comment "Versioned inference settings, e.g. RDFS, SKOS broader/narrower, SHACL validation reports, materialization policy." .
+
+apdisc:TrustPolicy a owl:Class ;
+  rdfs:subClassOf dul:Description ;
+  rdfs:label "TrustPolicy" ;
+  rdfs:comment "A declarative policy describing which evidence classes, issuers, recency, validation, and registry status are required for a trust determination." .
+
+apdisc:DiscoveryExplanation a owl:Class ;
+  rdfs:subClassOf prov:Entity, dul:InformationObject ;
+  rdfs:label "DiscoveryExplanation" ;
+  rdfs:comment "Human-readable and machine-readable explanation attached to a candidate or trust determination." .
+
+apdisc:queryHash a owl:DatatypeProperty ;
+  rdfs:domain apdisc:CandidateQuery ;
+  rdfs:range xsd:string ;
+  rdfs:label "queryHash" .
+
+apdisc:sparqlHash a owl:DatatypeProperty ;
+  rdfs:domain apdisc:CandidateQuery ;
+  rdfs:range xsd:string ;
+  rdfs:label "sparqlHash" .
+
+apdisc:usesGraphSnapshot a owl:ObjectProperty ;
+  rdfs:domain apdisc:CandidateQuery ;
+  rdfs:range apdisc:GraphSnapshot ;
+  rdfs:label "usesGraphSnapshot" .
+
+apdisc:usesInferenceProfile a owl:ObjectProperty ;
+  rdfs:domain apdisc:CandidateQuery ;
+  rdfs:range apdisc:InferenceProfile ;
+  rdfs:label "usesInferenceProfile" .
+
+apdisc:forIntent a owl:ObjectProperty ;
+  rdfs:domain apdisc:CandidateQuery ;
+  rdfs:range apint:Intent ;
+  rdfs:label "forIntent" .
+
+apdisc:candidateAgent a owl:ObjectProperty ;
+  rdfs:domain apdisc:MatchCandidate ;
+  rdfs:range ap:Agent ;
+  rdfs:label "candidateAgent" .
+
+apdisc:candidateRegistryEntry a owl:ObjectProperty ;
+  rdfs:domain apdisc:MatchCandidate ;
+  rdfs:range apreg:RegistryEntry ;
+  rdfs:label "candidateRegistryEntry" .
+
+apdisc:hasTrustDetermination a owl:ObjectProperty ;
+  rdfs:domain apdisc:MatchCandidate ;
+  rdfs:range apdisc:TrustDetermination ;
+  rdfs:label "hasTrustDetermination" .
+
+apdisc:hasEvidencePath a owl:ObjectProperty ;
+  rdfs:range apdisc:EvidencePath ;
+  rdfs:label "hasEvidencePath" .
+
+apdisc:citesEvidence a owl:ObjectProperty ;
+  rdfs:domain apdisc:EvidencePath ;
+  rdfs:range prov:Entity ;
+  rdfs:label "citesEvidence" .
+
+apdisc:trustScore a owl:DatatypeProperty ;
+  rdfs:domain apdisc:TrustDetermination ;
+  rdfs:range xsd:decimal ;
+  rdfs:label "trustScore" ;
+  rdfs:comment "Normalized score used for ranking. It must cite evidence; score alone is not authority." .
+
+apdisc:matchScore a owl:DatatypeProperty ;
+  rdfs:domain apdisc:MatchCandidate ;
+  rdfs:range xsd:decimal ;
+  rdfs:label "matchScore" .
+
+apdisc:confidence a owl:DatatypeProperty ;
+  rdfs:domain apdisc:TrustDetermination ;
+  rdfs:range xsd:decimal ;
+  rdfs:label "confidence" .
+
+apdisc:explanationText a owl:DatatypeProperty ;
+  rdfs:domain apdisc:DiscoveryExplanation ;
+  rdfs:range xsd:string ;
+  rdfs:label "explanationText" .
+
+apdisc:validationReport a owl:ObjectProperty ;
+  rdfs:range prov:Entity ;
+  rdfs:label "validationReport" ;
+  rdfs:comment "Link to a SHACL validation report or equivalent graph validation result." .
+
+apdisc:namedGraph a owl:DatatypeProperty ;
+  rdfs:domain apdisc:GraphSnapshot ;
+  rdfs:range xsd:string ;
+  rdfs:label "namedGraph" .
+
+apdisc:inferenceProfileId a owl:DatatypeProperty ;
+  rdfs:domain apdisc:InferenceProfile ;
+  rdfs:range xsd:string ;
+  rdfs:label "inferenceProfileId" .
+
+# ═══════════════════════════════════════════════════════════════════════════════════════════════
+# Offerings (spec 286; ADR-0040 amended) — the crawled, HOST-ASSERTED service surface.
+#
+# WHY THIS BLOCK EXISTS. `apdisc:Offering` and its thirteen properties were written into the
+# production knowledge graph by apps/demo-discovery-indexer and read back by
+# apps/demo-discovery-mcp's `getOfferings` SPARQL — while being declared in NO T-box file. This is
+# the same gap `tbox/profile.ttl` closed for `approf:`, and it is closed the same way: NOTHING IS
+# MINTED HERE. Every IRI below is verbatim what the indexer already emits and the MCP already
+# selects, because both are already in the live graph. Renaming any of them would be a migration,
+# not an edit (ADR-0009; ADR-0013 — no read path for an undeclared term).
+#
+# ── What an Offering IS, and what it is NOT (capability-architecture.md §1) ─────────────────────
+# An Offering is an `aps:CapabilityProtocolProjection`: ONE agent's public ADVERTISEMENT of ONE
+# skill, crawled from that agent's own `GET /offerings?view=public` card. It is:
+#   · host-asserted, therefore the WEAKEST assertion strength (declared, never claimed, never
+#     demonstrated) — `apdisc:hasOffering` carries exactly as much authority as `atl:skills` does,
+#     which is none;
+#   · provenance-bearing by construction (sourceEndpoint + observedAt + cardDigest), because a
+#     crawled assertion whose observation point and time are unrecorded cannot be aged out or
+#     challenged;
+#   · NEVER an `apguide:AgentSkillPackage` reference. An Offering names no playbook (architecture
+#     §2 axiom 1: the `implementedBy exactly-1` error), and no gate may read one (axiom 4).
+# ═══════════════════════════════════════════════════════════════════════════════════════════════
+
+apdisc:Offering a owl:Class ;
+  rdfs:subClassOf prov:Entity , dul:InformationObject ;
+  rdfs:label "Offering" ;
+  rdfs:comment "One crawled, host-asserted public skill advertisement of ONE agent (spec 286). A projection of a capability, never the capability and never a plan. Its A-box IRI is deterministic per (chain, agent, skillId) — `urn:ap:offering:eip155:<chain>:<sa>:<skillId>` — so a re-crawl converges on the same subject instead of accumulating duplicates." ;
+  # NOT rdfs:subClassOf aps:CapabilityProtocolProjection, and the reason is load-bearing rather
+  # than fussy. An Offering plays the projection ROLE — it is an advertisement and nothing more —
+  # but `aps:CapabilityProtocolProjectionShape` requires `aps:declaresCapability` exactly once, and
+  # an Offering declares NOTHING resolvable: its `skillId` is whatever string the host put on its
+  # own card. Subclassing would make RDFS entailment sweep every crawled offering into that shape's
+  # target set, and the production graph would report thousands of violations that describe the
+  # ontology's wishful thinking rather than any defect in the data. When a host publishes a
+  # catalog capability id, the honest edge is an explicit `aps:declaresCapability` triple on the
+  # offering node — asserted per offering, never entailed from its class.
+  skos:related aps:CapabilityProtocolProjection .
+
+# ── The two link predicates (agent ↔ child node) ────────────────────────────
+
+apdisc:hasOffering a owl:ObjectProperty ;
+  rdfs:domain ap:Agent ;
+  rdfs:range apdisc:Offering ;
+  rdfs:label "hasOffering" ;
+  rdfs:comment "Agent → its crawled Offerings. FRESHNESS IS PER LINK PREDICATE: a crawl that fails returns no children at all and the indexer PRESERVES the existing offerings; only a successful crawl (possibly of zero offerings) refreshes them. Crawl failure is not zero offerings (ADR-0013)." .
+
+apdisc:ofAgent a owl:ObjectProperty ;
+  rdfs:range ap:Agent ;
+  rdfs:label "ofAgent" ;
+  rdfs:comment "The child-node → agent backlink the projection store writes for EVERY first-class child node — Offerings, aptrust:TrustGraphEdge, apatt:Attestation. Deliberately left with NO rdfs:domain: constraining it to apdisc:Offering would, under RDFS entailment, type every attestation and every trust edge as an Offering. It is a generic backlink that happens to live in the apdisc: namespace because the offerings projector coined it first." .
+
+# ── The thirteen Offering-node properties ───────────────────────────────────
+# Order matches apps/demo-discovery-indexer/src/ontology.ts so the two files can be diffed by eye.
+
+apdisc:skillId a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "skillId" ;
+  rdfs:comment "The host's own id for the advertised skill, verbatim from its card. It is the offering's identity component (the A-box IRI derives from it), NOT a resolvable `aps:capabilityId` and NOT the on-chain keccak256 skillId — a host may advertise anything it likes here. An offering without one is not projected at all." .
+
+apdisc:offeringName a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "offeringName" ;
+  rdfs:comment "The card's human label for this skill." .
+
+apdisc:offeringDescription a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "offeringDescription" ;
+  rdfs:comment "The card's per-skill blurb. Its OWN term, and G8's third writer: this was emitted under `approf:description`, whose rdfs:domain is `approf:AgentProfile`, so every crawled Offering entailed itself to be an agent profile and an 'agent self-description' query that dropped its subject filter would sweep up host-asserted skill blurbs. A skill's blurb is not an agent's bio (agent-metadata-tiers.md: same field name ≠ same field)." .
+
+apdisc:offeringVersion a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "offeringVersion" ;
+  rdfs:comment "The host's version string for this skill, opaque and uninterpreted — never parsed, never ordered, never compared." .
+
+apdisc:effect a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "effect" ;
+  rdfs:comment "The card's self-declared effect class (e.g. read/write). AN OPEN VALUE SPACE ON PURPOSE: it is a host's claim about its own skill, so no codelist here could be authoritative, and pinning one would make an unrecognised value indistinguishable from an absent one. It informs presentation and ranking; it never gates anything (authority is delegation ∩ entitlement ∩ policy, at the gate)." .
+
+apdisc:exposure a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "exposure" ;
+  rdfs:comment "The card's self-declared exposure class. Same posture as apdisc:effect: host-asserted, open, advisory, never an authorization input." .
+
+apdisc:family a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "family" ;
+  rdfs:comment "The card's grouping label for related skills. A NAVIGATIONAL category (apctx:classifiedBy in spirit), never `aps:specializesCapability` — a host's grouping is not a statement that one ability is a narrower form of another." .
+
+apdisc:requiredCapability a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "requiredCapability" ;
+  rdfs:comment "MULTIVALUED — one triple per entry (`requiredCapabilities[]` on the card), which is why the MCP's getOfferings groups rows by offering node. What the host says a CALLER must present to invoke this skill. It is a published precondition, not a grant and not a check: the caller's actual authority is decided at the gate." .
+
+apdisc:hasInputSchema a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "hasInputSchema" ;
+  rdfs:comment "Whether the card advertises an input schema for this skill. STRING-TYPED, NOT BOOLEAN, and deliberately so: the indexer writes `String(o.hasInputSchema)` and the MCP reads `value === 'true'`, so the live value space is exactly the two lexical forms 'true' and 'false'. The C-box shape pins that set, because any third value reads as false in the MCP and would be a silent miss (ADR-0013). Declaring it xsd:boolean here would describe a graph that does not exist." .
+
+apdisc:offeringStatus a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "offeringStatus" ;
+  rdfs:comment "The card's lifecycle label for this skill. Host-asserted and open — an agent taking a skill down is a fact about its card, observable only at the next crawl." .
+
+# ── Provenance of the crawl itself (ADR-0040 amended) ───────────────────────
+# A host-asserted fact with no observation point and no observation time cannot be aged, diffed or
+# challenged — it is a rumour with a subject IRI. These three are what make an Offering evidence.
+
+apdisc:sourceEndpoint a owl:DatatypeProperty ;
+  rdfs:range xsd:string ;
+  rdfs:label "sourceEndpoint" ;
+  rdfs:comment "The `a2aEndpoint` the card was crawled from — the spec-280 node-keyed endpoint record, not a profile property. Also emitted on the agent's own offerings facet, hence NO rdfs:domain. The crawl requires the card's self-reported agentId to equal the SA being crawled: a host may never project offerings for a different agent." .
+
+apdisc:observedAt a owl:DatatypeProperty ;
+  rdfs:range xsd:integer ;
+  rdfs:label "observedAt" ;
+  rdfs:comment "Unix SECONDS at which the card was observed (the card's own `observedAt` when it states one, else crawl time). Written as a bare Turtle integer, hence xsd:integer, not xsd:dateTime — declared as it is emitted, not as one might wish it were. Also emitted on the agent's offerings facet, hence no rdfs:domain." .
+
+apdisc:cardDigest a owl:DatatypeProperty ;
+  rdfs:domain apdisc:Offering ; rdfs:range xsd:string ;
+  rdfs:label "cardDigest" ;
+  rdfs:comment "`sha256:<64 lowercase hex>` over the RAW card body the offering was parsed from. It is what makes 'did this host's advertisement change?' answerable without having stored the card: every offering crawled in one pass shares one digest, so a changed digest scopes exactly which advertisements must be re-examined. Same load-bearing role the pinned playbook content hash plays for a realization contract." .

package/tbox/dqv-imports.ttl

@@ -0,0 +1,29 @@
+# T-box — the W3C Data Quality Vocabulary terms this substrate EMITS, declared (spec 414 A2).
+#
+# Same rule as prov-imports.ttl and skos-imports.ttl: DQV (W3C Working Group Note, 2016-12-15) means what the Note
+# says and nothing here redefines it. Declared so the bindings, the standard-anchoring gate and the measurement
+# shapes can tell an imported standard term from a typo. Declared in the wave that first emits them (A2): a run's
+# measurements (`run.measures:<runRef>`) are dqv:QualityMeasurements computedOn its activities.
+#
+# Domains and ranges are omitted: the Note's own axioms govern.
+
+@prefix dqv:  <http://www.w3.org/ns/dqv#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+<https://agenticprimitives.dev/ns/dqv-imports> a owl:Ontology ;
+    rdfs:label "Agentic Primitives — DQV terms in use" ;
+    owl:versionInfo "0.1.0" ;
+    rdfs:comment "Declarations of the W3C DQV terms the substrate's measurement records carry. Spec 414 A2; pinned in docs/standards-lock.json#provenance.dqv." .
+
+dqv:QualityMeasurement a owl:Class ; rdfs:label "QualityMeasurement (DQV)" ;
+    rdfs:comment "A value of a metric computed on a resource. Here: one number about a run or a step, computed from its trace alone." .
+dqv:Metric a owl:Class ; rdfs:label "Metric (DQV)" .
+dqv:Dimension a owl:Class ; rdfs:label "Dimension (DQV)" .
+dqv:QualityMeasurementDataset a owl:Class ; rdfs:label "QualityMeasurementDataset (DQV)" ;
+    rdfs:comment "A set of measurements. Here: all of one run's measurements, one record." .
+
+dqv:computedOn a owl:ObjectProperty ; rdfs:label "computedOn (DQV)" .
+dqv:isMeasurementOf a owl:ObjectProperty ; rdfs:label "isMeasurementOf (DQV)" .
+dqv:inDimension a owl:ObjectProperty ; rdfs:label "inDimension (DQV)" .
+dqv:value a owl:DatatypeProperty ; rdfs:label "value (DQV)" .

package/tbox/earl-imports.ttl

@@ -0,0 +1,32 @@
+# T-box — the W3C EARL 1.0 terms this substrate EMITS, declared (spec 414 §3.4 / 415 SEL-1).
+#
+# EARL (W3C Working Group Note, 2017-02-02) is the verdict form of a judgment whose criterion is a TEST: an
+# earl:Assertion that a subject passed / failed / could not be told. First emitted by the mechanical SKILL-SELECTION
+# judge (spec 415 §3a). Declared here so bindings, anchoring and the judgment shapes see them. Axioms: the Note's.
+
+@prefix earl: <http://www.w3.org/ns/earl#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix owl:  <http://www.w3.org/2002/07/owl#> .
+
+<https://agenticprimitives.dev/ns/earl-imports> a owl:Ontology ;
+    rdfs:label "Agentic Primitives — EARL terms in use" ;
+    owl:versionInfo "0.1.1" ;
+    rdfs:comment "Declarations of the W3C EARL 1.0 terms judgment records carry. Spec 414 §3.4; pinned in docs/standards-lock.json#provenance.earl." .
+
+earl:Assertion a owl:Class ; rdfs:label "Assertion (EARL)" .
+earl:TestResult a owl:Class ; rdfs:label "TestResult (EARL)" .
+earl:OutcomeValue a owl:Class ; rdfs:label "OutcomeValue (EARL)" .
+earl:TestMode a owl:Class ; rdfs:label "TestMode (EARL)" .
+earl:assertedBy a owl:ObjectProperty ; rdfs:label "assertedBy (EARL)" .
+earl:subject a owl:ObjectProperty ; rdfs:label "subject (EARL)" .
+earl:test a owl:ObjectProperty ; rdfs:label "test (EARL)" .
+earl:result a owl:ObjectProperty ; rdfs:label "result (EARL)" .
+earl:outcome a owl:ObjectProperty ; rdfs:label "outcome (EARL)" .
+earl:mode a owl:ObjectProperty ; rdfs:label "mode (EARL)" .
+earl:passed a earl:OutcomeValue ; rdfs:label "passed (EARL)" .
+earl:failed a earl:OutcomeValue ; rdfs:label "failed (EARL)" .
+earl:cantTell a earl:OutcomeValue ; rdfs:label "cantTell (EARL)" .
+earl:inapplicable a earl:OutcomeValue ; rdfs:label "inapplicable (EARL)" .
+earl:automatic a earl:TestMode ; rdfs:label "automatic (EARL)" .
+earl:manual a earl:TestMode ; rdfs:label "manual (EARL)" .
+earl:semiAuto a earl:TestMode ; rdfs:label "semiAuto (EARL)" .