Semantics for the Semantic Web: The Implicit, the Formal and the Powerful

Publisher： IGI Global_journal

E-ISSN： 1552-6291|1|1|1-18

ISSN： 1552-6283

Source： International Journal on Semantic Web and Information Systems (IJSWIS), Vol.1, Iss.1, 2005-01, pp. : 1-18

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal Foundations of Operational Semantics

By Ford J.  

LISP and Symbolic Computation, Vol. 16, Iss. 3, 2003-09 ,pp. : 161-202

Springer Publishing Company

Access to resources Recommend Favorite

Formal Semantics of Java Expressions and Statements

By Zamulin A. V.  

Programming and Computer Software, Vol. 29, Iss. 5, 2003-09 ,pp. : 259-270

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Linking denotational semantics with operational semantics for web services

By Zhu Huibiao  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 4, 2010-12 ,pp. : 283-298

Springer Publishing Company

Access to resources Recommend Favorite

Data Linking for the Semantic Web

By  

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 7, Iss. 3, 2011-07 ,pp. : 46-76

IGI Global_journal

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite