ONTOLOGY APPLICATION STUDIO

Code the graph. Run the boundary.

Author a typed Kotoba-shaped Mithril Form, then execute one bounded agent run: OWL inference, SPARQL selection, SHACL validation, Web IR compilation, conformance testing and content-addressed deployment. Existing JSON-LD remains accepted; no source text is generated by a model.

One finite agent run

1 · OWL close component types
2 · SPARQL select finite candidates
3 · SHACL reject invalid graph
4 · Compile emit deterministic Web IR
5 · Test execute conformance checks
6 · Deploy seal a self-contained URL

Ontology choices

Application name

Authored text; never model-generated.

Template

Only catalog identifiers can compile.

Data shape

.mith source

Typed Mithril Form

The form lowers to the same canonical RDF Dataset as compatible JSON-LD.

(mithril/app-agent
  :id "https://app.mithril.fund/id/starter"
  :goal "https://mithril.fund/id/goal/compile-test-deploy-app"
  :ontology "a8d21164d99278f517181b06d063ea8a63249bff57e8e1a5e72aed5758a28f47"
  :imports
  [(mithril/import
     :library "https://mithril.fund/lib/app/agent-loop-v1"
     :digest "sha256:a8ceb6dd2a13217028bd84e35fd8eec6d6873290a3733e9a10dce714038ced73")]
  :loop
  (mithril/loop
    :max-steps 6
    :reasoner "https://mithril.fund/lib/app/agent-loop-v1/reasoner/owl2-rl"
    :query "https://mithril.fund/lib/app/agent-loop-v1/query/component-catalog"
    :validator "https://mithril.fund/lib/app/agent-loop-v1/validator/shacl-core"
    :compiler "https://mithril.fund/lib/app/agent-loop-v1/compiler/web-ir"
    :tester "https://mithril.fund/lib/app/agent-loop-v1/tester/conformance"
    :deployer "https://mithril.fund/lib/app/agent-loop-v1/deployer/self-contained-url"
    :governor "https://mithril.fund/lib/app/agent-loop-v1/governor/static-read-only")
  :app
  (mithril/app
    :name "Mithril Observatory"
    :description "A bounded ontology application compiled without generated source text."
    :headline "Signals become an inspectable graph."
    :summary "OWL closes the component set, SHACL validates the source, SPARQL selects facts, and Web IR renders the admitted result."
    :template "https://mithril.fund/id/template/dashboard"
    :data-shape "https://mithril.fund/id/shape/metric-cards"))

Ready. The compiler is fail-closed.

Execution evidence

Run the loop to inspect the typed artifact.