Formalising Phylogenetic Experiments: Ontologies and Logical Inference.
Ross D. KingLarisa N. SoldatovaPublished in: AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering (2008)
Keyphrases
- logical inference
- theorem proving
- semantic web
- knowledge base
- logical structure
- probabilistic inference
- knowledge representation
- domain ontology
- knowledge compilation
- semi automatic
- databases
- domain specific
- phylogenetic trees
- horizontal gene transfer
- semantic relations
- knowledge based systems
- relational databases
- metadata
- machine learning