Modeling ontology evolution with SetPi

DOI10.1016/j.ins.2013.07.017zbMath1320.68175OpenAlexW1968235900MaRDI QIDQ497901

Rong Fan, Hongji Yang, Lei Liu, Rui Zhang, Peng 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)

Related Items (1)

Modeling ontology evolution via pi-calculus

Uses Software

• ContentCVS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• A calculus for cryptographic protocols: The spi calculus
• Towards Ontology Evolution in Physics

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