TrOWL: Tractable Reasoning for OWL2-DL

TrOWL: Tractable Reasoning for OWL2-DL

时间：2010年4月9日 地点：九龙湖校区计算机楼301室

报告简介：

Tractable reasoning over ontologies is one of the most useful and important services to support Semantic Web applications. For example, more and more ontological vocabulary are now used in the rapidly growing online linked data. After presenting some challenges from Semantic Web to ontologies, I will give an overview on description logics, which are the underpinning of the new standard ontology language OWL2-DL. Then, I present our recent results on soundness guaranteed approximations of OWL2-DL ontologies into its tractable profiles for both standard reasoning services (such as TBox and ABox reasoning) and query answering. We identify some useful categories for which our approaches guarantees also completeness. If time allows, I will also report on the implementation of our approach in the TrOWL reasoning infrastructure and preliminary, but encouraging, benchmark results which compare TrOWL in well known ontology benchmarks with those of existing ontology reasoning systems. I will conclude the talk with discussions on some of our relevant recent work and future steps.

报告人简介：

Dr. Jeff Z. Pan. Lecturer in University of Aberdeen.

计算机网络和信息集成教育部重点实验室（东南大学）