Definitions

First, some initial conventions, notations and definitions are introduced. The conventions for the naming of ontological Knowledge Entities and for the Graph Visualization are based on [Bens2014]. A Data Property (DP) is semantically synonym to an attribute and an Object Property (OP) is synonym to a relationship type. To avoid extra quoting of characters in words with blanks the underscore character _ is used to mark the place of the blank: ‘air pressure’ = air_pressure and (gauge, air pressure) ≡ (gauge, air_pressure). A Name of Pair (NoP) for a concept pair (x, y) can be easily synthesized by concatenation: NoP (x, y) = x_y ≡ ‘x y’, e.g., NoP(gauge, air pressure) = gauge_air_pressure  ≡ ‘gauge air pressure’. Names of DPs are prefixed with a dot, e.g., .Name, .URI. Names of OPs are prefixed with the symbol ◊, e.g., ◊iof, ◊Def, ◊Gen, ◊Dif, ◊subClassOf, ◊Subject, ◊Relation and ◊Object. Be ‘char’ a single character, then the set of all literals is defined by L = {char}^*. A Basic Linguistic Symbol (BLS) ∈ BLS represents a prime or compound concept and contains literals for the different languages represented by the set LNG = {.EN, .DE, .FR, .ES, .IT, .CN, .RU, ...} of top level domain names. An ID of a bls ∈ BLS is prefixed by ‘>BLS-‘ and has the form SID(concept) = ’>BLS-concept’, e.g., SID(air_pressure) = ’>BLS-air_pressure’.

{{definition:SC:isSC = is Semantic Compound:isSC(z) ← T ⇔ (∃x :(z, »subj, x) ∧ ∃y :(z, »obj, y)) or ∃x, y: (z = x_y), otherwise, isSC(z) ← F. }}

Concept Binary Trees (CBT) are not comparable to Derivation Trees that are otherwise used in Natural Language Processing (NLP). The latter are used to represent the grammatical structure of sentences and to determine the dependencies between the sentence components using LTAG Dependency Parsing. The main aspect of CBTs, on the other hand, is to represent lexical terms and phrases in such a way that semantically relevant sub-terms are arranged as high as possible in the CBT and less relevant terms as far down as possible.