[Top] [All Lists]

Re: [ontolog-forum] CCTONT work progress: Protege version

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Patrick Cassidy <pcassidy@xxxxxxxxxxxxxxxx>
Date: Tue, 16 Nov 2004 00:07:06 -0500
Message-id: <41998AFA.1070206@xxxxxxxxxxxxxxxx>
Concerning translations to other formats:
   The translation from KIF to Protege uses certain devices to work around the 
lack of axiom support in Protege and the lack of support for higher-arity 
relations.  For the axioms, in past versions I had simply recorded KIF axioms 
instances of a subclass of :PAL-CONSTRAINT (called :SKIF-AXIOM).
   But the latest version of Protege apparently places some kind of restraint 
the format of :PAL-CONSTRAINTs, and the axioms did not load properly.  I will 
have to change the class for these axioms to something else that doesn't mangle 
the text. This will be simple enough, but in the present Protege files on the 
MICRA site, the axioms don't appear in the current import.
    As for the higher-arity relations, instances of the relations are 
  as instances of the metaclasses :Proposition or :Assertion; and the relation 
definitions are present as slots with added facets which specify the 
restrictions on the argument types.  However, unlike with ordinary (binary) 
slots, there is no way at present to specify restrictions on arguments other 
than the last ("value") argument, when those restrictions differ on subclasses 
of the highest-level class on which the relation is defined.  This would 
additional programming, probably overriding existing Protege functions, and is 
not likely to be implemented in the foreseeable future.
     In a discussion of the KIF-Protege translation with Holger Knublauch, he 
suggested that it would be helpful to have an OWL base ontology which includes 
built-in definitions of the Protege classes used to work around these problems. 
  It sounds like a way to get translation from SKIF to OWL, and also to be able 
to use the Protege visualization and editing tool.  I regrettably have much 
time to do  any work on that now, and am not sure when if ever I will be able 
  add any enhancements to the existing import plug-in.  As I have mentioned 
before, there is still no export functions, so Protege cannot be used with the 
current import plug-in as an accurate editing environment for SKIF ontologies.
   I will try to find some time to resume work on the translation, but can't 
predict when any more progress will be made.  For the time being, I can import 
SKIF ontologies into Protege, but only for the purpose of visualization.    (01)

    Pat    (02)

Peter P. Yim wrote:
> Thanks, Pat.
> I assume those who are making translations from Protege (to other 
> formats) could start now ... please post any problems encountered so 
> that we can collaboratively resolve them. It's only 12 more working days 
> to the EIDX panel presentation. Thanks in advance.
> -ppy
> -- 
>     (03)

Patrick Cassidy    (04)

MICRA, Inc.                      || (908) 561-3416
735 Belvidere Ave.               || (908) 668-5252 (if no answer above)
Plainfield, NJ 07062-2054    (05)

internet:   cassidy@xxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)

<Prev in Thread] Current Thread [Next in Thread>