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 | China |
| City | Yichang |
| Period | 11/11/15 → 13/11/15 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
Meta-level properties for reasoning on dynamic data. / Zhao, Yuting; Vetere, Guido; Pan, Jeff Z.; Faraotti, Alessandro; Monti, Marco; Wu, Honghan.
Semantic Technology: 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers. ed. / Guilin Qi; Kouji Kozaki; Jeff Z. Pan; Siwei Yu. Springer-Verlag, 2016. p. 271-279 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9544).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Meta-level properties for reasoning on dynamic data
AU - Zhao, Yuting
AU - Vetere, Guido
AU - Pan, Jeff Z.
AU - Faraotti, Alessandro
AU - Monti, Marco
AU - Wu, Honghan
N1 - Acknowledgments This work is partially supported by the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84961613321&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-31676-5_19
DO - 10.1007/978-3-319-31676-5_19
M3 - Conference contribution
AN - SCOPUS:84961613321
SN - 9783319316758
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 271
EP - 279
BT - Semantic Technology
A2 - Qi, Guilin
A2 - Kozaki, Kouji
A2 - Pan, Jeff Z.
A2 - Yu, Siwei
PB - Springer-Verlag
ER -