f-ALC(D)-LTL: A Fuzzy Spatio-Temporal Description Logic

被引：3
|
作者：
Cheng, Haitao [1 ]
Ma, Zongmin [2 ]
机构：
[1] Nanjing Univ Posts & Telecommun, Sch Comp Sci, Nanjing 210023, Jiangsu, Peoples R China
[2] Nanjing Univ Aeronaut & Astronaut, Coll Comp Sci & Technol, Nanjing 211106, Jiangsu, Peoples R China
来源：
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017): 10TH INTERNATIONAL CONFERENCE, KSEM 2017, MELBOURNE, VIC, AUSTRALIA, AUGUST 19-20, 2017, PROCEEDINGS | 2017年 / 10412卷
基金：
中国国家自然科学基金;
关键词：
Fuzzy spatio-temporal knowledge; LTL; Description logic; Tableau algorithm; Reasoning; REGION CONNECTION CALCULUS; TEMPORAL DESCRIPTION LOGIC; CONCRETE DOMAINS; KNOWLEDGE;
D O I：
10.1007/978-3-319-63558-3_8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge on the Semantic Web, in this paper, we propose a fuzzy spatio-temporal description logic f-ALC(D)-LTL that extends spatial fuzzy description logic f-ALC(D) with linear temporal logic (LTL). Firstly, we give a formal definition of syntax, semantics of the f-ALC(D)-LTL. Then, we propose a tableau algorithm for reasoning fuzzy spatio-temporal knowledge, i.e., determining satisfiability problem of f-ALC(D)-LTL formula. Finally, we show the termination, soundness, and completeness of the tableau algorithm.
引用
收藏
页码：93 / 105
页数：13
相关论文
共 10 条
  • [1] A decidable fuzzy description logic F-ALC(G)
    Wang, Hailong
    Ma, Z. M.
    DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, 5181 : 116 - 123
  • [2] Representing and reasoning fuzzy spatio-temporal knowledge with description logics: A survey
    Cheng, Haitao
    Wang, Ruchuan
    Li, Peng
    Xu, He
    INTELLIGENT DATA ANALYSIS, 2019, 23 : S113 - S132
  • [3] Spatio-Temporal UML Modeling and Verifying with Description Logic
    Zhang, Fu
    Cao, Dong-Xia
    Cheng, Jing-Wei
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2019, 35 (06) : 1279 - 1298
  • [4] A Description Logic based QSTR Framework for Recognizing Motion Patterns from Spatio-temporal Data
    Talukdar, Upasana
    Barua, Rupam
    Hazarika, Shyamanta M.
    2015 IEEE 2ND INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION SYSTEMS (RETIS), 2015, : 38 - 43
  • [5] A tractable temporal description logic for reasoning fuzzy spatiotemporal knowledge
    Cheng, Haitao
    Ma, Zongmin
    WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2023, 26 (05): : 3155 - 3182
  • [6] Fuzzy spatio-temporal ontologies and formal construction based on fuzzy Petri nets
    Cheng, Haitao
    Yan, Li
    Ma, Zongmin
    Ribaric, Slobodan
    COMPUTATIONAL INTELLIGENCE, 2019, 35 (01) : 204 - 239
  • [7] A tractable temporal description logic for reasoning fuzzy spatiotemporal knowledge
    Haitao Cheng
    Zongmin Ma
    World Wide Web, 2023, 26 : 3155 - 3182
  • [8] Visual Spatio-Temporal Programming with a 3D Region Connection Calculus
    Albath, Julia
    Leopold, Jennifer L.
    Sabharwal, Chaman L.
    16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED MULTIMEDIA SYSTEMS (DMS 2010), 2010, : 277 - 282
  • [9] Deciding query entailment for fuzzy description logic knowledge bases: The f-SH family
    Ma, Z.-M. (mazongmin@ise.neu.edu.cn), 1600, Science Press (35): : 767 - 785
  • [10] My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development
    Pierre-Yves Rabattu
    Benoit Massé
    Federico Ulliana
    Marie-Christine Rousset
    Damien Rohmer
    Jean-Claude Léon
    Olivier Palombi
    Journal of Biomedical Semantics, 6
1