OntCheck: an ontology-driven static correctness checking tool for component-based models

DOI10.1155/2013/934349zbMath1267.68228OpenAlexW2052190196WikidataQ59007025 ScholiaQ59007025MaRDI QIDQ2375721

Xi Lin, Hehua Zhang, Ming Gu

Publication date: 14 June 2013

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/934349

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

OntCheck

Uses Software

• Simulink
• Pellet
• Ptolemy
• swrl
• Protege

Cites Work

• Tractable constraints in finite semilattices
• Unnamed Item
• Unnamed Item
• Unnamed Item