基于符号的知识图谱推理方法主要包括：（ ） A: 基于Rete算法的产生式规则推理 B: 基于Datalog的规则推理 C: 基于OWL的本体推理 D: 基于JOIE模型的本体概念推理

以下哪组语言支持面向对象程序设计范式？ A: Scheme、Clojure、Racket、Erlang、Ocaml、Haskell B: FORTRAN、Algol、COBOL、BASIC、Pascal、Ada、Go C: Dart、Swift、Scala、Common Lisp、Smalltalk D: Prolog、Answer Set Programming、Datalog、Wolfram、LISP