Previous topic  Top  Next topic  Print this Topic



ObjectLogic separates the knowledge base of ontologies explicitly using modules. If an ObjectLogic formula contains a module definition, it will be transformed to a special annotation.




            <object><Const type="&rif;iri">&obld;this</Const></object>
            <slot ordered="yes">
                <Const type="&rif;#iri">&obld;module</Const>
where tag is the main tag of T(F).

Indirectly Supported ObjectLogic Features

The following constructs are indirectly supported only by using special positional term encodings. Currently no axiomatizing formulas are included in the exported ontologies, in fact not all of them can be axiomatized.

Boolean properties (boolean FPropertyMember), e.g. a[p].
Property cardinalities (FPropertyCardinality), e.g. A[p{min:max}*=>()].
Property range (FPropertyRange), e.g. A[p*=>B], A[p=>B], A[*=>p] and A[=>p].
Inverse properties specification (FPropertyInverseOf), e.g. A[p{inverseOf(q)}*=>B].
Symmetric property specification (FPropertySymmetric), e.g. A[p{symmetric}*=>()].
Transitive property specification (FPropertyTransitive), e.g. A[p{transitive}*=>()].
Queries (Query), e.g. ?-P(?X).
Constraints (Constraint), e.g. !-P(?X).
Lists (special terms), e.g. [1, 2, 3].