Semantic Graph, Gql, Graph Theory, Knowledge, Ontology.
way to describe knowledge for various domains, as taxonomy, semantic graph or descriptive logic. The OWL language is characterized by formal semantic. OWL contains several species (or sub-languages): Light (for taxonomies), Full (for semantic graph, undecidable) and DL (Descriptive Logic for