Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.

Richard Dapoigny Patrick Barlatier

Published in: ER (2009)

Keyphrases

modeling method
model driven
real world
decision support
real time
neural network
artificial intelligence
information systems
three dimensional
software development
petri net
modeling framework