S̆evc̆enko, Michal - In: I-MEDIA '07, I-SEMANTICS '07 : International …, (pp. 305-312). 2007
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 of the problems with the SUO-KIF language, and try to formally define the …