Intelligent Science Home   As My HomePage  |   As My Favorite |   Chinese Version  

Intelligent  Info Processing

Intelligence Science Lab
Zhongzhi Shi
IntSci Research
Intelligent Systems
Intelligent Applications
Prof. Ian Horrocks Visits Intelligence Science Lab

Oct. 18  Prof. Ian Horrocks Visits Intelligence Science Lab and gives a lecture.

Description Logics (DLs) are a family of logic based Knowledge Representation formalisms descended from semantic networks and KL-ONE. They are distinguished by having formal (model theoretic) semantics, and by the provision of (sound and complete) inference services, with several highly optimised implementations now being available. DLs have a wide range of applications, but are perhaps best know as ontology languages (they provide the basis for recent "Semantic Web" ontology languages such as OIL, DAML+OIL and OWL). In this talk I will give a brief history of DLs and of DL applications, in particular their application in the context of the Semantic Web. If time permits, I will then give an overview of the reasoning techniques that are employed by state of the art DL implementations, and which enable them to be effective in realistic applications, in spite of the high worst case complexity of their basic inference problems. Finally, I will point out some interesting areas for future research, in particular those related to the Semantic Web application area.

Ian Horrocks is a Professor of Computer Science at the University of Manchester. His FaCT system revolutionised the design of Description Logic systems, redefining the notion of tractability for DLs and establishing a new standard for DL implementations.  He is a member of both the Joint EU/US Committee on Agent Markup Languages and the W3C Web Ontology Language working group, and was heavily involved in the development of the OIL, DAML+OIL and OWL ontology languages. He has published widely in leading journals and conferences, winning the best paper prize at KR'98. He is/was a member of the programme/editorial committees of numerous international conferences, workshops and journals, was the program chair of the 2002 International Semantic Web Conference and the Semantic Web track chair for the 2003 World Wide Web Conference.

   Prof. Horrocks sees Multiagent Environment MAGE demo.

    Prof. Horrocks and Prof. Zhongzhi Shi.

    Prof. Horrocks and Colleagues of Intelligence Science Lab.

About the Site | Webmaster
Copyright © 2002-2003 Intelligent Science Research Group, at Key Lab of IIP, ICT, CAS, China.