Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
owl_reasoners_via_owlapi [2013/02/04 12:20] – tenorth | owl_reasoners_via_owlapi [2014/06/05 11:38] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 13: | Line 13: | ||
| | ||
% create OWLAPI interfaces: ontology manager, data factory, create empty ontology | % create OWLAPI interfaces: ontology manager, data factory, create empty ontology | ||
- | owlapi_manager(OWLManager), | + | owlapi_manager(OWLManager), |
+ | | ||
+ | | ||
% copy class taxonomy to the OWLAPI ontology | % copy class taxonomy to the OWLAPI ontology | ||
Line 27: | Line 29: | ||
owl_parse(' | owl_parse(' | ||
- | owlapi_manager(OWLManager), | + | owlapi_manager(OWLManager), |
+ | | ||
+ | | ||
| | ||
findall(Res, | findall(Res, |