HOME JOURNALS CONTACT

Information Technology Journal

Year: 2013 | Volume: 12 | Issue: 23 | Page No.: 7739-7743
DOI: 10.3923/itj.2013.7739.7743
On Formalization and Reasoning Algorithm in Distributed XBRL System
Ding Pan, Yingmin Zhang and Dong Wang

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.

Fulltext PDF

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.

Keywords: Distributed XBRL, formalization, reasoning algorithm and distributed temporal description logic

REFERENCES
  • Borgida, A. and L. Serafini, 2003. Distributed Description Logics: Assimilating Information from Peer Sources. In: Journal on Data Semantics, Spaccapietra, S., S. March and K. Aberer (Eds.). Springer, Berlin, Heidelberg, pp: 153-184

  • 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    

  • De Giacomo, G., 1995. Decidablity of class-based knowledge representation formalisms. Ph.D. Thesis, Dipartimento di Informatica e Sistemistica, Universita di Roma, La Sapienza.

  • Lutz, C., 2004. Combining interval-based temporal reasoning with general tboxes. Artif. Intell., 152: 235-274.
    CrossRef    Direct Link    

  • Lutz, C. and M. Milicic, 2007. A tableau algorithm for DLs with concrete domains and GCIs. J. Autom. Reasoning, 38: 227-259.

  • Schild, K., 1993. Combining Terminological Logics with Tense Logic. In: Progress in Artificial Intelligence, Filgueiras, M. and L. Damas (Eds.). Springer, Berlin, Heidelberg, pp: 105-120

  • Schmiedel, A., 1990. Temporal terminological logic. Proceedings of the 8th National Conference on Artificial Intelligence, July 29-August 3, 1990, Boston, MA., USA., pp: 640-645-.

  • Serafini, L. and A. Tamilin, 2005. DRAGO: Distributed Reasoning Architecture for the Semantic Web. In: The Semantic Web: Research and Applications, Gomez-Perez, A. and J. Euzenat (Eds.). Springer, Berlin, Heidelberg, pp: 361-376

  • Krieger, H.U., 2008. Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships. In: Advances in Artificial Intelligence, Dengel, A.R., K. Berns, T.M. Breuel, F. Bomarius and T.R. Roth-Berghofer (Eds.). Springer, Berlin, Heidelberg, pp: 249-257

  • Jiang, Y., Z. Shi, Y. Tang and J. Wang, 2006. A distributed dynamic description logic. J. Comput. Res. Dev., 43: 1603-1608.

    • © Science Alert. All Rights Reserved