Abstract
Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These metaproperties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.
Original language | English |
---|---|
Title of host publication | Semantic Technology |
Subtitle of host publication | 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers |
Editors | Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu |
Publisher | Springer-Verlag |
Pages | 271-279 |
Number of pages | 9 |
ISBN (Print) | 9783319316758 |
DOIs | |
Publication status | Published - 2016 |
Event | 5th Joint International Conference on Semantic Technology, JIST 2015 - Yichang, China Duration: 11 Nov 2015 → 13 Nov 2015 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 9544 |
ISSN (Print) | 03029743 |
ISSN (Electronic) | 16113349 |
Conference
Conference | 5th Joint International Conference on Semantic Technology, JIST 2015 |
---|---|
Country/Territory | China |
City | Yichang |
Period | 11/11/15 → 13/11/15 |
Bibliographical note
AcknowledgmentsThis work is partially supported by the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).