English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

A Tableau Decision Algorithm for Description Logic CATSbqr