[Top][All Lists]
[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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-register-public] [task #5605] Submission of General Formal Ontology,
Robert Hoehndorf <=