# KEHOME/kb/tabrasa.html
# Oct/16/2003
#=====================#
# tabula rasa context #
# minimum hierarchy #
#=====================#
#####at view = tabula rasa;
# existence
entity isa existent;
# identity
characteristic isa existent;
# identification
proposition isa existent;
proposition has
format = {entity has characteristic;};
# ECP hierarchy
begin hierarchy axiomhi;
existent;
/ entity;
/ characteristic;
/ proposition;
end hierarchy axiomhi;
# ECP axioms
#####existent is existent;
#####A isa existent; # any existent
#####A is A;
#####A or not A is existent;
#####A and not A is nonexistent;
#####
#####nonexistent is not nonexistent; # contradiction
#####B is nonexistent; # any nonexistent
#####B is not B;
#####B or not B is nonexistent;
#####B and not B is nonexistent;
#--------------------------------------------#
# knowledge
knowledge := man do identify od entity with purpose done;
knowledge haspart proposition list;
man isa entity;
identify isa action;
purpose isa attribute;
action, attribute isa characteristic;
# closure
#proposition ::=
# sentence;
# at context;
# at context { proposition list };
#context ::=
# space = s, time = t, view = v
sentence isc
statement,
question,
command,
assignment,
conditional,
iteration;
characteristic isc
differentia,
part,
relation,
interaction;
#statement ::=
# subject is object;
# subject isa object with differentia;
# subject haspart part = value;
# subject has attribute = value;
# subject binary-relation object;
# subject isin nary-relation = value;
# at space = s, time = t {
# entity do action = event
# with action characteristics
# out action products
# od action direct objects
# from action initial characterstics
# to action final characteristics
# done;
# };
# event:1 causes event:2;
#conditional ::=
# if proposition list:1
# then proposition list:2
# else proposition list:3
# fi;
#iteration ::=
# every variable isa concept {
# proposition list # using $variable
# };
# every variable isin nary-relation {
# proposition list # using $variable,$1,$2,...
# };
# every variable in concept list {
# proposition list # using $variable
# };
# when entity do action = event ... done { # not implemented
# proposition list # using $action
# };
# additions to ECP hierarchy
begin hierarchy tabhi;
entity;
/ ANIMAL;
/ PLANT;
/ OBJECT;
// group; # abstract OBJECT
// symbol; # concrete OBJECT
characteristic;
/ differentia;
/ part;
/ attribute;
// purpose;
// space; # context
// time; # context
// view; # context
// chartype;
// format;
// meaning;
/ relation;
/ action;
// identify;
/ interaction;
// causality;
proposition;
/ context;
/ sentence;
// statement;
/// definition; # see KEHOME/doc/MKRgrammar.html
// question;
// command;
// assignment;
// conditional;
// iteration;
group;
/ concept;
// number;
/// integer;
// string;
// individual concept; # exgroup, singular
// collective concept; # ingroup, plural
/ enumeration; # alternatives
/ list; # space order
/ sequence; # time order
/ Set; # no order
/ multiset; # repetitions
/ LATTICE; # isa order
// lattice; # ambiguous genus
// hierarchy; # unique genus
// unithierarchy;
symbol; # see KEHOME/kb/ke.html
/ separator;
/ word;
attribute;
/ product; # sentence output
/ subject; # sentence subject
/ predicate; # sentence predicate
/ object; # sentence object
end hierarchy tabhi;
#--------------------------------------------#
# additional MKR concepts
#####at view = mkr;
begin hierarchy mkrhi;
existent;
/ unknown; # unknown genus
group;
/ directory;
/ family;
attribute;
/ variable; # ke attribute
/ fact; # text of input line
action;
/ COMMAND; # ke action
/ method; # user-defined command
/ sense; # concept formation
/ perceive; # concept formation
/ classify; # concept formation
/ measure; # concept formation
/ integrate; # concept formation
/ differentiate; # concept formation
proposition;
/ newproposition; # unknown format
end hierarchy mkrhi;
begin unithierarchy mkrprim;
OBJECT;
/ ke;
space;
/ here;
/ there;
/ everywhere;
time;
/ now;
/ past;
/ present;
/ future;
view;
/ tabula rasa;
#####/ mkr;
#####/ owl;
end unithierarchy mkrprim;
man is person;
man isd ANIMAL; # man isa**2 entity;
#--------------------------------------------#
#======================#
# RDF,RDFS,OWL context #
#======================#
#####at view = tabula rasa;
#####at view = owl;
#####rdfs:Class isu Set;
#####owl:Class isu Set;
#####owl:Class ismem rdfs:Class;
#####existent is owl:Thing;
#####entity is mkr:Entity;
#####characteristic is rdf:Property;
#####statement is rdf:Statement;
#####nonexistent is owl:Nothing;
#####rdfs:Resource is owl:Thing;
#####begin hierarchy owlhi;
#####owl:Thing;
#####/ mkr:Entity;
#####// mkr:Enumeration;
#####// mkr:Intersection;
#####// mkr:Union;
#####/ rdf:Property;
#####// owl:Restriction;
#####/ rdf:Statement;
#####mkr:Entity;
#####/ owl:AllDifferent;
#####/ rdfs:Container;
#####/ owl:DeprecatedClass;
#####/ mkr:Enumeration;
#####/ mkr:Intersection;
#####/ rdf:List;
#####/ owl:Ontology;
#####/ mkr:Union;
#####rdf:Property;
#####/ owl:DataRange;
#####/ rdfs:Datatype;
#####/ owl:DeprecatedProperty;
#####/ rdfs:Literal;
#####/ owl:Restriction;
#####group; # for RDF/OWL
#####/ html;
#####/ mcf;
#####/ owl;
#####/ rdf;
#####/ triple;
#####/ xml;
#####end hierarchy owlhi;
#####begin unithierarchy owlprim;
#####rdf:Property;
#####/ rdf:type;
#####/ rdfs:domain;
#####/ rdfs:range;
#####/ rdfs:subClassOf;
#####/ rdfs:subPropertyOf;
#####end unithierarchy owlprim;
#####rdf:Property,
#####rdf:DeprecatedProperty
##### has chartype=characteristic;
#####rdfs:domain,
#####rdfs:range,
#####owl:DataRange,
#####rdfs:Datatype,
#####rdfs:Literal
##### has chartype=attribute;
#####rdf:type,
#####rdfs:subClassOf,
#####rdfs:subPropertyOf
##### has chartype=relation;
#####owl:Restriction
##### has chartype=differentia;