Asian Science Citation Index is committed to provide an authoritative, trusted and significant information by the coverage of the most important and influential journals to meet the needs of the global scientific community.  
ASCI Database
308-Lasani Town,
Sargodha Road,
Faisalabad, Pakistan
Fax: +92-41-8815544
Contact Via Web
Suggest a Journal
Articles by Yingmin Zhang
Total Records ( 2 ) for Yingmin Zhang
  Ding Pan , Yingmin Zhang and Dong Wang
  Traditional description logic usually used to represent static knowledge. To solve the problem of metadata interoperability in distributed XBRL, the distributed interact model of XBRL was constructed, the distributed characteristics and formal representation requirement of distributed XBRL interact model was analyzed. A distributed temporal description logic DTDLBR and its syntax and semantics was proposed. Finally, the reasoning mapping algorithm was given.
  Dong Wang , Ding Pan and Yingmin Zhang
  Formalization and reasoning is the basic step of quality control mechanism in XBRL, which is one of the most difficult and challenging issue in XBRL development. In this study, the metadata, hierarchical relationship and ordinary-special relationship of XBRL are formalized in description logic DLRBR. An example of metadata and relationships in XBRL financial statement is given. Rules are constructed and equivalence checking and disjoint checking are implemented in Jena. The result is correctly and high-efficiency.
Copyright   |   Desclaimer   |    Privacy Policy   |   Browsers   |   Accessibility