Dear Colleagues: Does there exist (Java) package which transforms Description Logics into corresponding First-order Logics? Thanks. -- Best Regards! Jun FangReceived on Monday, 29 March 2010 09:35:27 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:20 UTC