报告简介：
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.
