Using resolution for extending KL-ONE-type languages

Tanel Tammet
1995 Proceedings of the fourth international conference on Information and knowledge management - CIKM '95  
We argue that decidable classes of predicate logic combhted with efficient decision methods are a suitable basis for developing powerful knowledge representation languages. The paper presents some methods for developing such languages based on decidable classes. Queries can be answered and databases can be completed by using efficient dectilon refinements of the resolution method. Severaf decidable classes usable as new knowledge representation languages are presented, cent aining some
more » ... n ones, like the base language ALC of KL-ONE type systems, along with the resolution-based inference engines.
doi:10.1145/221270.221605 dblp:conf/cikm/Tammet95 fatcat:husw4lji4vcolk33rg7pvbojwy