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)
  • 1