Ding Pan
School of Management, Jinan University, Guangzhou, 510632, China
Yingmin Zhang
School of Management, Jinan University, Guangzhou, 510632, China
Dong Wang
School of Business Administration, Guangzhou University, Guangzhou, 510006, China
ABSTRACT
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.
PDF References Citation
How to cite this article
Ding Pan, Yingmin Zhang and Dong Wang, 2013. On Formalization and Reasoning Algorithm in Distributed XBRL System. Information Technology Journal, 12: 7739-7743.
DOI: 10.3923/itj.2013.7739.7743
URL: https://scialert.net/abstract/?doi=itj.2013.7739.7743
DOI: 10.3923/itj.2013.7739.7743
URL: https://scialert.net/abstract/?doi=itj.2013.7739.7743
REFERENCES
- Pan, D., Y.M. Zhang and D. Wang, 2012. On formalization of metadata in XBRL based on a temporal description logic TDLBR. J. Inform. Comput. Sci., 9: 4477-4484.
Direct Link - Lutz, C., 2004. Combining interval-based temporal reasoning with general tboxes. Artif. Intell., 152: 235-274.
CrossRefDirect Link