Data Management in Bioinformatics/Scratch Notes

From Wikibooks, open books for an open world
< Data Management in Bioinformatics
Jump to: navigation, search

For a

In a bisimulation, the inverse of relation R must be true.

XML (labeled graph) → RDF (inheritance) [IS A, HAS A] → OWL (semantic language) → DAML (logic) [predicate description logic, closed world assumption, open world assumption]