Building Ontologies in DAML + OIL英文文献资料.docVIP

ComparativeandFunctionalGenomics CompFunctGenom2003;4 :133–141. PublishedonlineinWileyInterScience().DOI:10.1002/cfg.233 ConferenceReview BuildingontologiesinDAML+OIL RobertStevens*,ChrisWroe,SeanBechhofer,PhillipLord,AlanRectorandCaroleGoble Department ofComputer Science,University ofManchester, OxfordRoad,Manchester M139PL,UK *Correspondence to: Abstract RobertStevens,Department of Computer Science,University of Manchester, OxfordRoad, Manchester M139PL,UK. E-mail: In this article we describe an approach to representing and building ontologies advocated by the Bioinformatics and Medical Informatics groups at the University of Manchester. The hand-crafting of ontologies offers an easy and rapid avenue to delivering ontologies. Experience hasshown thatsuch approaches areunsustainable. Description logic approaches have been shown to offer computational support for building sound, complete and logically consistent ontologies. A new knowledge representation language, DAML+OIL,offersanewstandard thatisabletosupport many styles of ontology, from hand-crafted to full logic-based descriptions with reasoning support. We describe this language, the OilEd editing tool, reasoning support and a strategy for the language’s use. We ?nish with a current example, in the Gene Ontology Next Generation (GONG) project, that uses DAML+OIL as the basis for moving the Gene Ontology from its current hand-crafted, form to one that uses logical descriptions of a concept’s properties to deliver a more complete version of the ontology. Copyright ?2003 John Wiley Sons, Ltd. robert.stevens@cs.man.ac.uk Received: 11November 2002 Accepted: 18November 2002 Keywords: description logic; ontology; DAML+OIL; ontology development envi- ronment; ontology development methodology; reasoning Introduction ? illusionTAMBISof[2]acommonused aDLqueryontologyinterfacetoprovidetomultiple,the diverseanddistributed bioinformatics resources. ? ofMyGridbioinformatics[3], whichservicescurrentlyto discover,uses