About: http://dbpedia.org/class/yago/FormalLanguages

Property	Value
rdfs:label	language
rdfs:subClassOf	http://dbpedia.org/class/yago/Language106282651
is rdf:type of	dbpedia:Context-free_grammar dbpedia:Context-sensitive_grammar dbpedia:Kleene_star dbpedia:Chomsky_normal_form dbpedia:Greibach_normal_form dbpedia:Abstract_syntax_tree dbpedia:Myhill–Nerode_theorem dbpedia:Regular_grammar dbpedia:Recursively_enumerable_language dbpedia:Empty_string dbpedia:Linear_grammar dbpedia:Star_height dbpedia:Van_Wijngaarden_grammar dbpedia:Omega_language dbpedia:Generalized_star_height_problem dbpedia:History_monoid dbpedia:Longest_increasing_subsequence dbpedia:Matrix_grammar dbpedia:Metasyntax dbpedia:Mildly_context-sensitive_language dbpedia:Mizar_system dbpedia:Regular_expression dbpedia:Chomsky_hierarchy dbpedia:Pumping_lemma dbpedia:Metacharacter dbpedia:Semi-Thue_system dbpedia:Action_algebra dbpedia:Adaptive_grammar dbpedia:Administrative_normal_form dbpedia:Knuth-Bendix_completion_algorithm dbpedia:Critical_pair dbpedia:Definite_clause_grammar dbpedia:Deterministic_context-free_grammar dbpedia:Extended_Affix_Grammar dbpedia:Finite_thickness dbpedia:Indexed_grammar dbpedia:Kleene_algebra dbpedia:LR-attributed_grammar dbpedia:Language_identification_in_the_limit dbpedia:SCIgen dbpedia:Finite_state_transducer dbpedia:Context-sensitive_language dbpedia:Recursive_language dbpedia:Deterministic_context-free_language dbpedia:Dyck_language dbpedia:Kuroda_normal_form dbpedia:Ambiguous_grammar dbpedia:Abstract_family_of_acceptors dbpedia:Abstract_family_of_languages dbpedia:Syntactic_predicate dbpedia:Top-down_parsing_language dbpedia:Data_exchange_language dbpedia:ECLR-attributed_grammar dbpedia:Indexed_language dbpedia:Intended_interpretation dbpedia:Left_recursion dbpedia:Permutation_automaton dbpedia:Context-free_language dbpedia:Regular_language dbpedia:Attribute_grammar dbpedia:Formal_system dbpedia:L-system dbpedia:Parsing_expression_grammar dbpedia:Syntax_diagram dbpedia:Abstract_semantic_graph dbpedia:Antimatroid dbpedia:Free_semigroup dbpedia:Boolean_grammar dbpedia:Conjunctive_grammar dbpedia:Gellish dbpedia:Gellish_English dbpedia:L-attributed_grammar dbpedia:Language_equation dbpedia:Lexical_grammar dbpedia:Noncontracting_grammar dbpedia:Operator-precedence_grammar dbpedia:Post_canonical_system dbpedia:Quasi-quotation dbpedia:Semantics_encoding dbpedia:Semiautomaton dbpedia:Star-free_language dbpedia:Syntactic_monoid dbpedia:Supercombinator dbpedia:Tell-tale dbpedia:Terminal_yield dbpedia:Trace_monoid dbpedia:Trace_theory dbpedia:Useless_rules dbpedia:Wirth-Weber_precedence_relationship dbpedia:Levi_lemma dbpedia:Picture_language dbpedia:Prefix_grammar dbpedia:Regular_tree_grammar dbpedia:S-attributed_grammar dbpedia:String_operations dbpedia:Strong_generative_capacity dbpedia:Two-level_grammar dbpedia:Unrestricted_grammar dbpedia:Weighted_context-free_grammar dbpedia:Augmented_Backus–Naur_form dbpedia:Bach_language dbpedia:Proper_grammar dbpedia:Omega-regular_language dbpedia:Parser_Grammar_Engine dbpedia:Pumping_lemma_for_context-free_languages dbpedia:Regulated_rewriting dbpedia:Right_quotient dbpedia:Shortest_common_supersequence dbpedia:Simple_precedence_grammar dbpedia:Sparse_language dbpedia:Substitution_instance dbpedia:Unary_language dbpedia:Uniquely_Inversible_Grammar dbpedia:Weak_generative_capacity dbpedia:Backus–Naur_form dbpedia:Pumping_lemma_for_regular_languages dbpedia:Recognizable_language dbpedia:Star_height_problem dbpedia:Stochastic_context-free_grammar dbpedia:Union_of_two_regular_languages dbpedia:Wirth_syntax_notation dbpedia:Erasing_Rules dbpedia:Extended_Backus–Naur_form dbpedia:Stochastic_language dbpedia:Grammar_(formal_language_theory) dbpedia:Word_problem_(computability) dbpedia:Convolution_(computer_science) dbpedia:Normal_form_(term_rewriting) dbpedia:String_(computer_science) dbpedia:Syntax_(logic) dbpedia:Alphabet_(computer_science) dbpedia:Ogden's_lemma dbpedia:Agent_Communications_language dbpedia:Interpretation_(logic) dbpedia:Cone_(formal_languages)