Modeling Ontological Structures with Type Classes in Coq.

Richard Dapoigny Patrick Barlatier

Published in: ICCS (2013)

Keyphrases

three dimensional
knowledge representation
formal methods
real time
data sets
information retrieval
metadata
case study
relational databases
multi class
knowledge acquisition
context dependent
structural features
multiple classes