排课本体：
类：Course,Classroom,RoomTime,TimeTable
object property：hasTime,hasCourse,inverse_of_hasCourse,hasRoom

SWRL:
Course(?k)  ∧RoomTime(?x)    → hasCourse(?x, ?k)
利用swrltab中的Jess推理机能够推出结果，但是本体实例中的值出现问题

Jess：
利用JessTab，将类和实例导入Jess中
(mapclass Course)
(mapclass Classroom)
(mapclass RoomTime)
(mapclass TimeTable)

定义规则，由于JessTab（1.5版本）没提供转换swrl到jess的功能，从SWRLTab中转换而成的Jess规则也无法直接用到JessTab中，所以只能手工编写规则（对应上面的SWRL规则）：
(defrule  Rule-1 ?f<-(object (is-a RoomTime)(:NAME ?t)(hasCourse nil)) (object (is-a
Course)(:NAME ?k)(inverse_of_hasCourse nil))=> (slot-set ?f hasCourse ?k)

(run)
运行规则后，Jess成功将没有排课的课程进行排课，结果正确。由于Jess规则能够判断课程是否排过，nil值判断，而SWRL中是不提供nil值的。

结果，由实践得到，目前Jesstab的功能比swrltab的功能更强，不过Jess规则的编写没有swrl那么直观。

能不能给我传一份？？l
QQ：380545156