Some ideas for converting yago

Yago simpletypes example:

 <Mark_Wagh>     rdf:type        <wikicat_Warwickshire_cricketers>       
 <Juan_Almonte>  rdf:type        <wikicat_Mexican_diplomats>     

Convert to either:

• triple(cMark_Wagh,crdf_type,cwikicat_Warwickshire_cricketers).

or

• rtype(cMark_Wagh,cwikicat_Warwickshire_cricketers).

plus rules for triple(...,crdf_type,...) or rtype, accordingly

Yago taxonomy example:

<wikicat_Qajar_governors_of_Lorestan>  rdfs:subClassOf <wordnet_person_100007846>

Convert to either

  triple(cwikicat_Qajar_governors_of_Lorestan,
         crdfs_subClassOf,
         cwordnet_person_100007846).
  -triple(X,crdfs_subClassOf,Y) | -triple(Y,crdfs_subClassOf,Z) | 
     triple(X,crdfs_subClassOf,Z).

or

   -rtype(X,cwikicat_Qajar_governors_of_Lorestan) | 
     rtype(X,cwordnet_person_100007846).
    
    -rtype(X,Y) | -rtype(Y,Z) | rtype(X,Z).