Blog talk:Formal theory, finite model and DL reasoner/Second Statement/c000011: Difference between revisions
Ontolog Forum
imported>Ashkotin (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://...) |
(No difference)
|
Latest revision as of 12:34, 23 February 2018
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://www.w3.org/TR/owl2-primer/#Appendix:_The_Complete_Sample_Ontology Should we think that whole this ontology is an axiom set? Template:Wl-comment: