A Tableau Decision Algorithm for Description Logic CATSbqr
Haifeng Liu · 2016
The graphical representation of the UML class diagram does not have a clear semantics, so that it is unable to auto detect the semantic errors in the model.To solve this problems, somebody provides a tools called description logic CATSbqr,which can transports the class diagram to CATSbqr knowledge base, so it can use the reason mechanism of knowledge base to detect the corrective of the model.But CATSbqr lacks reasoning algorithm for satisfiability and subsumption reasoning tasks at present.Based on this,in this paper a kind of description logic tableaux based satisfiability reasoning algorithm for CATSbqr is presented, after that ,we used the RacerPro reasoned to reasoning the knowledge base which transformation form DLs CATSbqr.The theoretical foundation for the implementation of automatic reasoning of satisfiability , redundancy, and subsumption relation of UML composition association is presented through description logic CATSbqr tableaux reasoning algorithms.