Conceptual theory of part-whole relations and its applications

被引：0
|
作者：
Inst for Logic and Linguistics, Heidelberg, Germany [1 ]
机构：
来源：
Data Knowl Eng | / 3卷 / 305-322期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Specifying Well-Formed Part-Whole Relations in Coq
    Dapoigny, Richard
    Barlatier, Patrick
    GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 159 - 173
  • [32] Towards Ontological Correctness of Part-whole Relations with Dependent Types
    Dapoigny, Richard
    Barlatier, Patrick
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS (FOIS 2010), 2010, 209 : 45 - 58
  • [33] Part-whole science
    Rasmus Grønfeldt Winther
    Synthese, 2011, 178 : 397 - 427
  • [34] TERMINOLOGY OF THE THALAMUS AND ITS REPRESENTATION IN A PART-WHOLE RELATION
    AXER, H
    NIEMANN, K
    METHODS OF INFORMATION IN MEDICINE, 1994, 33 (05) : 488 - 495
  • [35] Using part-whole relations for automatic deduction of compound-internal relations in GermaNet
    Hinrichs, Erhard
    Henrich, Verena
    Barkey, Reinhild
    LANGUAGE RESOURCES AND EVALUATION, 2013, 47 (03) : 839 - 858
  • [36] ARITHMETIC WITHOUT READING - CHILDREN INTERPRETING REPRESENTATIONS OF PART-WHOLE RELATIONS
    EKEBLAD, E
    COMPUTERS IN HUMAN BEHAVIOR, 1993, 9 (2-3) : 213 - 225
  • [37] DEVELOPMENTAL-STUDY OF PART-WHOLE RELATIONS IN VISUAL-PERCEPTION
    LOWE, RC
    JOURNAL OF GENETIC PSYCHOLOGY, 1973, 123 (02): : 231 - 240
  • [38] TRANSITIVITY OF THE PART-WHOLE RELATION
    CRUSE, DA
    JOURNAL OF LINGUISTICS, 1979, 15 (01) : 29 - 38
  • [39] Discovering of Part-Whole Relations Used in Architectural Prototyping of Project Tasks
    Sosnin, Petr
    Kulikova, Anna
    PROCEEDINGS OF THE THIRD INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'18), VOL 1, 2019, 874 : 159 - 170
  • [40] Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
    Dapoigny, Richard
    Barlatier, Patrick
    CONCEPTUAL MODELING - ER 2009, PROCEEDINGS, 2009, 5829 : 145 - 158
12345