Skip to Main Content
In recent years, researchers have begun to explore the potential of associating Web content with explicit meaning so that the Web content becomes more machine-readable and intelligent agents can retrieve and process information readily. The semantic Web (SW) proposed by W3C is one of the most promising and accepted approaches. It may have great impacts to the current Web. SW not only emerges from the knowledge representation and the Web communities, but also brings the two communities closer together. The software engineering community can also play an important role in the semantic Web development. Modeling and verification techniques can be useful at many stages during the design, maintenance and deployment of semantic Web ontology. We believe semantic Web will be a new research and application domain for software modeling techniques and tools.