Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻
一种知识表示的形式化语
,
一阶逻
的可判

。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。

Still, at the elegiac close of his book, the author describes depredations wrought on the coast that affect everyone: not just the rampant building, but the accompanying organised crime, corruption and social tensions.
尽管如此,在这本书的结尾处,作者以挽歌的
描述了海岸上发生的影响到每个人的掠夺:不仅仅是猖獗的建筑,还有随之而
的有组织犯罪、腐败和社会紧张局势。
