A Álgebra de Contra Domínio permite encontrar relações entre entidades, entre alegações ou entre entidades e alegações que podem não estar materializadas no grafo através de arestas. Mas é possível representar explicitamente na resposta.
A Álgebra de Contra Domínio para valores de datas no Contexto Temporal que comentei é a Allen's Interval Algebra. Esta cobre as relações possíveis entre períodos de tempo. Existem extensões que incluem não só o intervalo mas também um momento no tempo.
James F. Allen: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11): 832-843 (1983)
Em relação ao Contradomínio
para valores de formas espaciais
do Contexto de Localização a mais antiga que encontrei foi Region Connection Calculus. Esta trata a relação entre duas formas e existem extensões (ou outras algebras) que tratam ponto, reta, 3D, ...
Randell, D.A.; Cui, Z; Cohn, A.G. (1992). "A spatial logic based on regions and connection". 3rd Int. Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann. pp. 165–176
Alguns sites sobre
https://www.emse.fr/~zimmermann/Teaching/KRR/allen.html
https://ics.uci.edu/~alspaugh/cls/shr/allen.html
https://www.emse.fr/~zimmermann/Teaching/KRR/rcc.html
Comentários
Postar um comentário
Sinta-se a vontade para comentar. Críticas construtivas são sempre bem vindas.