A priorean approach to time ontologies

被引:0
|
作者
Ohrstrom, P [1 ]
Schärfe, H [1 ]
机构
[1] Aalborg Univ, Dept Commun, Aalborg, Denmark
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued that "the four grades of tense-logical involvement" suggested by AN Prior form a useful framework for discussing how various temporal notions are related in a top-level ontology. Furthermore, a number of modem ontologies are analysed with respect to their incorporation of temporal notions. It is argued that all of them correspond to Prior's first and second grade, and that none of them reflect the views which Prior's third and fourth grade represent. Finally, the paper deals with Prior's ideas on a tensed ontology and it is argued that a logic based on the third grade and will be useful in the further development of tensed ontology.
引用
下载
收藏
页码:388 / 401
页数:14
相关论文
共 50 条
  • [1] Building Time-Affordable Cultural Ontologies Using an Emic Approach
    Petit, Jean
    Boisson, Jean-Charles
    Rousseaux, Francis
    ARTIFICIAL INTELLIGENCE FOR KNOWLEDGE MANAGEMENT (AI4KM 2015): 3RD IFIP WG 12.6 INTERNATIONAL WORKSHOP, AI4KM 2015, 2016, 497 : 130 - 148
  • [2] A Structuralistic Approach to Ontologies
    Schaeufler, Christian
    Artmann, Stefan
    Beckstein, Clemens
    KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 363 - +
  • [3] An Approach to Join Ontologies and their Reuse in the Construction of Application Ontologies
    Silva, Fhillipi
    Girardi, Rosario
    2014 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 1, 2014, : 424 - 431
  • [4] A Methodological Approach to Compare Ontologies: Proposal and Application for SLAM Ontologies
    Cardinale, Yudith
    Cornejo-Lupa, Maria A.
    Ticona-Herrera, Regina
    Barrios-Aranibar, Dennis
    22ND INTERNATIONAL CONFERENCE ON INFORMATION INTEGRATION AND WEB-BASED APPLICATIONS & SERVICES (IIWAS2020), 2020, : 223 - 233
  • [5] Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
    Boretti, Bianca
    Negri, Sara
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 108 - +
  • [6] A New Approach for Merging Ontologies
    Mohsenzadeh, M.
    Shams, F.
    Teshnehlab, M.
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 4, 2005, 4 : 153 - 159
  • [7] A systematic approach for building ontologies
    Falbo, RD
    de Menezes, CS
    da Rocha, ARC
    PROGRESS IN ARTIFICIAL INTELLIGENCE-IBERAMIA 98, 1998, 1484 : 349 - 360
  • [8] Ontologies and simulation: a practical approach
    McGinnis, L.
    Huang, E.
    Kwon, K. S.
    Ustun, V.
    JOURNAL OF SIMULATION, 2011, 5 (03) : 190 - 201
  • [9] The Treatment of Time in Upper Ontologies
    Galton, Antony
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS (FOIS 2018), 2018, 306 : 33 - 46
  • [10] A faceted approach to building ontologies
    Prieto-Díaz, R
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 458 - 465