id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_jca34ttijfecfg2vq5xtbkygb4	Asunción Gómez-Pérez	Towards a framework to verify knowledge sharing technology	1996	11	.pdf	application/pdf	6892	763	56	of KST refers to the engineering activity that guarantees the correctness of the definitions in an ontology, This evaluation includes: ontologies, software and documentation. the ontologies, their associated software environments and documentation technically with Ontologies verification is orthogonal to the use of the definitions by any the consistency of an ontology and its definitions, we • An informal definition IDef is a free text documentation definition Défis defined in the ontology Ont. An ontology Ont is semantically consistent S-Consistency{Ont) if, and only if, each definition Def in the A given definition Def in the ontology Ont is semantically consistent S-Consistency0„,(Def) if, and only if: (1) contradiction in the interpretation of the formal definition with respect to the real world. definition Def, (1) each inferred formal sentence FSm is informal definition written in natural language is complete if it expresses the same knowledge that the formal the class DOCUMENT (see definition 1) only 	./cache/work_jca34ttijfecfg2vq5xtbkygb4.pdf	./txt/work_jca34ttijfecfg2vq5xtbkygb4.txt