Seminar by Jeff Z. Pan
Topic: Tractable Reasoning for Expressive Description Logics
Jeff Z. Pan (Department of Computing Science at University of Aberdeen)
Date: 2010-12-27 14:45-15:30,
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. In this talk, I will firstly give an overview of description logics in general, 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 sub-languages 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.