Title: Ontologies and the Semantic Web: The Story So Far Speaker: Prof. Ian Horrocks (This talk will be given in English) 2010年4月8日，下午2:00-4:00 南京大学蒙民伟楼109会议室 Abstract. The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast range of available information and services to be more effectively exploited. As a first step in this transformation, ontology languages such as RDF and OWL have been developed; these languages are designed to capture the knowledge that will enable applications to better understand Web accessible resources, and to use them more intelligently. Although fully realising the Semantic Web still seems some way off, OWL has already been very successful, and ontology based systems are becoming increasingly important in meeting the demand for more powerful and flexible information systems. Requirements for such systems include the need to deal with incomplete and semi-structured information, to integrate information from heterogeneous sources, to employ richer and more flexible schemas, and for query answers to reflect both knowledge and data. Provision of such enhanced capabilities must, however, be in addition to, and not instead of, the well-established features of existing database systems, in particular their robust scalability. Achieving this is, of course, extremely challenging. In this talk I will provide a brief overview of OWL's role in the Semantic Web and review recent developments, in particular the OWL 2 standard, a key feature of which has been the addition of profiles -- fragments of OWL carefully designed so as to enjoy desirable computational properties. I will explain how OWL profiles can be exploited in order to provide scalable solutions to ontology based information systems, illustrate some of the problems that can still arise, and discuss recent research aimed at addressing these problems. --------------------------------------------------------------------------------------------------------------------------------- Speaker: Dr. Jeff Z. Pan (This talk will be given in Chinese) Abstract. 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. |
| 今天是：2025年5月29日星期四 |
