A Tableau Decision Algorithm for Description Logic CATSbqr

DOI

10.2991/icmemtc-16.2016.125How to use a DOI?

Keywords

description logic; formalization mathod; automatic reasoning.

Abstract

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.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Haifeng Liu
PY  - 2016/04
DA  - 2016/04
TI  - A Tableau Decision Algorithm for Description Logic CATSbqr
BT  - Proceedings of the 2016 3rd International Conference on Materials Engineering, Manufacturing Technology and Control
PB  - Atlantis Press
SP  - 636
EP  - 639
SN  - 2352-5401
UR  - https://doi.org/10.2991/icmemtc-16.2016.125
DO  - 10.2991/icmemtc-16.2016.125
ID  - Liu2016/04
ER  -