Directory / detect.halowerk.com
detect.halowerk.com/v1/F-TD2000-DOCUMENTS-09/rdfs-finite-iri-domain-range-subclass-subproperty-horn- working
https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-09/rdfs-finite-iri-domain-range-subclass-subproperty-horn-materialization
Before you pay
- Advice
ok- Protocol
- x402 · http · POST
- Asks for
- 0.003 USDC on base
- Catalogue says
- 0.003 USDC
- Pays to
0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E- Last check
- 25 h ago · 15 ms · HTTP 402
- Detail
- 402 with valid terms
Reliability
- Uptime 24 h
- 0.0%
- Uptime 7 days
- 100.0% (6 checks)
- Uptime 30 days
- 100.0% (signed daily)
- Paid calls 30 d
- 1 from 1 payers (x402 Bazaar)
- Listed by
- x402-bazaar
- First seen
- 2026-11-05 22:13 UTC
Description (from the catalogue, unverified)
Materialize an explicitly defined finite IRI-only RDF/RDFS Horn fragment. Reconstruct the fully typed result and compare its complete canonical SHA256 claim.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-10 00:18 UTC | fcbe27bd…07e2ed daily summary | 389341 |
| 2026-11-09 00:16 UTC | 203bf933…9ffe68 daily summary | 298058 |
| 2026-11-07 00:17 UTC | cecef94c…4c6950 daily summary | 140937 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/s5x7hgll6hm4omvg
Badge:
<a href="https://alalanet.com/s/s5x7hgll6hm4omvg"><img src="https://alalanet.com/badge/s5x7hgll6hm4omvg" alt="alalanet status"></a>Own this service? Claim it (free). Do not want it checked? See the prober page.