Ecolingua: a Formal ontology for data in ecology

被引：0
|
作者：
Brilhante, Virgínia [1 ]
机构：
[1] Computing Science Department, Federal University of Amazonas, Av. Gen. Rodrigo O. J. Ramos, 3000, Manaus,AM,69060-020, Brazil
来源：
Journal of the Brazilian Computer Society | 2005年 / 11卷 / 02期
关键词：
Ecology - Model structures - Formal logic;
D O I：
10.1007/BF03192376
中图分类号：
学科分类号：
摘要：
Ecolingua is an ontology for ecological quantitative data, which has been designed through reuse of a conceptualisation of quantities and their physical dimensions provided by theEngMath family of ontologies. A hierarchy of ecological quantity classes is presented together with their definition axioms in first-order logic. An implementation-level application of the ontology is discussed, by way of which conceptual ecological models are synthesised from data annotations inEcolingua through reuse of existing model structures. © 2006, The Brazilian Computer Society.
引用
收藏
页码：60 / 78
相关论文
共 50 条
  • [1] From data to knowledge, the role of formal ontology
    Vetere, Guido
    Frontiers in Artificial Intelligence and Applications, 2009, 198 (01) : 1 - 9
  • [2] Ontology or Formal Ontology
    Zacek, Martin
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [3] Using formal ontology for integrated spatial data mining
    Hwang, S
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 2, 2004, 3044 : 1026 - 1035
  • [4] Formal ontology
    Benoist, J
    Poli, R
    ARCHIVES DE PHILOSOPHIE, 2000, 63 (04) : 718 - 719
  • [5] The limitation of formal ontology by formal logic
    Drummond, John J.
    METHODOS-SAVOIRS ET TEXTES, 2009, (09):
  • [6] A formal ontology of artefacts
    Kassel, Gilles
    APPLIED ONTOLOGY, 2010, 5 (3-4) : 223 - 246
  • [7] A formal ontology of properties
    Guarino, N
    Welty, C
    KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS: METHODS, MODELS, AND TOOLS, 2000, 1937 : 97 - 112
  • [8] Formal ontology.
    Mays, W
    HISTORY AND PHILOSOPHY OF LOGIC, 1997, 18 (04) : 237 - 240
  • [9] A Formal Ontology of Texts
    Garbacz, Pawel
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2016, 283 : 345 - 358
  • [10] Formal ontology for subject
    Welty, CA
    Jenkins, J
    DATA & KNOWLEDGE ENGINEERING, 1999, 31 (02) : 155 - 181
12345