Livejournal
Log in
Post
Friends
My journal
deep_econom
Операции с моделями.
Jul 01, 2022 15:08
Операции с моделями (комплексами стрелок/морфизмов). Черновик. Будет дополняться, изменяться, формализовываться (
Read more...
)
Leave a comment
Comments 1
deep_econom
July 1 2022, 09:21:16 UTC
Complexity of reasoning in Description Logics
http://www.cs.man.ac.uk/~ezolin/dl/
Concept constructors:
Role constructors:
TBox (concept axioms):
RBox (role axioms):
Description Logics
http://dl.kr.org/
Reply
Leave a comment
Up
Comments 1
http://www.cs.man.ac.uk/~ezolin/dl/
Concept constructors:
Role constructors:
TBox (concept axioms):
RBox (role axioms):
Description Logics
http://dl.kr.org/
Reply
Leave a comment