Title :
Software engineering approaches to semantic Web
Author :
Dong, J.S. ; Dan, D.
Author_Institution :
Singapore Nat. Univ., Singapore
Abstract :
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.
Keywords :
formal specification; formal verification; information retrieval; ontologies (artificial intelligence); semantic Web; software agents; software maintenance; Alloy Analyser; FaCT; OWL; RACER; RDF; Web content; Z/EVES; formal modeling; formal verification; information processing; information retrieval; intelligent agents; knowledge representation; machine-readable content; semantic Web ontology; software engineering; software maintenance; software modeling; Automation; Computer science; Content based retrieval; Information retrieval; Intelligent agent; OWL; Ontologies; Semantic Web; Software engineering; Software tools;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.78