Invertebrate neurophylogeny: suggested terms and definitions for a neuroanatomical glossary.

BACKGROUND: Invertebrate nervous systems are highly disparate between different taxa. This is reflected in the terminology used to describe them, which is very rich and often confusing. Even very general terms such as 'brain', 'nerve', and 'eye' have been used in various ways in the different animal groups, but no consensus on the exact meaning exists. This impedes our understanding of the architecture of the invertebrate nervous system in general and of evolutionary transformations of nervous system characters between different taxa. RESULTS: We provide a glossary of invertebrate neuroanatomical terms with a precise and consistent terminology, taxon-independent and free of homology assumptions. This terminology is intended to form a basis for new morphological descriptions. A total of 47 terms are defined. Each entry consists of a definition, discouraged terms, and a background/comment section. CONCLUSIONS: The use of our revised neuroanatomical terminology in any new descriptions of the anatomy of invertebrate nervous systems will improve the comparability of this organ system and its substructures between the various taxa, and finally even lead to better and more robust homology hypotheses.

SOCCOMAS: a FAIR web content management system that uses knowledge graphs and that is based on semantic programming.

We introduce Semantic Ontology-Controlled application for web Content Management Systems (SOCCOMAS), a development framework for FAIR ('findable', 'accessible', 'interoperable', 'reusable') Semantic Web Content Management Systems (S-WCMSs). Each S-WCMS run by SOCCOMAS has its contents managed through a corresponding knowledge base that stores all data and metadata in the form of semantic knowledge graphs in a Jena tuple store. Automated procedures track provenance, user contributions and detailed change history. Each S-WCMS is accessible via both a graphical user interface (GUI), utilizing the JavaScript framework AngularJS, and a SPARQL endpoint. As a consequence, all data and metadata are maximally findable, accessible, interoperable and reusable and comply with the FAIR Guiding Principles. The source code of SOCCOMAS is written using the Semantic Programming Ontology (SPrO). SPrO consists of commands, attributes and variables, with which one can describe an S-WCMS. We used SPrO to describe all the features and workflows typically required by any S-WCMS and documented these descriptions in a SOCCOMAS source code ontology (SC-Basic). SC-Basic specifies a set of default features, such as provenance tracking and publication life cycle with versioning, which will be available in all S-WCMS run by SOCCOMAS. All features and workflows specific to a particular S-WCMS, however, must be described within an instance source code ontology (INST-SCO), defining, e.g. the function and composition of the GUI, with all its user interactions, the underlying data schemes and representations and all its workflow processes. The combination of descriptions in SC-Basic and a given INST-SCO specify the behavior of an S-WCMS. SOCCOMAS controls this S-WCMS through the Java-based middleware that accompanies SPrO, which functions as an interpreter. Because of the ontology-controlled design, SOCCOMAS allows easy customization with a minimum of technical programming background required, thereby seamlessly integrating conventional web page technologies with semantic web technologies. SOCCOMAS and the Java Interpreter are available from (https://github.com/SemanticProgramming).

Phylogenomics resolves the timing and pattern of insect evolution.

Insects are the most speciose group of animals, but the phylogenetic relationships of many major lineages remain unresolved. We inferred the phylogeny of insects from 1478 protein-coding genes. Phylogenomic analyses of nucleotide and amino acid sequences, with site-specific nucleotide or domain-specific amino acid substitution models, produced statistically robust and congruent results resolving previously controversial phylogenetic relations hips. We dated the origin of insects to the Early Ordovician [~479 million years ago (Ma)], of insect flight to the Early Devonian (~406 Ma), of major extant lineages to the Mississippian (~345 Ma), and the major diversification of holometabolous insects to the Early Cretaceous. Our phylogenomic study provides a comprehensive reliable scaffold for future comparative analyses of evolutionary innovations among insects.

Fiat or bona fide boundary--a matter of granular perspective.

BACKGROUND: Distinguishing bona fide (i.e. natural) and fiat (i.e. artificial) physical boundaries plays a key role for distinguishing natural from artificial material entities and is thus relevant to any scientific formal foundational top-level ontology, as for instance the Basic Formal Ontology (BFO). In BFO, the distinction is essential for demarcating two foundational categories of material entity: object and fiat object part. The commonly used basis for demarcating bona fide from fiat boundary refers to two criteria: (i) intrinsic qualities of the boundary bearers (i.e. spatial/physical discontinuity, qualitative heterogeneity) and (ii) mind-independent existence of the boundary. The resulting distinction of bona fide and fiat boundaries is considered to be categorial and exhaustive. METHODOLOGY/PRINCIPAL FINDINGS: By Referring to various examples from biology, we demonstrate that the hitherto used distinction of boundaries is not categorial: (i) spatial/physical discontinuity is a matter of scale and the differentiation of bona fide and fiat boundaries is thus granularity-dependent, and (ii) this differentiation is not absolute, but comes in degrees. By reducing the demarcation criteria to mind-independence and by also considering dispositions and historical relations of the bearers of boundaries, instead of only considering their spatio-structural properties, we demonstrate with various examples that spatio-structurally fiat boundaries can nevertheless be mind-independent and in this sense bona fide. CONCLUSIONS/SIGNIFICANCE: We argue that the ontological status of a given boundary is perspective-dependent and that the strictly spatio-structural demarcation criteria follow a static perspective that is ignorant of causality and the dynamics of reality. Based on a distinction of several ontologically independent perspectives, we suggest different types of boundaries and corresponding material entities, including boundaries based on function (locomotion, physiology, ecology, development, reproduction) and common history (development, heredity, evolution). We argue that for each perspective one can differentiate respective bona fide from fiat boundaries.

Accommodating ontologies to biological reality--top-level categories of cumulative-constitutively organized material entities.

BACKGROUND: The Basic Formal Ontology (BFO) is a top-level formal foundational ontology for the biomedical domain. It has been developed with the purpose to serve as an ontologically consistent template for top-level categories of application oriented and domain reference ontologies within the Open Biological and Biomedical Ontologies Foundry (OBO). BFO is important for enabling OBO ontologies to facilitate in reliably communicating and managing data and metadata within and across biomedical databases. Following its intended single inheritance policy, BFO's three top-level categories of material entity (i.e. 'object', 'fiat object part', 'object aggregate') must be exhaustive and mutually disjoint. We have shown elsewhere that for accommodating all types of constitutively organized material entities, BFO must be extended by additional categories of material entity. METHODOLOGY/PRINCIPAL FINDINGS: Unfortunately, most biomedical material entities are cumulative-constitutively organized. We show that even the extended BFO does not exhaustively cover cumulative-constitutively organized material entities. We provide examples from biology and everyday life that demonstrate the necessity for 'portion of matter' as another material building block. This implies the necessity for further extending BFO by 'portion of matter' as well as three additional categories that possess portions of matter as aggregate components. These extensions are necessary if the basic assumption that all parts that share the same granularity level exhaustively sum to the whole should also apply to cumulative-constitutively organized material entities. By suggesting a notion of granular representation we provide a way to maintain the single inheritance principle when dealing with cumulative-constitutively organized material entities. CONCLUSIONS/SIGNIFICANCE: We suggest to extend BFO to incorporate additional categories of material entity and to rearrange its top-level material entity taxonomy. With these additions and the notion of granular representation, BFO would exhaustively cover all top-level types of material entities that application oriented ontologies may use as templates, while still maintaining the single inheritance principle.

Top-level categories of constitutively organized material entities--suggestions for a formal top-level ontology.

BACKGROUND: Application oriented ontologies are important for reliably communicating and managing data in databases. Unfortunately, they often differ in the definitions they use and thus do not live up to their potential. This problem can be reduced when using a standardized and ontologically consistent template for the top-level categories from a top-level formal foundational ontology. This would support ontological consistency within application oriented ontologies and compatibility between them. The Basic Formal Ontology (BFO) is such a foundational ontology for the biomedical domain that has been developed following the single inheritance policy. It provides the top-level template within the Open Biological and Biomedical Ontologies Foundry. If it wants to live up to its expected role, its three top-level categories of material entity (i.e., 'object', 'fiat object part', 'object aggregate') must be exhaustive, i.e. every concrete material entity must instantiate exactly one of them. METHODOLOGY/PRINCIPAL FINDINGS: By systematically evaluating all possible basic configurations of material building blocks we show that BFO's top-level categories of material entity are not exhaustive. We provide examples from biology and everyday life that demonstrate the necessity for two additional categories: 'fiat object part aggregate' and 'object with fiat object part aggregate'. By distinguishing topological coherence, topological adherence, and metric proximity we furthermore provide a differentiation of clusters and groups as two distinct subcategories for each of the three categories of material entity aggregates, resulting in six additional subcategories of material entity. CONCLUSIONS/SIGNIFICANCE: We suggest extending BFO to incorporate two additional categories of material entity as well as two subcategories for each of the three categories of material entity aggregates. With these additions, BFO would exhaustively cover all top-level types of material entity that application oriented ontologies may use as templates. Our result, however, depends on the premise that all material entities are organized according to a constitutive granularity.