Knowledge Reasoning System Architecture Based on Description Logic

  title={Knowledge Reasoning System Architecture Based on Description Logic},
  author={Fuzhen Sun and Shengang Hao},
  journal={2010 International Conference on Electrical and Control Engineering},
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… CONTINUE READING


Publications referenced by this paper.

Onautomating Web service discovery [J

Boualem Benatallah, Mohand-Said Hacid
  • The International Journal on Very Lange Data Bases,
  • 2009

Study on Web Service Matching and Composition Based on Ontology

  • 2009 WRI World Congress on Computer Science and Information Engineering
  • 2009

Efficient matchmaking and directory services

  • Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003)
  • 2003

oller: RACER System Description

V. Haarslev, M R.
  • To appear in: International Joint Conference on Automated Reasoning,
  • 2001

CORBA interface for a DL Classi_er

S. Bechhofer, I. Horrocks, S. Tessaris
  • 1999