OWL

简明解释

OWL（Web Ontology Language）用于表达类、属性、个体及其公理的W3C本体语言家族。OWL可声明两个类不相交、属性特征或类表达式，使兼容推理器计算相应蕴含。例如，可从类归属和子类公理推出更一般的归属。不同配置档（profile，即为不同计算需求限制出的语言子集）在表达力和计算性质间取舍；具体软件未必支持全部能力。[1, §§1–3]

别和什么混淆

OWL 2可映射为RDF图，并可使用RDF/XML等格式交换，但RDF图、OWL公理和推理器实现是不同层次；文件可解析不代表所有公理都已推理。

在本书中

见第7章：知识表示与推理。