Documents Towards a Reference Terminology for Talking about Ontologies and Related Artifacts

* Towards a Reference Terminology for Talking about Ontologies and Related Artifacts Barry Smith http://ontology.buffalo.edu/smith with thanks to Werner Ceusters, Waclaw…

Documents Frama c Acsl Implementation

ACSL Version 1.8 Implementation in Neon-20140301 ACSL: ANSI/ISO C Specification Language Version 1.8 � Neon-20140301 Patrick Baudin 1 , Pascal Cuoq 1 , Jean-Christophe…

Documents What is an ontology? Barry Smith 1.

What is an ontology? Barry Smith http://ontology.buffalo.edu/smith * You’re interested in which genes control heart muscle development 17,536 results * Microarray data…