Modeling ontology evolution via pi-calculus

DOI10.1016/J.INS.2016.01.059MaRDI QIDQ1991883zbMATH OpenOpenAlexWikidataFDO

Authors Rui Zhang, Degui Guo, Wen-juan Gao, Lei Liu

Publication date 30 October 2018

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2016.01.059

zbMATH Keywords

ontology evolutionoperational semanticspi-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Knowledge representation (68T30)

Recommendations

• Modeling ontology evolution with SetPi
• SOFSEM 2006: Theory and Practice of Computer Science
• A Versioning and Evolution Framework for RDF Knowledge Bases
• scientific article; zbMATH DE number 1948216
• scientific article; zbMATH DE number 2017873

Cites work

• A calculus for cryptographic protocols: The spi calculus
• Anatomy ontologies for bioinformatics. Principles and practice
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1948209 (Why is no real title available?)
• scientific article; zbMATH DE number 1948216 (Why is no real title available?)
• Modeling ontology evolution with SetPi

Cited in

(2)

• Towards Ontology Evolution in Physics
• Modeling ontology evolution with SetPi

Describes a project that uses

Uses Software

• ContentCVS
• MWB

This page was built for publication: Modeling ontology evolution via pi-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991883)