The Semantic Web is an extension of the current Web in which information is given a well-defined meaning, thus better enabling people to work more efficiently with computers. The Semantic Web handles machine-processable information. Its underlying technologies are Resource Description Framework (RDF), RDF Schema (RDFS), and ontology as the shared formal conceptualization of particular domains. ...

We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the description of the key elements of the Semantic Web technologies, in order to give a better understanding of the system, without getting involved with their implementation details that might not yet be standardized. T...

The Semantic Web is an extension of the Web where information is represented in a machine processable way. In this paper, we present a two-level model for the Semantic Web from the perspective of formal language theory. The model consists of two grammars where the first level grammar is for creating ontologies and the second level grammar is for creating ontological instances. Based on the mode...

Two-dimensional approaches to semantics, broadly understood, recognize two “dimensions” of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is...

We present ontologydesignpatterns.org (ODP), a semantic web portal based on semantic wiki technology, that supports the community around best practices of ontology design. ODP provides services for ontology design pattern evaluation, training on ontology design, and a repository of reusable OWL ontologies. We also present Evaluation WikiFlow, a (Semantic) MediaWiki extension that we have develo...

This dissertation addresses the need for easier construction and extension of language tools. Specifically, the construction and extension of so-called semantic editors is considered, that is, editors providing semantic services for code comprehension and manipulation. Editors like these are typically found in state-of-the-art development environments, where they have been developed by hand. Th...

Resource Description Framework (RDF) datasets can be created by transforming structured databases, extracting the triples from semi-structured and unstructured sources, crowd-sourcing, or by integrating the existing datasets. The reliability and quality of these datasets can be improved by the participation of domain experts via a special purpose tool or a crowd-sourced application. Wikidata an...

Successful data integration relies on knowledge of (i) the structural shape of constituent data sources, and (ii) semantic knowledge of how structural terms map together, or how structure maps to structure. In this paper, we propose a simple extension to the relational model which allows these types of metaknowledge to be stored directly within relational sources and then incorporated into quer...

This work describes a semantic extension for a user-smart object interaction model based on the ECA paradigm (Event-Condition-Action). In this approach, smart objects publish their sensing (event) and action capabilities in the cloud and mobile devices are prepared to retrieve them and act as mediators to configure personalized behaviours for the objects. In this paper, the information handled ...

In view of the design scheme convergence in the process of product design, a method of product extension case rea-soning based on region semantic correlation is presented. In combination with product semantics and primitives theo-ry in extenics, the knowledge representation method in process of product design and convergence process of design cases were studied. In the convergence process, the ...