| [1] | 李晓红，聂旭飞，冯志勇.基于本体和规则的物流知识表示与推理[j].天津大学学报，2008，41(3)：305-310.lixiaohong，niexufei，fengzhiyong.knowledgerepresentationandreasoningoflogisticsystembasedonontologyandrule[j].journaloftianjinuniversity，2008，41(3)：305-310(inchinese).
|
| [2] | chandrac，tumanyana.organizationandproblemontologyforsupplychaininformationsupportsystem[j].dataandknowledgeengineering，2007，61(2)：263-280.
|
| [3] | buchheitm，doninifm，nuttw，etal.terminologicalsystemsrevisited：terminology=schema+views[c]//proceedingsofthe12thnationalconferenceonartificialintelligence(aaai-94).usa:americanassociationforartificialintelligence，1994：199-204.
|
| [4] | amire，mcilraiths.partition-basedlogicalreasoning[c]//proceedingsofthe7thinternationalconferenceonprinciplesofknowledgerepresentationandreasoning(kr’2000).sanfrancisco，2000：389-400.
|
| [5] | stuckenschmidth，kleinm.reasoningandchangemanagementinmodularontologies[j].dataandknowledgeengineering，2007，63(2)：200-223.
|
| [6] | borgidaa，serafinil.distributeddescrip-tionlogics：directeddomaincorrespondencesinfederatedinformationsources[c]//lecturenotesincomputerscience.berlin：springer，2002：36-53.
|
| [7] | deanm，connollyd，vanharmelenf，etal.webontologylanguage(owl)referenceversion1.0[eb/ol].http：//www.w3.org/tr/owl-ref/，2002-10-01.
|
| [8] | smithmk，weltyc.owlwebontologylanguageguide.w3crecommendation[eb/ol].http：//www.w3.org/tr/owl-guide/，2004-02-10.
|
| [9] | reynoldsd.jena2inferencesupport[eb/ol].http：//jena.sourceforge.net/，2006-03-26.
|
| [10] | stuckenschmidth，kleinm.structure-basedpartitioningoflargeconcepthierarchies[c]//proceedingsofthe3rdinternationalsemanticwebconference(iswc2004).berlin：springer，2004：289-303.
|
| [11] | doranp，tammav，iannonel.ontologymoduleextractionforontologyreuse：anontologyengineeringperspective[c]//proceedingsofthe16thacmconferenceonconferenceoninformationandknowledgemanagement.newyork，usa：acmpress，2007：61-70.
|
| [12] | stuckenschmidth，kleinm.integrityandchangeinmodularontologies[c]//internationaljointconferenceonartificialintellgence(ijcai’03).sanfrancisco，2003：900-908.
|
| [13] | lianpeng，parkdae-won，kwonhyuk-chul.designoflogisticsontologyforsemanticrepresentingofsituationinlogistics[c]//proceedingsofthe2ndworkshopondigitalmediaanditsapplicationinmuseumandheritage.washingtondc，usa：ieeecomputersociety，2007：432-437.
|
| [14] | farmerw，guttmanj，thayerf.littletheories[c]//proceedingsofthe11thinternationalconferenceonautomateddeduction，lecturenotesincomputerscience.london：springer-verlag，1992：567-581.
|
| [15] | mcilraiths，amire.theoremprovingwithstructuredtheories[c]//proceedingsofthe17thinternationaljointconferenceonartificialintelligence.sanfrancisco，2001：624-634.[8]rectoral.modularisationofdomainontologiesimplementedindescriptionlogicsandrelatedformalismsincludingowl[c]//proceedingsofthe16thinternationalflairsconference，aaai.newyork，usa，2003：121-128.
|
