RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker.

Mahdi Gueffaz Sylvain Rampacek Christophe Nicolle

Published in: DICTAP (2) (2011)

Keyphrases

semantic web
model checker
model checking
graph databases
formal specification
formal verification
rdf triples
natural language
formal methods
rdf data
data mining
data model
rdf graphs
description language
test suite
binary decision diagrams