Research Application of Temporal Description Logic Algorithm based on Ontology

DOI

10.2991/ameii-15.2015.304How to use a DOI?

Keywords

Ontology; Temporal description logic algorithm; Application Research.

Abstract

With the continuous development and extensive application of ontology research, the temporal information needs to be processed, but such ontology description logic has good ability of expression, algorithmically undecidable, simple and shortcomings of inability to describe some concepts in the reality. In this situation, this paper presents temporal specific areas based on time interval, which requires it must be - admissible and add it to the description logic, proposes a new temporal description logic algorithm based on ontology, by proving satisfiability of temporal domain specific is decidable, and verifies the feasibility of the algorithm.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Xin Zhang
AU  - ChaoGang Wang
AU  - Rui Wen
PY  - 2015/04
DA  - 2015/04
TI  - Research Application of Temporal Description Logic Algorithm based on Ontology
BT  - Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics
PB  - Atlantis Press
SP  - 1643
EP  - 1646
SN  - 2352-5401
UR  - https://doi.org/10.2991/ameii-15.2015.304
DO  - 10.2991/ameii-15.2015.304
ID  - Zhang2015/04
ER  -