- From: Richard H. McCullough <rhm@cdepot.net>
- Date: Sun, 11 May 2003 02:18:50 -0700
- To: "www-rdf-logic" <www-rdf-logic@w3.org>
- Cc: "KR-language" <KR-language@YahooGroups.com>
The MKR script shown below will create & simplify an ontology lattice, based on the RDF ontology definition. The details of the algorithm are given in http://rhm.cdepot.net/doc/simplifylattice.html The results for RDF and OWL are given in http://rhm.cdepot.net/knowledge/applications/SemanticWeb/RDF/lattice.save http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OWL/lattice.save # KEHOME/knowledge/applications/SemanticWeb/OWL/lattice.mkr # May/10/2003 do print od "","<-- original OWL ontology lattice -->" done; do read from owlRefB.rdf done; Thing isc* ?; do print od "","<-- simplify lattice -->" done; do simplify lattice od Thing done; do print od "","<-- simplified OWL ontology lattice -->" done; Thing isc* ?; ! deletecomment od lattice.out to lattice.save done; #exit; Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list;
Received on Sunday, 11 May 2003 05:32:21 UTC