Structural group-based auditing of missing hierarchical relationships in UMLS
Journal of Biomedical Informatics
Polynomial constraints for sets with cardinality bounds
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
The design of a marker passing architecture for knowledge processing
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A principled approach to reasoning about the specificity of rules
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On analytical and similarity-based classification
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Deduction as parsing: tractable classification in the KL-ONE framework
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Interactive classification: a technique for building and maintaining knowledge bases
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Enhanced maintenance and explanation of expert systems through explicit models of their development
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
| Hi-index | 0.02 |
KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A subsumption relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order on Concepts, and KL-ONE organizes all Concepts into a taxonomy that reflects this partial order. Classification is a process that takes a new Concept and determines other Concepts that either subsume it or that it subsumes, thereby determining the location for the new Concept within a given taxonomy. We discuss these issues and demonstrate some uses of the classification algorithm.