Information Technology Reference
In-Depth Information
begin_constraints
specification of constraints
end_constraints
begin_properties
specification of internal facts
end_properties
begin_computation_relations
begin_relation
specification of a relation
end_relation
...
end_computation_relations
begin_rules
begin_rule
kind_rule = "<kind of rule>";
hypothesis_part:
{ facts}
goal_part:
{ facts}
end_rule
...
end_rules
end_concept
-
File HIERARCHY.txt stores information of the Hasse diagram representing the
component H of COKB model. It has the following structure:
begin_Hierarchy
[<concept name 1>, <concept name 2>]
...
end_Hierarchy
-
Files RELATIONS.txt and RELATIONS_DEF.txt are structured text files that store the
specification of relations. The structure of file RELATIONS.txt is as follows
begin_Relations
[<relation name>, <concept>, <concept>, ... ], <property>, <property>, ...;
[<relation name>, <concept>, <concept>, ... ], <property>, <property>, ...;
...
end_Relations
-
Files OPERATORS.txt and OPERATORS_DEF.txt are structured text files that store the
specification of operators (the component Ops of KBCO model). The structure of file
OPERATORS.txt is as follows
begin_Operators
[<operator symbol>, <list of concepts>, <result concept>], <property>, <property>,
...;
[<operator symbol>, <list of concepts>, <result concept>], <property>, <property>,
...;
...
end_Operators
