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 meta-properties 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.
|Title of host publication||Joint International Semantic Technology Conference|
|Subtitle of host publication||JIST 2015: Semantic Technology|
|ISBN (Print)|| Print ISBN 978-3-319-31675-8 |
|Publication status||Published - 20 Mar 2016|