OWL语言的介绍及定量推理用OWL语言的实现。owl（网络本体语言），编程语言，全称WebOntologyLanguage，是W3C开发的一种网络本体语言，用于对本体进行语义描述。