Sciweavers

Share
APSEC
2005
IEEE

A Tools Environment for Developing and Reasoning about Ontologies

10 years 9 months ago
A Tools Environment for Developing and Reasoning about Ontologies
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provide basic vocabularies for data markups: the ontologies. The correctness of shared ontologies is crucial to the proper functioning of agents. Hence ensuring the consistency of ontologies is a central issue in both the design and deployment phases of any Semantic Web-aware application. Our experiences show that Semantic Web is a novel and fruitful application domain for formal languages and their mature reasoning tool support. In order to ease the application of formal methods and tools to the Semantic Web, we developed an integrated tools environment to support systematic development of OWL ontologies and then transformation, reasoning assistance and querying of them.
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where APSEC
Authors Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun 0001
Comments (0)
books