Blog talk:Formal theory, finite model and DL reasoner/Second Statement/c000011 - Ontolog Forum

Ontolog Forum

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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"