between elements (sentences, terms for concepts and relations, …) and hence also defining them. The more defined these elements and relations, the smaller the elements, and the greater number of relations, the better. There are many kinds of knowledge representation languages (KRLs), with different logic models (and hence expressiveness) and kinds of notations. Graphic notations are nice to look at but are not concise, are often poorly expressive, have no standard format and using them is time-consuming. Thus, in the same way that graphic-based programming languages are difficult to use for developing big applications, graphic-based KRLs are difficult to use for developing large or complex KBs. Most textual notations for KRLs are either relation/predicate-based, English-looking, frame/graph-based, XML-based or HTML-tag-attribute-based. The de-facto standard for the first kind is KIF [10]. The W3C proposes a standard for each of the last three kinds; respectively: SPARQL (+OWL) Update/Query, RDF(+OWL)/XML (in this term, “/” means “linearized with”) and RDFa. FL covers the first three kinds. Below are representations of the sentence “there is a man named 'Joe' that has at least 1 leg”; in addition to predefined terms, these representations use only terms defined by a person identified as “p” (this is a shortcut; a whole URL can also be used): – in FL: `a `p#man with p#name "Joe" ´ has for p#part a p#leg´ – also in FL: `a p#man p#name: "Joe", pm#part: a pm#leg´ – in KIF: (exists ((?m p%man) (?l p%leg)) (and (p%name ?m "Joe") (p%part ?m ?l)) ) – in SPARQL: insert {?m a p:man; p:name "Joe"; p:part [a p:leg] } – in RDF/XML: – in RDFa:

Joe

Out of these five KRLs, only FL and KIF have all the