Software Modeling Techniques and the Semantic Web

bination of RACER, Z/EVES [12] and the Alloy Analyser [10] tools. An illustration on how DAML can be used to build a Semantic Web environment for supporting, extending and integrating various software specification languages. 2. Semantic Web The Semantic Web is a vision with a series of technologies proposed by W3C as the next generation web. It extends the current one by giving the web content a well-defined meaning, better enabling computers and people to work in cooperation [1]. Resource Description Framework (RDF) is a foundation for processing metadata; it provides interoperability between applications that exchange machine-understandable information on the Web. RDF Schema provides the basic vocabulary to describe RDF documents. RDF Schema can be used to define properties and types of the Web resources. Similar to XML Schema which give specific constraints on the structure of an XML document, RDF Schema provides information about the interpretation of the RDF statements. Th