OWL
OWL DLは記述論理formula_1に基づいている。その部分集合であるOWL Liteはより表現力の小さい論理formula_2に基づいている。