To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Consistency Checking of an Ontology Concept Model Based on Description Logics |
|
Author |
Yu Changrui, Luo Yan |
| Citation |
Vol. 6 No. 12 pp. 89-94 |
|
Abstract |
Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an ontology concept model is constructed using Description Logics. Based on model, the issue on Consistency checking of the extended ontology model is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking. |
|
Keywords |
Ontology concept model, consistency checking, description logics. |
|
URL |
