朱庆华　常莹

摘要：作者曾对规则模型和规则冲突问题进行了详细的研究分析，本文将实现智能家居本体，基于创建的本体在SWRLTab中创建智能家居系统规则库，并设计了规则冲突检测的方法，最后使用Java语言开发了图形界面的智能家居规则冲突检测系统，并通过实例验证了冲突检测系统的可行性。

关键词：智能家居;冲突检测;冲突验证

中图分类号：G642        文献标识码：A

文章编号：1009-3044（2021）03-0188-02

1智能家居本体构建

作为整个智能家居系统实现的基础，首先要对场景中的本体进行定义。本文在构建本体时主要使用了四种OWL实体，分别为：类（Classes）、个体（Individuals）、对象属性（Objectproperties）、数据属性（Dateproperties）。

类表示的是一组具有相似特征的个体或者实例的集合，个体表示的是领域对象，也可以理解为类中的实例。比如如果将国家（Country）作为一个类，那么中国，加拿大，葡萄牙，叙利亚，越南等国家就可以作为国家这个类中的个体。SubclassOf，Equivalent，Disjoint是定义用来描述类之间的三大关系，即子类，相等类，非相交类，这些关系可用于本体的推理。

属性表示的是个体之间的二元关系，可以将两个个体连接起来并表明它们之间的联系，或者对个体进行参数传递。比如对象属性hasTeacher就可以将学生Tom与老師Harry的师生关系表示出来。数据属性hasAge可以连接Bob和23，表示Bob的年龄为23岁。

针对智能家居的实际场景，在owl：Thing下定义了control、devices、PM2.5、temperature、time五个大类。五大类包含了控制类，设备类，时间环境参数类等，基本覆盖了真实的智能家居环境。其中temperature类又包括三个子类hot，cold，medium，表示温度的热，冷和适中。……