资源描述：
《Decidable Reasoning in Terminological Knowledge Representation Systems》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、JournalofArti cialIntelligenceResearch1(1993)109-138Submitted7/93;published12/93DecidableReasoninginTerminologicalKnowledgeRepresentationSystemsMartinBuchheitbuchheit@dfki.uni-sb.deGermanResearchCenterforArti cialIntelligence(DFKI)Stuhlsatzenhausweg3,D-66123Saarbrucken,GermanyFrancescoM.Donini
2、donini@assi.dis.uniroma1.itAndreaSchaerfaschaerf@assi.dis.uniroma1.itDipartimentodiInformaticaeSistemisticaUniversitadiRomaLaSapienza",ViaSalaria113,I-00198Roma,ItalyAbstractTerminologicalknowledgerepresentationsystems(TKRSs)aretoolsfordesigningandusingknowledgebasesthatmakeuseofterminologic
3、allanguages(orconceptlanguages).WeanalyzefromatheoreticalpointofviewaTKRSwhosecapabilitiesgobeyondtheonesofpresentlyavailableTKRSs.Thenewfeaturesstudied,oftenrequiredinpracticalapplications,canbesummarizedinthreemainpoints.First,weconsiderahighlyexpres-siveterminologicallanguage,calledALCNR,in
4、cludinggeneralcomplementsofconcepts,numberrestrictionsandroleconjunction.Second,weallowtoexpressinclusionstate-mentsbetweengeneralconcepts,andterminologicalcyclesasaparticularcase.Third,weprovethedecidabilityofanumberofdesirableTKRS-deductionservices(likesatis ability,subsumptionandinstanceche
5、cking)throughasound,completeandterminatingcalculusforreasoninginALCNR-knowledgebases.Ourcalculusextendsthegeneraltechniqueofconstraintsystems.Asabyproductoftheproof,wegetalsotheresultthatinclusionstatementsinALCNRcanbesimulatedbyterminologicalcycles,ifdescriptivesemanticsisadopted.1.Introducti
6、onAgeneralcharacteristicofmanyproposedterminologicalknowledgerepresentationsystems(TKRSs)suchaskrypton(Brachman,PigmanGilbert,&Levesque,1985),nikl(Kacz-marek,Bates,&Robins,1986),back(Quantz&Kindermann,1990),loom(MacGregor&Bates,1987),classic(Borgida,Brachman,McGuinness,&AlperinResnick,1989),kr
7、is(Baader&Hollunder,1991),k-rep(Mays,Dionne,&Weida,1991),andothers(seeRich,editor,1991;Wods&Schmolze,1992),isthattheyaremadeupoftwodi erentcompo-nents.Informallyspeaking,the rstisageneralschemaconcerningtheclassesofindividualstoberepres
