Actions

Ontolog Forum

Revision as of 12:34, 23 February 2018 by 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://...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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:

Retrieved from "https://ontologforum.com/index.php?title=Blog_talk:Formal_theory,_finite_model_and_DL_reasoner/Second_Statement/c000011&oldid=3604"