Z approach to semantic web

DOI10.1007/3-540-36103-0_18MaRDI QIDQ4412490zbMATH OpenFDO

Authors Jin-Song Dong, Jing Sun, Jing Sun, Hai Wang

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950156.htm

zbMATH Keywords

Semantic WebZ

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Reasoning support for Semantic Web ontology family languages using Alloy
• scientific article; zbMATH DE number 2090159
• Modeling applications for the semantic web
• The semantic web
• scientific article; zbMATH DE number 1801456

Cited in

(1)

• Modeling applications for the semantic web

Describes a project that uses

Uses Software

• Z/EVES

This page was built for publication: Z approach to semantic web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412490)