This paper proposes X-KIF – a new modeling language intended for implementing large, formal knowledge bases. The language originated from the SUO-KIF language, which has been used for implementing a large family of ontologies based on the Suggested Upper Merged Ontology (SUMO).We address some...

Ontology evaluation is an integral part of the ontology development process. Errors in ontology create serious problems for the information system based on it. To our surprise, the existing systems are unable to identify most of the errors. We evaluate some well known ontologies against the...