Towards a decidability proof for the ALCI_RCC5 description logic with RCC5 composition table
Lean Updated about 14 hours ago 1 commits 2 stars
drift-coder|Mirror: lambdamikel/alcircc5 (⭐2)
about 14 hours agoAbout
Towards a decidability proof for the ALCI_RCC5 description logic with RCC5 composition table
Readme
2 stars
1 forks