| Entity | Value |
|---|---|
| Ontology details | |
| Ontology ID | 16 |
| Ontology Name | General Formal ontology (Basic) |
| Ontology Acronym | GFO-Basic |
| Ontology Description | GFO-basic is a stable core of the full version of GFO. |
| Creation Date | 2008-10-07 |
| Latest Modified Date | 2008-10-07 |
| Version | 1 |
| URI | http://www.onto-med.de/ontologies/gfo-basic.owl |
| Language | |
| Language name | Web Ontology Language 2 DL |
| Language acronym | OWL 2 DL |
| Language description | |
| Ontology metrics | |
| DL Expressivity | |
| Number Of Classes | 46 |
| Number Of Individuals | 0 |
| Number Of Object Properties | 41 |
| Number Of Data Properties | 0 |
| NumberOfAxioms | 212 |
| Ontology Licence | |
| Licence Name | Copyright (c) 2006, Regents of the Research Group Ontologies in Medicine (Onto-Med), University of Leipzig, Germany. All rights reserved. |
| Licence Description | Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. Neither the name of the Research Group Ontologies in Medicine (Onto-Med), University of Leipzig nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| LicenceHomePage | - |
| Creator/contributor details | |
| Person Name | Barbara Heller |
| Person email | barbara.heller@imise.uni-leipzig.de |
| Organisation | Universitat Leipzig, Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Person Name | Patryk Burek |
| Person email | burek@informatik.uni-leipzig.de |
| Organisation | Universitat Leipzig, Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Person Name | Frank Loebe |
| Person email | frank.loebe@informatik.uni-leipzig.de |
| Organisation | Universitat Leipzig, Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Person Name | Hannes Michalek |
| Person email | hannes@michalek.de |
| Organisation | Universitat Leipzig, Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Person Name | Heinrich Herre |
| Person email | heinrich.herre@imise.uni-leipzig.de |
| Organisation | Universitat Leipzig, Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Person Name | Robert Hoehndorf |
| Person email | rh497@cam.ac.uk |
| Organisation | The European Bioinformatics Institute |
| Organisation details | |
| Organisation Name | Ontologies in Medicine and Life Sciences Foundations, Development and Applications |
| Organisation Acronym | Onto-Med |
| Organisation Homepage | http://www.onto-med.de/ |
| Organisation Name | Universitat Leipzig |
| Organisation Acronym | Uni-Leipzig |
| Organisation Homepage | http://www.zv.uni-leipzig.de/ |
| Organisation Name | The European Bioinformatics Institute |
| Organisation Acronym | EMBL-EBI |
| Organisation Homepage | http://www.ebi.ac.uk/ |
| Module details | |
| Module Type | More/less detailed |
| Module Subtype | Rich/light modules |
| Module Type Description | This module prunes out the lower-level entities of the original ontology and has new classes that aggregates them. |
| Module Coverage | 65.63% |
| Module Correctness (ModuleCorrectness states whether a module is logically correct, i.e., if all the axioms from only the original ontology are found in the modules and nothing new has been added to the module.) |
No |
| Module Completeness (ModuleCompleteness states whether for every axiom in the original ontology, the meaning of the axiom is persevered in the module.) |
No |
| Module Class Size (ModularisedClassSize represents the amount of classes of the original ontology that remains in the module.) |
58.97% |
| Module Property Size (ModularisedPropertySize represents the amount of properties of the original ontology that remains in the module.) |
61.19% |
| Module Method | Manual |
| Original ontology | General Formal Ontology |