Holger & Evan, (01)
1. Can you do something with Pat's latest Protege version of the [cctont]? (02)
2. In particular, (03)
(a) what would it take to go from here to something in OWL? (04)
(b) can we use the protege version to help us get to some of the less
expressive representations (e.g. UML diagrams, XML/schemas, ...) (05)
3. Would you be able to join us at the call this Wednesday? (ref:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2004_11_24) (06)
Please advise. (07)
Thanks in advance. -ppy
-- (08)
--- Begin Message ---
The latest version of the combined SUMO+Mid-Level+Quality of Service
ontologies,
together with the Core components representations that Adam Pease has provided,
is now available at:
ftp://micra.com/ontolog/CContology/ (01)
The Protege files containing the combined concepts of those
ontologies are:
SMQCC.pprj
SMQCC.pins
SMQCC.pont (02)
These have loaded properly in Protege version 2.1.2 (the latest full
release) on three computers, but have not been tested in other releases of
Protege.
The problem of mangling the axiom text has been resolved, and
the axioms should be viewable as instances of the class :SKIF-AXIOM.
They also appear in the windows for classes and relations to which they
are most relevant (but not, as in some viewers, in the windows for
every concept mentioned in the axioms). (03)
The contents of other files in that directory are described below, and in
the readme.txt file in that directory. (04)
The Core-Components-specific concepts in the SKIF format are in the file:
CCTrep2.txt (05)
Note that this file contains, in addition to the latest concepts provided by
Adam Pease (in CCTrep.kif), some additional concepts provided earlier
by Adam for the CCT work. Some of these have been reformatted to import
properly using the SkifTab. (06)
The latest set of concepts in the format provided by Adam are, as he
has mentioned, in the file:
http://ontolog.cim3.net/file/work/ontology/UBLONT/CCTrep.kif (07)
In the import process for each of these files, there were some format
changes
made, mostly a reorganization of propositions by clustering the propositions
according to the first argument. Some standardized documentation was provided
for some concepts without documentation. A few apparent typographical errors
were also corrected, and in a few cases this required some interpretation of
the intent of the data, but in each case the intention seemed clear. If anyone
notices any errors or omissions in the import, I would much appreciate a note so
I can correct the problem. (08)
As usual, I will be happy to answer any questions about the import process
or
the results. (09)
Pat (010)
My daytime phone now is (703)883-8976 (McLean, Virginia) or
(732)578-6340 (Eatontown, NJ). E-mail there is pcassidy (at) mitre.org. (011)
=============================================
Patrick Cassidy (012)
MICRA, Inc. || (908) 561-3416
735 Belvidere Ave. || (908) 668-5252 (if no answer above)
Plainfield, NJ 07062-2054 (013)
internet: cassidy@xxxxxxxxx
============================================= (014)
=================================================================================
Readme file to accompany the Protege import versions of the SUMO ontology, plus
the SUMO supplemented with the Quality of Service ontology (from Adam Pease and
Teknowledge) and the Core Components mappings created by Adam Pease Nov. 2004.
This information is current as of November 21, 2004. (015)
The Protege ontology containing the SUMO and Mid-Level combined ontologies
(KIF
format is file SAM156b.txt), plus the Quality of Service ontology (KIF file
QOSONT.KIF), plus the Core Components classes suggested by Adam Pease,
(collected in the KIF file CCTrep2.txt) is contained in the three Protege files:
SMQCC.pprj
SMQCC.pins
SMQCC.pont (016)
This ontology was constructed by adding the concepts in the Core Components
mappings provided by Adam Pease (in KIF file CCTrep2.txt) to the SMQ ontology.
The SMQ ontology contains the SUMO and Mid-Level combined ontologies (KIF
format is file SAM156b.txt), plus the Quality of Service ontology (KIF file
QOSONT.KIF). The KIF-format classes in file CCTrep2.txt correspond logically
to
the KIF-format classes provided by Adam Pease, but in some cases the format of
the classes and relations provided by Adam Pease was reorganized to conform to
the format expected by the SkifTab import program, mostly by adding a standard
documentation proposition to each subclass declaration.. The , or by changing
some apparent typographical errors. The base Protege ontology containing the
SUMO and Mid-Level combined ontologies (KIF format is file SAM156b.txt), which
was used to import these concepts is called SMQ and is contained in the three
Protege files :
SMQ.pprj
SMQ.pins
SMQ.pont (017)
The SMQ ontology was constructed by adding the concepts in the Quality of
Service ontology provided by Adam Pease (KIF file QOSONT.KIF) to the SAM156bX3
ontology, which contains the concepts in the combined SUMO and Mid-Level
ontologies. The Protege ontology containing the SUMO and Mid-Level combined
ontologies (KIF format is file SAM156b.txt), is contained in the three Protege
files :
SAM156bX3.pprj
SAM156bX3.pins
SAM156bX3.pont (018)
If any errors or omissions are present in any of these files -- KIF format
or Protege format -- please let me know and I will correct the problems. (019)
============================================ (020)
NOTE about the import program: The importation of KIF files into Protege is
performed by use of a Protege plug-in called SkifTab. The present version of
this program has been tested only within Protege version 2.1.2, using the Java
run-time environment provided with the Protege download. The java files
SkifTab.java and Predicates.java contain the source code for the import
program.
This program is still crude, but appears at present to convert all of the
logical information in the original SKIF-format file into some Protege
representation. The axioms are saved only as strings, and higher-arity
relations are represented as slots with additional facets -- but instances of
higher-arity relations need to be reified as instances of special classes.
The import program makes some assumptions about the format of the SKIF
file, with the result that a logically correct SKIF file in which the
propositions are not in a particular order will give errors during the
importing
process. Thus reorganization of a SKIF file may be required to get the
importation to proceed correctly. The most important format assumptions are:
(1) all propositions with a specific constant in argument 1 position must
be
collected in a single block of sequential lines, and separated from other
blocks
by one or more blank lines.
(2) class definition blocks will have a subclass proposition as the first
proposition
(3) relation definition blocks will have either an instance proposition or a
subrelation proposition as the first proposition of the block
(4) instance definition blocks will have an instance proposition as the
first
proposition of the block
(5) all blocks must have a documentation proposition as the final
proposition, unless they are bounded by special tags
(6) every proposition other than a documentation proposition must be a
single
line (021)
This was the format followed by the original SUMO SKIF file, but it is not
followed in all subsequent ontologies provided by Teknowledge. Some
reorganization of those SKIF files is thus usually necessary for the import
process. (022)
The import program can be made more flexible, but it was decided that
requiring a specific format is better, because certain types of errors in the
import files are easier to detect when they are organized in this manner. (023)
At present the program cannot correctly export all information from a
Protege
file to a SKIF-format file, and this program is therefore usable at present
only
as a visualizing tool, not for development or editing. (024)
Recently an additional problem has arisen. Under certain circumstances
(frequently, recently), an internal Java interpreter error occurs, in which the
program exits without any useful error information. This is apparently a bug
in
the optimization routine of the Java run-time program, and can be avoided by
running the program in interpret-only (no optimization) mode, at the cost of a
substantially slower execution. I do not know at present whether later
versions
of Protege will manage to avoid the conditions that cause this bug to surface. (025)
Pat Cassidy
cassidy@xxxxxxxxx (026)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (027)
--- End Message ---
_________________________________________________________________
To Post: mailto:cctont-imp@xxxxxxxxxxxxxxxx
Msg Archives: http://ontolog.cim3.net/forum/cctont-imp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?CctRepresentation
Community Files: http://ontolog.cim3.net/file/work/CCT-Representation/
Community Portal: http://ontolog.cim3.net/ (01)
|