онтология петрология petrology formal knowledge ontology classification algorithm formal theory formal definition формальная онтология конечные модели fol формальная теория finite labeled graph program semantics program syntax context-free grammar attributed graph program construction graph structure wikipedia category owl 2 owl
Ver mais