Towards Ontological Correctness of Part-whole Relations with Dependent Types.

Richard Dapoigny Patrick Barlatier

Published in: FOIS (2010)

Keyphrases

database
artificial intelligence
real time
search engine
knowledge base
multiscale
search algorithm
knowledge management
background knowledge
temporal relations
conceptual modeling
conceptual structures