Referenced Items are not available for this document.
This paper investigates an extension to description logic based knowledge reasoning by means of decomposing and rewriting complicated hybrid concepts into partitions. An approach which automatically decomposes the whole knowledge base into description logic compatible and constraints solver, is presented. System architecture for knowledge reasoning is two-fold. First, complex description logics with powerful representation ability and Second, how to reason with the combination of inferences from distributed heterogeneous reasoner.
Published in:
Mechanic Automation and Control Engineering (MACE), 2011 Second International Conference on
Date of Conference: 15-17 July 2011
- Page(s):
- 7583 - 7586
- Print ISBN:
- 978-1-4244-9436-1
- INSPEC Accession Number:
- 12267560
- Conference Location :
- Hohhot
- Digital Object Identifier :
- 10.1109/MACE.2011.5988805
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
