Modeling ontology evolution with SetPi

DOI10.1016/J.INS.2013.07.017MaRDI QIDQ497901zbMATH OpenOpenAlexFDO

Authors Rong Fan, Hongji Yang, Lei Liu, Peng Zhang, Rui Zhang

Publication date 25 September 2015

Published in Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

modelingpi-calculusformalizationontology evolution

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Modeling ontology evolution via pi-calculus
• A Versioning and Evolution Framework for RDF Knowledge Bases
• Evolution of ontologies using ASP
• SOFSEM 2006: Theory and Practice of Computer Science
• scientific article; zbMATH DE number 1948216

Cites work

• 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?)
• A calculus for cryptographic protocols: The spi calculus
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Modular reuse of ontologies: theory and practice
• Towards Ontology Evolution in Physics

Cited in

(1)

• Modeling ontology evolution via pi-calculus

Describes a project that uses

Uses Software

• ContentCVS

This page was built for publication: Modeling ontology evolution with SetPi

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