论文信息 - Translating R2ML into F-Logic A Tutorial - 字舞流文

Translating R2ML into F-Logic A Tutorial

Adrian Giurca | Gerd Wagner

[1] Adrian Giurca,et al. A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL , 2006 .

[2] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[3] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[4] Michael Kifer,et al. A logic for object-oriented logic programming , 1989, PODS.