ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Where Do I Put...

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Ron Wheeler <rwheeler@xxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 02 Feb 2011 09:05:45 -0500
Message-id: <4D4964B9.7070703@xxxxxxxxxxxxxxxxxxxxx>
If we can determine what metadata is required to identify and describe 
an ontology, that will start to answer some of these question.    (01)

Some of the issues raised below are not unlike the problems faced by 
software developers.    (02)

Version control is extremely important.
The concept of releases and SNAPSHOTS will clarify    (03)

"2. Entities that are pending or which are not ready to be entered in the
ontology (e.g. entities that have not been validated)?"    (04)


These go into snapshot versions of the ontology.    (05)

Branching and tagging in a source control system is helpful in managing 
the evolution of software and will be helpful in ontological projects 
where a number of ontologists are constructing a single artifact.    (06)


On 02/02/2011 8:50 AM, John Bottoms wrote:
> I've been thinking for a while that we need a "Where Do I Put..."
> thread. It will cover suggestions on where to put those fussy little
> things that are not covered in ontological discussions. Do you have any
> of these types of questions?
>
> I recognize that there are many ways to organize an ontology, but
> clearly if access is by structure, rather than by indexical, then we
> should recognize and promote the more efficient structures.
>
> Where Do I Put...??
> -------------------
> 1. Gõedel numbers and other formulas? (...and are data encoded using
> Church's approach?)
>
> 2. Entities that are pending or which are not ready to be entered in the
> ontology (e.g. entities that have not been validated)?
>
> 3. Element instances that are similar but not of a class (e.g. dead skunk).
>
> 4. Entities by reference (e.g. pointer to a binary file containing a
> song | translation tools | ontology meta-data).
>
> 5. Known unknowns.
>
> 6. Logic maths meta-data (e.g. HOL).
>
> 7. Alternate universals.
>
> 8. Are predicates (and other formula) grouped or striated per type or
> per instance (covers relations and constraints also).
>
> 9. Persistent intermediate findings, intermediate or "scratch-pad"
> proofs that may be of later use, or which may need to be exported
> (should we have a general export structure?).
>
> -John Bottoms
>    FirstStar Systems
>    Concord, MA USA
>
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>    (07)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

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