Ken,
I use Sigma much in the same way that software developers use IDEs. One
edits KIF in a text editor just as one codes Java in a text editor, then
uses the IDE to examine, debug and test the code. (01)
Adam (02)
At 12:05 PM 2/5/2004 +0800, Kenneth Fields wrote:
>This is optimal! This would settle the issue of browsing - Sigma browser.
>I am not totally clear on the distinctions between formal logic
>representation and symbolic reasoning systems. I don't ask for a tutorial
>on that matter here - I'll go do my homework on that. But I assume KIF is
>the standard for the former and RDF / OWL for the latter. In thinking
>about deliverables, we want to the ontology representation to be both
>logically solid for computation and semantically (Web) useful.
>
>What does Adam mean when he says he has 'built' ontologies in Sigma - I
>don't see the editing capability like Ontolingua does.
>
>Ken
>
>
>
>On Feb 5, 2004, at 8:39 AM, Peter Yim wrote:
>
>>Thanks for the update, Pat.
>>
>> > [Pat] I have not yet started to build an Export-to-KIF
>> > method in the Protege SKIF tab. ...
>> > ... So until there is a visible demand for it
>> > (e.g. several ontolog people actually building an ontology and
>> > wanting to use Protege) I will concentrate on getting the
>> > details of the importing polished, ...
>>
>>By cross posting to the [dao-forum] here, let's see what the
>>interest/demand level is from our friends at [dao].
>>
>>-ppy
>>--
>>
>>Bob Smith wrote Wed, 4 Feb 2004 16:28:09 -0800:
>>>Hi Pat:
>>>Thanks for the files.
>>>Do you recommend Protégé 1.8 ? I tried 2.0Beta and had significant Blue
>>>Screen experiences...
>>>Regards,
>>>Bob
>>
>>
>>>-----Original Message-----
>>>From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
>>>[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Patrick Cassidy
>>>Sent: Wednesday, February 04, 2004 2:09 PM
>>>To: [ontolog-forum]
>>>Subject: Re: [ontolog-forum] [Fwd: [dao-forum] Ontology Editor and Browser]
>>
>> > Peter --
>>
>> > I have not yet started to build an Export-to-KIF
>> > method in the Protege SKIF tab. In the time I have
>> > to work on this I am still dealing with some small
>> > details regarding the best way to represent certain
>> > logical elements from KIF in Protege.
>>
>> > I do want to crate an export facility, but as I mentioned,
>> > time is short and there would be a lot of detail to
>> > handle. So until there is a visible demand for it
>> > (e.g. several ontolog people actually building an ontology and
>> > wanting to use Protege) I will concentrate on getting the
>> > details of the importing polished, and adding content to the
>> > invoices module.
>>
>> > Meanwhile, the latest version of the import routine now
>> > takes instance-level relations that are specified in SKIF,
>> > (such as those in the sample invoice instance that Adam Pease
>> > has started), and represents those as the values for
>> > template slots of the domain 1 instance.
>>
>> > The files available are:
>> > ftp://micra.com/ontolog/smink004.zip -- the WinZipped Protege
>> > files for the combined SUMO, Mid-Level,
>> > and Invoices ontology: SMINK004
>>
>> > ftp://micra.com/ontolog/skif_tab.jar -- the jar file for the
>> > SkifTab plugin which will import a SKIF
>> > file into Protege (if it follows the
>> > SUMO-SKIF conventions)
>>
>> > ftp://micra.com/ontolog/samin004.zip -- a zipped text file
>> > "samin004.txt", which is the
>> > SKIF-format file for the combined
>> > SUMO, Mid-Level, and Invoices
>> > ontologies (the SKIF-text version of
>> > Protege ontology SMINK004)
>>
>> > ftp://micra.com/ontolog/SKIFcore.pins | The Protege text files
>> > ftp://micra.com/ontolog/SKIFcore.pont | of the base Protege
>> > ftp://micra.com/ontolog/SKIFcore.pprj | ontology required to
>> > | import a SKIF file
>> > | using the SKIF tab
>>
>> > ftp://micra.com/ontolog/SKIFProt.doc | A WinWord file
>> > describing the problems encountered
>> > in converting SKIF to a Protege DB.
>>
>> > I will be happy to answer questions from anyone about the SMINK004
>> > ontology, or about the method of converting it from the SKIF file.
>> >
>> > Pat
>>---
>>
>> > Peter Yim wrote Wed, 04 Feb 2004 10:57:35 -0800:
>> >
>> >> Ken,
>> >>
>> >> I should forward this to [ontolog] ... you probably want to hear what
>> >> Pat Cassidy has on his drawing board.
>> >>
>> >> -ppy
>> >> --
>>
>> >> -------- Original Message --------
>> >> Subject: [dao-forum] Ontology Editor and Browser
>> >> Date: Thu, 5 Feb 2004 02:30:09 +0800
>> >> From: Kenneth Fields <ken@xxxxxxxxxxx>
>> >> Reply-To: DigitalArtOntology <dao-forum@xxxxxxxxxxxx>
>> >> To: DigitalArtOntology <dao-forum@xxxxxxxxxxxx>
>> >>
>> >> Ok, What is the editor of choice for this project?
>> >>
>> >> A. KIF files scribbled on napkins :( ... or
>> >> B. Protege
>> >>
>> >> And what will be the browser of choice? The cim3 site has a KIF browser
>> >> and Protege does not output KIF, right? The ontology needs to be
>> >> publicly accessible. There are Omnigators, Cyc Browsers, Ontoramas, and
>> >> Ontolinguas. The Conference Wiki was an eye opener (just click on RDF
>> >> tag) - but we'll have to wait for our OWLiki.
>> >>
>> >> Ken
>> >>
>>
>> >> _________________________________________________________________
>> >> Message Archives: http://dao.cim3.net/forum/dao-forum/
>> >> Subscribe/Unsubscribe/Config:
>> >> http://dao.cim3.net/mailman/listinfo/dao-forum/
>> >> Shared Files: http://dao.cim3.net/file/
>> >> Community Wiki: http://dao.cim3.net/wiki/
>> >> Community Portal: http://dao.cim3.net/
>> >> To Post: mailto:dao-forum@xxxxxxxxxxxx
>>
>> >> _________________________________________________________________
>> >> 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
>>
>>_________________________________________________________________
>>Message Archives: http://dao.cim3.net/forum/dao-forum/
>>Subscribe/Unsubscribe/Config: http://dao.cim3.net/mailman/listinfo/dao-forum/
>>Shared Files: http://dao.cim3.net/file/
>>Community Wiki: http://dao.cim3.net/wiki/
>>Community Portal: http://dao.cim3.net/
>>To Post: mailto:dao-forum@xxxxxxxxxxxx
>>
>>
>>
>>
>>Powered by MessageSoft SMG SPAM, virus-free and secure email
>>http://www.messagesoft.com
>
>
>Powered by MessageSoft SMG SPAM, virus-free and secure email
>http://www.messagesoft.com
>_________________________________________________________________
>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 (03)
_________________________________________________________________
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 (04)
|