ScaleSem Approach to Check and to Query Semantic Graphs

ScaleSem Approach to Check and to Query Semantic Graphs

Mahdi Gueffaz (University of Burgundy, France), Sylvain Rampacek (University of Burgundy, France) and Christophe Nicolle (University of Burgundy, France)
DOI: 10.4018/978-1-4666-5888-2.ch718
OnDemand PDF Download:
$30.00
List Price: $37.50

Chapter Preview

Top

Background

The Semantic Web expression, attributed to Tim Berners-Lee (Berners-Lee, 2007) within the W3C, primarily refers to the vision of the future Web as vast resource exchange between humans and machines for an operation, qualitatively superior, large volumes of information and various services. The Semantic Web aims at organizing and structuring the huge quantity of information present on the Net. It consists of a semi-structured language based on XML. The W3C represents the semantic web in several layers. Each layer is built upon the layers below it. Thus, the whole set of layers uses the XML syntax.

Key Terms in this Chapter

Resource Description Framework (RDF): A graph model for describing formal Web resources and their metadata, to enable automatic processing of such descriptions.

World Wide Web Consortium (W3C): The W3C was founded in October 1994 by Tim Berners-Lee. It is an acronym used to define the World Wide Web which is an organization enabling the definition of technologies related to the web.

Interoperability: The ability of heterogeneous software and hardware to communicate and share information.

Extensible Markup Language (XML): A language for creating markup languages. There are two kinds of XML documents: well-formed and valid. The first respects the XML standard for the inclusion and the tag names. The second must be well defined and uses grammar to define the structure and the types of data described by the document

SPARQL: An RDF query language; its name is a recursive acronym that stands for SPARQL Protocol and RDF Query Language. It was standardized by the RDF Data Access Working Group (DAWG) of the World Wide Web Consortium, and is considered to be a key semantic web technology. On 15 January 2008, SPARQL became an official W3C Recommendation.

Semantic Graph: The semantic graph is labeled directed graph described by RDF or OWL language.

Model Checking: A technique for checking finite state concurrent systems, such as sequential circuit designs and communication protocols.

Temporal Logic: Used to describe a property, by using operators expressing the time like the future.

Temporal Logic Query: A temporal logic query is a temporal logic formula in which a variable appears. To solve this query we replace the variable by states that make the formula correct in the model.

Complete Chapter List

Search this Book:
Reset