Proceedings:
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)
Volume
Issue:
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)
Track:
Contents
Downloads:
Abstract:
The Terminology Box (TBox) of a Description Logic (DL) knowledge base is used to define new concepts in terms of primitive concepts and relations. The topic of this paper is the effect of the available operations in a DL on the length and the syntactic shape of definitions in a Terminology Box.
KR
Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference (KR2006)