| Abstract
|
This paper is focused on providing some cr … This paper is focused on providing some criteria for verifying KnowledgeSharingTechnology (KST). Verification of KST refers to the engineering activity thatguarantees the correctness of the definitions in an ontology, its associatedsoftware environments, and documentation with respect to a frame of referenceduring each phase and between phases of its life cycle. Verification of thesoftware and documentation guarantee that they are correct. Verification of theontologies refers to building the ontology right, and it verifies that: (1) thearchitecture of the ontology is sound, (2) the lexicon and the syntax of thedefinitions are correct, and (3) the content of the ontologies and theirdefinitions are internally and metaphysically consistent, complete, concise,expandable and sensitive. omplete, concise,expandable and sensitive.
|
