Iuri Fernandes QueirozLuis Henrique BustamanteAna Teresa MartinsJoão Alcântara

Ontology versioning is concerned with problems that arise from the management of different ontology versions. An ontology version space is here considered as a structure that reflects the transition relation between versions of the same ontology. We will represent it as a finite connected directed graph with vertices corresponding to ontology versions, and arcs to a direct transition between them. If we want to compare different versions of an ontology, it should be necessary a formalism able to reason on the ontology version space. We consider temporal logics to describe the sequence of versions without explicitly mentioning time. Here we use the main temporal logics, namely LTL, CTL, and CTL*. Moreover, we also deal with a hybrid extension of CTL*. Expressiveness and complexity results are investigated within a framework that combines these temporal logics and ontology query languages to compare ontology versions.

http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0031.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

BDBComp - Biblioteca Digital Brasileira de Computação
BDBComp
Parceria:
SBC
Iuri Fernandes QueirozLuis Henrique BustamanteAna Teresa MartinsJoão Alcântara

Ontology versioning is concerned with problems that arise from the management of different ontology versions. An ontology version space is here considered as a structure that reflects the transition relation between versions of the same ontology. We will represent it as a finite connected directed graph with vertices corresponding to ontology versions, and arcs to a direct transition between them. If we want to compare different versions of an ontology, it should be necessary a formalism able to reason on the ontology version space. We consider temporal logics to describe the sequence of versions without explicitly mentioning time. Here we use the main temporal logics, namely LTL, CTL, and CTL*. Moreover, we also deal with a hybrid extension of CTL*. Expressiveness and complexity results are investigated within a framework that combines these temporal logics and ontology query languages to compare ontology versions.

http://www.lbd.dcc.ufmg.br/colecoes/eniac/2014/0031.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD