Interdisciplinary reasoning on description logic
Daoshe Lu, Yang Shihan, Jinzhao Wu, Xiong Lingfang · 2012
In order to reasoning on interdisciplinarily with existed knowledge bases(KBs),this paper proposed a combined description logics based knowledge representative,relating to different fields by the similarity of concepts.First it gave the syntax and semantics of the combine description logics,then presented a Tableau algorithm for the logics' grammar.The experiment showes that the combine description logic can reason on inter-disciplinary in KBs.With the combined formalism,it can integrate the different KBs so that providing a new support for interdisciplinary reasoning.