Please use this identifier to cite or link to this item:
|Title:||A tools environment for developing and reasoning about ontologies|
|Authors:||Dong, J.S. |
|Source:||Dong, J.S.,Feng, Y.,Li, Y.F.,Sun, J. (2005). A tools environment for developing and reasoning about ontologies. Proceedings - Asia-Pacific Software Engineering Conference, APSEC 2005 : 465-472. ScholarBank@NUS Repository. https://doi.org/10.1109/APSEC.2005.21|
|Abstract:||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. © 2005 IEEE.|
|Source Title:||Proceedings - Asia-Pacific Software Engineering Conference, APSEC|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 5, 2017
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.