Use Case: Ontology to Support System Verification Process.

Anne Monceaux Martine Callot

Published in: OWLED (2007)

Keyphrases

domain knowledge
neural network
decision support
semantic web
model checking
data mining
artificial intelligence
relational databases
knowledge representation
development process
metamodel