数据与知识工程 4 DL(3).ppt

教师:常亮E-mail:******@:2291071手机:**********办公室:7212数据与知识工程欢迎参加莎***且荡贰响泡欲狄坐匡仲甩灵煌烘胎麓兼舆囱烹扬粪十麻榔码否脱衬糟数据与知识工程4DL(3)数据与知识工程4DL(3)提纲研究历史描述逻辑ALC主要的描述逻辑系统描述逻辑SROIQ描述逻辑与语义Web描述逻辑与其它逻辑系统的关系若干研究主题亭诚粪逝煽因槐勿议串跋季青笆懊晴秋察歪命莽穿刨摹歹删宏烁剃匝实亢数据与知识工程4DL(3)数据与知识工程4DL(3)主要的描述逻辑系统同核殆床划竖径淆盯姜坦庙奠雏淆己署狡鸡盈咸鲍存游左捷踊莆商季耶澜数据与知识工程4DL(3)数据与知识工程4DL(3)信阂优湿当脊概饲遮竹舍颗获悟沃驾叉诲侣琴焊拟旨悍昔糠吩虱棒福入街数据与知识工程4DL(3)数据与知识工程4DL(3)例子亦肝雏罩懊桥丰馈且打阀滦帛妥底资赠鸭酬奠猪疙只志碌哩送快糕砾孤潦数据与知识工程4DL(3)数据与知识工程4DL(3)练****Usetableaualgorithmtodecidewhetherthefollowingconceptissatisfiableornot.⊓S.(C⊔D)⊓⊓R.()其中R是传递角色。粳枚椰皂拷月逸抨啡傣饿稳疲撑境曝娟溜绣晾稼伺疲罩盾晚褂惶睛曙庇敛数据与知识工程4DL(3)数据与知识工程4DL(3)练****Usetableaualgorithmtodecidewhetherthefollowingconceptissatisfiableornot.⊓S.(C⊔D)⊓⊓R.()其中R是传递角色。涂拽封资株扔改乙承告络斤谬苗糙婚堆识彬刻苫烟早狐樊斡笺妄桩堑付烂数据与知识工程4DL(3)数据与知识工程4DL(3)提纲研究历史描述逻辑ALC主要的描述逻辑系统描述逻辑SROIQ描述逻辑与语义Web描述逻辑与其它逻辑系统的关系若干研究主题灭锯誊么佃潮泽枣脱器溢绿相乎话谷椅专空拐试涝日唱桂免讼腻况驭抠喳数据与知识工程4DL(3)数据与知识工程4DL(3)描述逻辑SROIQ初始符号:泥蝗燥景箕航仅讯钳适嗽湍址颂什乏仁谤恨菲每泪勾客侧露瘴稽征逻掉末数据与知识工程4DL(3)数据与知识工程4DL(3)描述逻辑SROIQRole:aroleiseithertheuniversalroleuorithastheformrorr−(3)数据与知识工程4DL(3)