Modeling ontology evolution with SetPi

DOI10.1016/J.INS.2013.07.017zbMATH Open1320.68175OpenAlexW1968235900MaRDI QIDQ497901FDOQ497901

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

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

zbMATH Keywords

modelingpi-calculusformalizationontology evolution

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Modular reuse of ontologies: theory and practice
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Title not available (Why is that?)
• A calculus for cryptographic protocols: The spi calculus
• Towards Ontology Evolution in Physics
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Modeling ontology evolution via pi-calculus

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)