loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Fuxi Zhu ; Duanzhi Chen and Jia Rao

Affiliation: School of Computer, Wuhan University, China

ISBN: 978-972-8865-46-7

Keyword(s): Paraconsistent Logic, Annotate Logic, XML, Automatic Reasoning.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Web Information Systems and Technologies ; XML and Data Management

Abstract: Paraconsistent logic is able to handle the inconsistent knowledge reasonably. In this paper we propose using XML as a tool to implement the presentation and reasoning of Annotation Logic--one of the paraconsitent logic systems and investigate the problems about the automatic inference rules and inference strategies under XML representation. Demonstrations are presented to show that XML can represent the Annotation Logic conveniently and XML and its auxiliary tools can implement the inference mechanism efficiently.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.173.36

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Zhu F.; Chen D.; Rao J. and (2006). ANNOTATED LOGIC REASONING BASED ON XML.In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 229-233. DOI: 10.5220/0001241702290233

@conference{webist06,
author={Fuxi Zhu and Duanzhi Chen and Jia Rao},
title={ANNOTATED LOGIC REASONING BASED ON XML},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={229-233},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001241702290233},
isbn={978-972-8865-46-7},
}

TY - CONF

JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - ANNOTATED LOGIC REASONING BASED ON XML
SN - 978-972-8865-46-7
AU - Zhu, F.
AU - Chen, D.
AU - Rao, J.
PY - 2006
SP - 229
EP - 233
DO - 10.5220/0001241702290233

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.