Semantic Web and its Logical Foundations Serguei Krivov, Ecoinformatics Collaboratory Gund Institute for Ecological Economics, UVM.