Sciweavers

COOPIS
2003
IEEE

Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web

13 years 9 months ago
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to information integration to intelligent agents. The Flora-2 system integrates F-logic, HiLog, and Transaction Logic into a coherent knowledge representation and inference language. The result is a flexible and natural framework that combines rule-based and object-oriented paradigms. This paper discusses the principles underlying the design of the Flora-2 system and describes its salient features, including meta-programming, reification, logical database updates, encapsulation, and support for dynamic modules.
Guizhen Yang, Michael Kifer, Chang Zhao
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where COOPIS
Authors Guizhen Yang, Michael Kifer, Chang Zhao
Comments (0)