Flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web (2003)

by Michael Kifer Yang, Chang Zhao
Venue:tel-00908155, version 4 - 6 Jan 2014 [YKZ03] [ZFS + 11] [ZST + 10] Guizhen