savannah-register-public
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #5605] Submission of General Formal Ont


From: Robert Hoehndorf
Subject: [Savannah-register-public] [task #5605] Submission of General Formal Ontology
Date: Fri, 26 May 2006 14:25:55 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20060424 Firefox/1.0.4 (Debian package 1.0.4-2sarge6)

URL:
  <http://savannah.nongnu.org/task/?func=detailitem&item_id=5605>

                 Summary: Submission of General Formal Ontology
                 Project: Savannah Administration
            Submitted by: leechuck
            Submitted on: Friday 05/26/2006 at 14:25
         Should Start On: Friday 05/26/2006 at 00:00
   Should be Finished on: Monday 06/05/2006 at 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Percent Complete: 0%
             Open/Closed: Open
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
The project account will remain inactive until a site admin approve or
discard the registration.


######### REGISTRATION ADMINISTRATION #########

While this item will be useful to track the registration process, approving
or discarding the registration must be done using the specific "Group
Administration" page, accessible only to site administrators, effectively
logged as site administrators (superuser):

  <https://savannah.nongnu.org/siteadmin/groupedit.php?group_id=8594>


######### REGISTRATION DETAILS ######### 

Full Name:
----------
  General Formal Ontology

System Group Name:
-----------------
  gfo

Type:
-----
  non-GNU software & documentation

License:
-------- 
  Modified BSD License

Description:
------------
  The project will develop a machine processable version of the General
Formal Ontology (GFO).

The first step is the development of an OWL version of the GFO. A first draft
of the OWL file can be found on http://www.onto-med.de/gfo.owl.
It is written in the description logic sub-dialect of OWL, which has many
limitations, but is decidable (using a DL-reasoner such as FaCT++,
http://owl.man.ac.uk/factplusplus) and can be used for conceptual modelling.
After the OWL version has been tested, a full version in first order logic
(using Common Logic, http://cl.tamu.edu) will be developed.

The OWL-DL version of the GFO will form the basis for the creation of a
biomedical core ontology based on GFO. This core ontology will be used by at
least two open source projects: http://onto.eva.mpg.de/gene_functions.html
and the BOWiki project on http://onto.eva.mpg.de/projects.html
For both projects, no source code has been produced, yet, and work has been
concentrated on theoretical issues. However, both would be hosted here
together with this project.

Other Software Required:
------------------------
  No requirements, but the following are recommended:
FaCT++ for reasoning (http://owl.man.ac.uk/factplusplus)

Some OWL-Viewer/-Editor. There are famous ones such as Protege, SWOOP or
OilEd, which are all written in Java (due to the lack of non-java
OWL-libraries, I am sure), and probably require a Sun JRE. Better are
web-based collaborative OWL-editors such as pOWL (http://powl.sf.net).
One of the software projects which will use this ontology is a collaborative
ontology editing environment (and will be based on PHP and FaCT++).

Other Comments:
---------------
  I know that this project is not strictly speaking a software development
project nor a project developing documentation, but rather a project to
develop a formal specifaction of an ontology.
However, while software describes an algorithm and can be interpreted to
solve a problem, an ontology describes a domain (or all of reality) and needs
to be interpreted (by a reasoner such as FaCT++) to solve a problem. It is
therefore like a library.
Or, more briefly: Please don't reject this project because it does not only
develop software or documentation. :)








    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?func=detailitem&item_id=5605>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]