Information modeling: the EXPRESS way
Information modeling: the EXPRESS way
Reasoning in description logics
Principles of knowledge representation
The role of knowledge in next-generation product development systems
Journal of Computing and Information Science in Engineering
Introduction to ISO 10303—the STEP standard for product data exchange
Journal of Computing and Information Science in Engineering
Design Repositories: Engineering Design's New Knowledge Base
IEEE Intelligent Systems
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The expressive language ALCNHR+K(D) for knowledge reasoning
KDXD'06 Proceedings of the First international conference on Knowledge Discovery from XML Documents
Hi-index | 0.00 |
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+K(D) is introduced. It cannot only be able to represent knowledge about concrete domain and constraints, but also rules in some sense of closed world semantic model hypothesis. Also the paper investigates an extension to description logic (DL) based knowledge reasoning by means of decomposing and rewriting complicated hybrid concepts into partitions. We present an approach that automatically decomposes the whole knowledge base into description logic compatible one and constraints solver one. Our arguments are two-fold. First, complex DLs with powerful representation ability lack effective reasoning ability. Second, we are concerned with how to reason effectively with the combination of inferences from distributed heterogeneous reasoner.