转载自: http://www.cs.man.ac.uk/~horrocks/ Ian Horrocks 500)this.width=500'> I am a professor in the Department of Computer Science at the University of Manchester. I am a member of the Information Management Group , although I also work with several other groups within the department including Formal Methods and Medical Informatics.My primary research interest is Knowledge Representation; in particular ontologies and ontology languages, tableaux algorithms for Description Logics (DLs), optimisation techniques for such algorithms, and the application of all of the above to the Semantic Web.I was jointly responsible for the development of both the OIL and DAML+OIL semantic web ontology languages, was a member of the W3C WebOntology working group that developed the OWL language (now a W3C recommendation), and am an author of the SWRL Semantic Web Rules Language proposal. I also designed and implemented the FaCT system, and have been involved in the development of other ontology tools and infrastructure, including the OilEd ontology editor, the FaCT++ reasoner and the OWL Instance Store. Publications Contacting me Events (a partial list): 500)this.width=500'> 500)this.width=500'> 500)this.width=500'> 500)this.width=500'> ESSLLI Course on DL & Web IJCAI-O3 in Acapulco CADE-19 in Miami ISWC 2003 on Sanibel Island (Tutorial) --> Teaching resources Slides from selected presentations and tutorials Projects (a partial list): 500)this.width=500'> 500)this.width=500'> 500)this.width=500'> 500)this.width=500'>500)this.width=500'>500)this.width=500'> Knowledge Web WonderWeb MyGrid DynamO Download pages for: FaCT OilEd QSub ICOM Instance Store Other Stuff: About me About my research Useful Resources Organisational