RCC-8 topology: the eight base region relations, the six derived predicates, the
transcribed composition table, and the calculus and prover over vaelii.impl.qcn-kb.
See docs/space.md.
RCC-8 topology: the eight base region relations, the six derived predicates, the transcribed composition table, and the calculus and prover over `vaelii.impl.qcn-kb`. See docs/space.md.
The eight RCC-8 base relations: the universe of the algebra.
The eight RCC-8 base relations: the universe of the algebra.
Base relation keyword → the binary predicate a fact about it is stored under.
Base relation keyword → the binary predicate a fact about it is stored under.
(compose s1 s2)The composition of two relation sets: the union of the table entries over every pair of members.
The composition of two relation sets: the union of the table entries over every pair of members.
(converse-set rels)The converse of a relation set: the constraint on (b a) that one on (a b) gives.
The converse of a relation set: the constraint on `(b a)` that one on `(a b)` gives.
RCC-8 as a vaelii.impl.qcn-kb calculus.
RCC-8 as a `vaelii.impl.qcn-kb` calculus.
RCC-8 as a vaelii.impl.qcn relation algebra.
RCC-8 as a `vaelii.impl.qcn` relation algebra.
The Randell–Cui–Cohn composition table: (get-in rcc8-composition [r1 r2]) is the set
of base relations possible between x and z given r1(x,y) and r2(y,z).
qcn_algebra_test holds the relation-algebra laws over it (docs/qcn.md).
The Randell–Cui–Cohn composition table: `(get-in rcc8-composition [r1 r2])` is the set of base relations possible between x and z given `r1`(x,y) and `r2`(y,z). `qcn_algebra_test` holds the relation-algebra laws over it (docs/qcn.md).
Every RCC-8 predicate, the eight base and the six derived, mapped to the set of base relations it denotes.
Every RCC-8 predicate, the eight base and the six derived, mapped to the set of base relations it denotes.
The predicates the RCC-8 prover claims: the keys of spatial-denotation.
The predicates the RCC-8 prover claims: the keys of `spatial-denotation`.
(spatial-prover)The RCC-8 entailment prover, which vaelii.core/add-reasoner registers as :rcc8.
The RCC-8 entailment prover, which `vaelii.core/add-reasoner` registers as `:rcc8`.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |