Actions

Blog talk:Formal theory, finite model and DL reasoner/Initial Statement/c000016: 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.

6 July 2018

  • curprev 12:2212:22, 6 July 2018‎ imported>HensonGraves‎ 2,220 bytes +2,220‎ New comment by HensonGraves: 1. Correct Use of Axiom sets in engineering modeling. The semantics of a descriptive model (axiom set) is defined by its interpretative semantics. The use of inference to reaso...
Retrieved from "https://ontologforum.com/index.php/Blog_talk:Formal_theory,_finite_model_and_DL_reasoner/Initial_Statement/c000016"