Submissions tagged with formal ontology
(5 documents)
LBFO: toward an artificial language for ontology development
The syntax of LBFO represents the initial step toward the creation of a rigorously characterized, recursively defined, artificial language for the sole purpose of ontology development. The underlyi…
Received 23 November 2009 13:55 UTC; Posted 23 November 2009
Posted to: Bioinformatics
Modeling cardiac rhythm and heart rate using BFO and DOLCE
This paper presents an application ontology for modeling cardiac rhythm and its anomalies such as tachycardia and bradycardia. We use BFO and DOLCE as ontological reference framework in order to co…
Received 06 August 2009 13:18 UTC; Posted 10 August 2009
Posted to: Bioinformatics
Extending the Foundational Model of Anatomy with Automatically Acquired Spatial Relations
Formal ontologies have made significant impact in bioscience over the last ten years. Among them, the Foundational Model of Anatomy Ontology (FMA) is the most comprehensive model for the spatio-str…
Received 27 July 2009 16:01 UTC; Posted 27 July 2009
Posted to: Bioinformatics
SNOMED CT’s Ontological Commitment
SNOMED CT is a clinical terminology that describes the meaning of terms by logical axioms. This requires an ontological commitment, i.e. precise agreements about the ontological nature of the entit…
Received 25 July 2009 19:15 UTC; Posted 27 July 2009
Posted to: Bioinformatics
Function, Role, and Disposition in Basic Formal Ontology
Numerous research groups are now utilizing Basic Formal Ontology (BFO) as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides eluci…
Received 02 June 2008 15:27 UTC; Posted 03 June 2008
Posted to: Bioinformatics
