Formal Ontology in Information Systems

Frontiers in Artificial Intelligence and Applications FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. The FAIA series contains several sub-series, including " Information Modelling and Knowledge Bases " and " Knowledge-Based Intelligent Engineering Systems ". It also includes the biennial ECAI, the European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence – sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection. LEGAL NOTICE The publisher is not responsible for the use which might be made of the following information.and, United States and United Kingdom. All submissions were carefully reviewed by the members of our international program committee. Based on the reviews, 24 articles were chosen for presentation at the conference. Accepted submissions were organized wide range of topics addressed in these sessions demonstrates that formal ontology is an active area of research which addresses problems ranging from theoretical questions regarding the ontology of time to the applications in the sciences and engineering. Ontologies and Bioinformatics: in the first paper in this session entitled Probability assignments to dispositions in ontologies, Adrien Barton, Anita Burgun and Régis Du-vauferrier investigate the probabilistic dimension of dispositions, with a particular interest on Biomedical ontologies. The authors investigate the determination of which kinds of dispositional entities (individuals, universals, both) a probability value can be assigned to; in Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience, Fahim T. Imam and colleagues discuss the main ontology-based components of the Neuroscience Information Framework (NIF). In the context of the NIF project, the ultimate end product is a semantic search engine and knowledge discovery portal that provides federated access to a vast amount of Neuroscience data and resources over the web. Finally, in Suggestions for Galaxy Workflow Design Using Semantically Annotated Services, Alok Dhamanaskar and colleagues propose an extension of the Galaxy open-source web-based framework to assist the user in the construction of Service-based Scientific Workflows. The work is based on proposed extensions to the Ontology for Biomedical Investigations (OBI) which are intended to provide a base for the semantic annotation of Web Services. and Boyan Brodaric extend the DOLCE foundational ontology to a logical theory aimed at representing specific aspects of the physical containment of water studied in hydrology. More specifically, they address …