• Citations Per Year
Learn More
In this paper we use F-Logic (8]) as an underlying framework for a hybrid construction of descriptions and rules. The hybrid framework, termed DFL, is modular, and enjoys a compositional semantics. In DFL, the knowledge base manages a database of explicit descriptions, by consulting two separate reasoners: DL { The Description Languages reasoner, and R {(More)
In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database of explicit descriptions and facts, by consulting two separate reasoners: DL { The Description Languages reasoner, and R { The Rules reasoner. The architecture generalizes all existing(More)
  • 1