Console
The OntoDAG command language. Typing here and clicking around the site are two ways of doing the same things: each page has an As a command link that shows its question in this language.
You're asking the public vocabulary. Sign in to run commands on a store of your own.
Commands
All of OntoDAG's commands, and whether they run here. Some never will: they read or write files on the server, or change its settings.
Filing things
put |
add an item | your store |
move |
reclassify items: file under new categories, retract the old ones | your store |
remove |
remove items (contract), or --cone (delete) | your store |
Asking questions
get |
query common subcategories | anyone |
count |
how many items a query matches | anyone |
list |
print all item names | anyone |
show |
print the DAG structure | anyone |
below |
test whether SUB fits within SUP (exit 0/1) | anyone |
overlapping |
items that might satisfy a typed term (candidates, not guarantees) | anyone |
overlaps |
test whether A and B possibly share a point (exit 0/1) | anyone |
meet |
the intersection of two same-head typed terms as one term (nothing + exit 1 when empty) | anyone |
canon |
print a term's canonical form (no term: surface/registry versions) | anyone |
Versions
history |
the states this store has been in (newest first) | your store |
status |
where the store is: state, history, what can be undone | your store |
undo |
step back to the previous state | your store |
redo |
step forward again after an undo | your store |
Vocabulary
prelude |
adopt the standard dimension declarations (an idempotent merge; --show to inspect) | anyone, to look (list, --show, --diff) |
pack |
list unit packs, or adopt one by merge (--show to inspect) | anyone, to look (list, --show, --diff) |
Files and pictures
import |
replace the store with a file | not here: reads a file on the server — use Store → Import, which previews first |
export |
write the store to a file | not here: writes a file on the server — use Store → Export to download yours |
merge |
merge a file into the store | not here: reads a file on the server — use Store → Import, which previews first |
ingest |
load a projection stream (JSON lines) | not here: reads a stream from the server — not available here |
excerpt |
write a query's answer to a file | not here: writes a file on the server — use Store → Export |
diff |
compare this store with another (exit 0/1) | not here: compares two stores by file path, and the site has no files for you to name |
visualize |
render an image | not here: writes an image on the server — every page has a Picture instead |
Store and network
set |
show settings, or change one | not here: changes the server's settings, which no page may do |
index |
publish cone summaries for a swarm store | not here: publishes a record store from the server — not available here |
swarm |
check whether this machine can talk to Swarm, and say what to fix | not here: talks to a Swarm node from the server — not available here |
web |
start the browser interface (Ctrl-C to stop) | not here: is what you are looking at |
Help
help |
show help | anyone |
Other
shared-with |
what this store shares with PRINCIPAL | anyone |