KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Formalising Ontologies and Their Relations
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Ontological Design Patterns: Metadata of Molecular Biological Ontologies, Information and Knowledge
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Hi-index | 0.00 |