Logic Foundation and Services for Semantic Web

《Logic Foundation and Services for Semantic Web》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、LogicFoundationandServicesforSemanticWebZhongzhiShishizz@ics.ict.ac.cnInstituteofComputingTechnologyChineseAcademyofSciences10/6/20211LogicFoundationZhongzhiShiOutlineIntroductionDescriptionLogicDynamicDescriptionLogicAgent-basedServicesOntology-basedKnow

2、ledgeManagementKMSphereConclusions10/6/20212LogicFoundationZhongzhiShiWebwas“invented”byTimBerners-Lee(amongstothers),aphysicistworkingatCERNHisvisionoftheWebwasmuchmoreambitiousthantherealityoftheexisting(syntactic)Web:SemanticWeb“…aplanforachievingaseto

3、fconnectedapplicationsfordataontheWebinsuchawayastoformaconsistentlogicalwebofdata…”“…anextensionofthecurrentwebinwhichinformationisgivenwell-definedmeaning,betterenablingcomputersandpeopletoworkincooperation…”ThisvisionoftheWebhasbecomeknownastheSemantic

4、Web10/6/20213LogicFoundationZhongzhiShiAvoidtransformationcodebetweendatasetsUnambiguouslycaptureserviceprofilesEnabledynamicdiscoveryofservicesUsereasonerstolocateservicesin“yellowpages”EnabledynamiccollaborationofservicesUsereasonerstoinferservicedescri

5、ptionsandcapabilitiesEnablerich,automatic,serviceorchestrationProcesslayerwillbefarmoreautomatedwithsemanticsSemanticsIsImportant10/6/20214LogicFoundationZhongzhiShiAdding“SemanticMarkup”ExtendexistingrenderingmarkupwithsemanticmarkupMetadataannotationsth

6、atdescribecontent/functionofwebaccessibleresourcesUsingOntologiestoprovidevocabularyforannotations“Formalspecification”isaccessibletomachines“Semantics”givenbyontologiesMakewebresourcesmoreaccessibletoautomatedprocesses10/6/20215LogicFoundationZhongzhiShi

7、OntologyInphilosophy,anontologyisatheoryaboutthenatureofexistence.Anontologyisadocumentorfilethatformallydefinestherelationsamongterms.Anontologyisaformal,explicitspecificationofasharedconceptualization.ThemosttypicalkindofontologyfortheWebhasataxonomyand

8、asetofinferencerules.10/6/20216LogicFoundationZhongzhiShiTheSemanticWeblayercakebyTimBerners-Lee10/6/20217LogicFoundationZhongzhiShiWebOntologyLanguageOWLW3CRecommendation10Feb2004.DeborahL.McGuinnessandFrankvanHarm