Modeling Science as a Directed Graph

Re:Modeling Science as a Directed Graph by DonbunEf7 on Saturday November 11, 2017 @03:41PM (#15678072)

Reminds me of ologs: https://arxiv.org/abs/1102.1889v2

The category on top of a given graph just adds path equivalences. While that might not seem like a big addition, it's crucial for restricting the structure's internal state.

[ Parent | on HN ]

Re:Modeling Science as a Directed Graph by mncharity on Saturday November 11, 2017 @04:57PM (#15678402)

Thanks. In a similar vein, there's a recent Knowledge Representation in Bicategories of Relations https://arxiv.org/pdf/1706.00526.pdf .

[ Parent | on HN ]