Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics

Research Application of Temporal Description Logic Algorithm based on Ontology

Authors
Xin Zhang, ChaoGang Wang, Rui Wen
Corresponding Author
Xin Zhang
Available Online April 2015.
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)

Volume Title
Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics
Series
Advances in Engineering Research
Publication Date
April 2015
ISBN
978-94-62520-69-1
ISSN
2352-5401
DOI
10.2991/ameii-15.2015.304How to use a DOI?
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/).

Cite this article

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  -