描述逻辑的本体描述语言.pptVIP

2004-10-9 DL Ontology Language * 描述逻辑相关研究 描述逻辑的扩展研究 A.Artale和E.Franconi(1998)提出了一个知识表示系统，用时间约束的方法将状态、动作和规划的表示统一起来。为了能让描述逻辑处理模态词，F.Baader将模态操作引入描述逻辑，证明了该描述逻辑公式的可满足性问题是可判定的。Wolter等对具有模态算子的描述逻辑进行了深入系统的调查分析，并证明在恒定的领域假设下多种认知和时序描述逻辑是可判定的。另外如时序扩展(Artale, Wolter)、模糊扩展(Straccia)等。 2004-10-9 DL Ontology Language * 描述逻辑相关研究 描述逻辑的应用研究 描述逻辑在许多领域中被作为知识表示的工具，如信息系统、数据库、软件工程、网络智能访问、规划等。Horrocks对表达能力较强的描述逻辑进行了研究，并建立了一些逻辑框架和系统，如FaCT，SHIQ等。他和Dieter Fensel等人将描述逻辑、语义网和DAML结合起来，提出了DAML+OIL，其中以描述逻辑作为核心的表示和推理基础。并在XML及其RDF上面进行了扩展，用描述逻辑来研究语义网络和本体论。 2004-10-9 DL Ontology Language * 描述逻辑与关系代数 查询： 查找意大利歌手音乐会的地点和时间。 2004-10-9 DL Ontology Language * 描述逻辑与关系代数 关系代数： 描述逻辑： 2004-10-9 DL Ontology Language * 本体描述语言 2004-10-9 DL Ontology Language * 本体描述语言 法国酒 California 酒 白酒 红酒 … 关于酒 的本体 酒类杂志 2004-10-9 DL Ontology Language * 本体描述语言 2004-10-9 DL Ontology Language * 本体描述语言 2004-10-9 DL Ontology Language * 本体描述语言 Semantic Web Languages XML / XML Schema RDF / RDF Schema Ontology Web Language Ontology Languages KIF，Ontolingua，CycL … 面向Web（RDFS，DAML，OIL，OWL … ） 2004-10-9 DL Ontology Language * 本体描述语言 Web页面 { XML RDF 元数据描述 { RDF Schema OWL 2004-10-9 DL Ontology Language * ?xml version=1.0? River id=Yangtze xmlns=/river length6300 kilometers/length startingLocationwestern Chinas Qinghai-Tibet Plateau/startingLocation endingLocationEast China Sea/endingLocation /River Yangtze.xml Yangtze.rdf ?xml version=1.0? River rdf:ID=Yangtze xmlns:rdf=/1999/02/22-rdf-syntax-ns# xmlns=/river# length6300 kilometers/length startingLocationwestern Chinas Qinghai-Tibet Plateau/startingLocation endingLocationEast China Sea/endingLocation /River 2004-10-9 DL Ontology Language * 本体描述语言 Subject Property Object 2004-10-9 DL Ontology Language * 本体描述语言 OWL Lite OWL DL OWL Full 2004-10-9 DL Ontology Language * 本体描述语言 Owl Lite原语： equivalentClass equivalentProperty sameIndividualAs differentFrom allDifferent intersectionOf 张三－聪聪 捷达