Logic Foundation and Services for Semantic Web.ppt

Logic Foundation Zhongzhi Shi Logic Foundation and Services for Semantic Web Outline Introduction Description Logic Dynamic Description Logic Agent-based Services Ontology-based Knowledge Management KMSphere Conclusions Semantic Web Web was “invented” by Tim Berners-Lee (amongst others), a physicist working at CERN His vision of the Web was much more ambitious than the reality of the existing (syntactic) Web: Semantics Is Important Avoid transformation code between data sets Unambiguously capture service profiles Enable dynamic discovery of services Use reasoners to locate services in “yellow pages” Enable dynamic collaboration of services Use reasoners to infer service descriptions and capabilities Enable rich, automatic, service orchestration Process layer will be far more automated with semantics Adding “Semantic Markup” Extend existing rendering markup with semantic markup Metadata annotations that describe content/function of web accessible resources Using Ontologies to provide vocabulary for annotations “Formal specification” is accessible to machines “Semantics” given by ontologies Ontology In philosophy, an ontology is a theory about the nature of existence. An ontology is a document or file that formally defines the relations among terms. An ontology is a formal, explicit specification of a shared conceptualization. The most typical kind of ontology for the Web has a taxonomy and a set of inference rules. The Semantic Web layer cake by Tim Berners-Lee Web Ontology Language OWL W3C Recommendation 10 Feb 2004. Deborah L. McGuinness and Frank van Harmelen eds. formerly Feature Synopsis for OWL Lite and OWL OWL facilitates greater machine interpretability of Web content than that supported by XML, RDF, and RDF Schema (RDF-S) by providing additional vocabulary along with a formal semantics. OWL has three increasingly-expressive sublanguages: OWL Lite, OWL DL, and OWL Full. The Ontology Language Stack OWL Ability to be distributed across many systems Scal