描述邏輯及其在自動(dòng)排課系統(tǒng)中應(yīng)用研究.pdf

1、目前有關(guān)自動(dòng)排課系統(tǒng)大多是手工或應(yīng)用簡(jiǎn)單的管理系統(tǒng)進(jìn)行排課。局限于傳統(tǒng)思路，系統(tǒng)的通用性和可擴(kuò)展性較差。而描述邏輯發(fā)展的一個(gè)很重要的目的就是要建立起一個(gè)人和機(jī)器都可以理解的知識(shí)系統(tǒng)，這就給了本文一個(gè)新的研究思路，運(yùn)用描述邏輯建立機(jī)器理解的知識(shí)和規(guī)則，進(jìn)行自動(dòng)推理，進(jìn)而實(shí)現(xiàn)系統(tǒng)的智能化和通用化。 本文從如幾個(gè)方面來(lái)建立基于描述邏輯的自動(dòng)排課系統(tǒng)。 （1）用描述邏輯的思想來(lái)解決排課知識(shí)的表示問(wèn)題。OWL DL是OWL的一個(gè)版

2、本，主要利用描述邏輯表現(xiàn)概念之間的關(guān)系，可將類(lèi)別與實(shí)體分開(kāi)表示。 （2）采用SWRL建立基于規(guī)則的排課算法設(shè)計(jì)方案。SWRL是結(jié)合OWL和RuleML以O(shè)WL DL為基礎(chǔ)利用語(yǔ)義的方式定義法則。 （3）OWL DL和SWRL都無(wú)法直接在目前的推理引擎中使用，所以本研究采用RACER將OWL DL中實(shí)例轉(zhuǎn)化為推理引擎中實(shí)例進(jìn)行推理，確保推理事實(shí)之間沒(méi)有矛盾的情形。 （4）在法則方面使用XSLT將SWRL轉(zhuǎn)化為推理引