Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was 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.展开更多
The problem of distributed proportional fair inter-cell frequency allocation for flat-structured cellular systems is studied in this paper. We firstly propose a framework of the frequency allocation in which the whole...The problem of distributed proportional fair inter-cell frequency allocation for flat-structured cellular systems is studied in this paper. We firstly propose a framework of the frequency allocation in which the whole frequency allocation process is decomposed into many consecutive stages, then identify that for each stage the key is to find the Maximum Weight Independent Set (MWIS) in a given weighted conflict graph in the distributed manner. A new distributed algorithm for MWIS is described in which each node iteratively exchanges messages with neighbors. With this distributed MWIS algorithm, a new distributed proportional fair frequency allocation scheme is presented. The performance of the proposed algorithm is tested in computer experiments simulating the Long Term Evolution (LTE) cellular systems. Simulation results show the performance of the proposed distributed proportional fair frequency allocation scheme is comparable with the centralized ones.展开更多
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was 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.
基金Supported by the National Mobile Communications Research Laboratory, Southeast University (No. 2011D17)the Nanjing University of Posts and Telecommunications Program (No. NY208049)
文摘The problem of distributed proportional fair inter-cell frequency allocation for flat-structured cellular systems is studied in this paper. We firstly propose a framework of the frequency allocation in which the whole frequency allocation process is decomposed into many consecutive stages, then identify that for each stage the key is to find the Maximum Weight Independent Set (MWIS) in a given weighted conflict graph in the distributed manner. A new distributed algorithm for MWIS is described in which each node iteratively exchanges messages with neighbors. With this distributed MWIS algorithm, a new distributed proportional fair frequency allocation scheme is presented. The performance of the proposed algorithm is tested in computer experiments simulating the Long Term Evolution (LTE) cellular systems. Simulation results show the performance of the proposed distributed proportional fair frequency allocation scheme is comparable with the centralized ones.
