Actions

Blog talk:Formal theory, finite model and DL reasoner/Second Statement/c000011: Revision history

View logs for this page

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

23 February 2018

  • curprev 12:3412:34, 23 February 2018‎ imported>Ashkotin‎ 317 bytes +317‎ New comment by Ashkotin: Just to begin, 1) It would be nice to have "John's diagram" in the article or by URL. 2) Is it possible to look at an example of axiom set? Or let's look OWL 2 Primer https://...
Retrieved from "https://ontologforum.com/index.php/Blog_talk:Formal_theory,_finite_model_and_DL_reasoner/Second_Statement/c000011"