24:I[63208,["8920","static/chunks/8920-efbff8517d590b7e.js","9097","static/chunks/9097-7e60ff382fede0de.js","5914","static/chunks/5914-356082358a498a0b.js","9903","static/chunks/9903-11222066602aad8e.js","5438","static/chunks/5438-cfc6cd3ec63ed58c.js","3851","static/chunks/3851-d9d99b9df58ccefb.js","4621","static/chunks/4621-60797c2425663d2a.js","6871","static/chunks/6871-85cb03c97585f46a.js","6736","static/chunks/6736-932312a004c99faf.js","4550","static/chunks/4550-0bf059e3050c08b3.js","688","static/chunks/688-a6a2ac7bff269cd3.js","3984","static/chunks/3984-063c0b62f32133c7.js","7038","static/chunks/7038-4f87670d4e55ef18.js","9039","static/chunks/9039-75366c62dc7d0d0e.js","4563","static/chunks/4563-ad980d1babbf7b0b.js","6761","static/chunks/6761-0c10d1446de7ae1c.js","744","static/chunks/744-1e76229abb9e297b.js","7342","static/chunks/7342-1586df78600bf911.js","3617","static/chunks/3617-1f62a097637f4747.js","5895","static/chunks/5895-caa6c774914eb108.js","7481","static/chunks/7481-3b84c503a2ebfb3f.js","3668","static/chunks/3668-7dab69e4121c33af.js","39","static/chunks/39-e93a27d0920e6d92.js","2881","static/chunks/2881-445cc2384af2c6f9.js","2364","static/chunks/2364-e83d52fb21729d99.js","3208","static/chunks/3208-e65462d166bd3688.js","7582","static/chunks/app/toc/%5Btla%5D/%5Bvolume%5D/%5Bissue%5D/page-694a0e465c2c1334.js"],"default"] 25:T528,

Great progress to digitize the world’s available Biodiversity and Biogeography data have been made recently, but managing data from many different providers and research domains still remains a challenge. A review of the current landscape of metadata standards and ontologies in Biodiversity sciences suggests that existing standards, such as the Darwin Core terminology, are inadequate for describing Biodiversity data in a semantically meaningful and computationally useful way. As a contribution to fill this gap, we present an ontology-based system, called BiGe-Onto, designed to manage data together from Biodiversity and Biogeography. As data sources, we use two internationally recognized repositories: the Global Biodiversity Information Facility (GBIF) and the Ocean Biogeographic Information System (OBIS). BiGe-Onto system is composed of (i) BiGe-Onto Architecture (ii) a conceptual model called BiGe-Onto specified in OntoUML, (iii) an operational version of BiGe-Onto encoded in OWL 2, and (iv) an integrated dataset for its exploitation through a SPARQL endpoint. We will show use cases that allow researchers to answer questions that manage information from both domains.

26:T4a2,

Representation of scientific knowledge in ontologies suffers so often from the lack of computational knowledge required for inference. This article aims to perform quantitative analysis on physical systems, that is, to answer questions about values of quantitative state variables of a physical system with known structure.

For this objective, we incorporate procedural knowledge on two distinct levels. At the domain-specific level, we propose a representation model for scientific knowledge, i.e. variables, theories, and laws of nature.

At the domain-independent level, we provide an algorithm which, given a system S with known structure and a relevant scientific theory T, extracts a constraint network, whose variables are state variables of S defined by T, and whose constraints raise from relevant laws in T. The constraint network is then solved, to build a system of equations whose unknowns are the output variables of S.

The proposed representation model and reasoning algorithm are evaluated by applying them to classic analysis examples.

27:T564,