Oct. 18 Prof. Ian Horrocks Visits Intelligence Science Lab and
gives a lecture. |
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
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.