Formal semantics and ontology

被引:0
|
作者
Kusliy, P. S. [1 ]
机构
[1] Russian Acad Sci, Inst Philosophy, Social Epistemol Sect, Moscow, Russia
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:62 / 67
页数:6
相关论文
共 50 条
  • [1] An ontology of trust - Formal semantics and transitivity
    Huang, Jingwei
    Fox, Mark S.
    [J]. 2006 ICEC: EIGHTH INTERNATIONAL CONFERENCE ON ELECTRONIC COMMERCE, PROCEEDINGS: THE NEW E-COMMERCE: INNOVATIONS FOR CONQUERING CURRENT BARRIERS, OBSTACLES AND LIMITATIONS TO CONDUCTING SUCCESSFUL BUSINESS ON THE INTERNET, 2006, : 259 - 270
  • [2] THE FORMAL SEMANTICS OF THE PRIMITIVE CONCEPTS OF ONTOLOGY AND THE FOUNDATIONS OF MATHEMATICS
    Tselishchev, V. V.
    [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2013, 24 (04): : 55 - +
  • [3] A Research of Formal Ontology Semantics Based Grid Resource Discovery Mechanism
    Liu Juefu
    Chen Min
    Liu Min
    [J]. 2009 INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN COMPUTER SCIENCE, ICRCCS 2009, 2009, : 194 - 197
  • [4] Ontology or Formal Ontology
    Zacek, Martin
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [5] A SEMANTICS FOR ONTOLOGY
    SIMONS, PM
    [J]. DIALECTICA, 1985, 39 (03) : 193 - 216
  • [6] What is formal in formal semantics?
    Wolenski, J
    [J]. DIALECTICA, 2004, 58 (03) : 427 - 436
  • [7] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics
    Loebe, Frank
    Herre, Heinrich
    [J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +
  • [8] Formal ontology
    Benoist, J
    Poli, R
    [J]. ARCHIVES DE PHILOSOPHIE, 2000, 63 (04) : 718 - 719
  • [9] Carnap, semantics and ontology
    Lavers, G
    [J]. ERKENNTNIS, 2004, 60 (03) : 295 - 316
  • [10] A Peircean ontology of semantics
    Farkas, J
    Sarbo, J
    [J]. CONCEPTUAL STRUCTURES: INTEGRATION AND INTERFACES, PROCEEDINGS, 2002, 2393 : 177 - 190