Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
owl_reasoners_via_owlapi [2013/02/04 12:20] – tenorthowl_reasoners_via_owlapi [2013/02/04 14:04] – tenorth
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_datafactory(OWLManager, DataFactory), owlapi_new_ontology('http://ias.cs.tum.edu/kb/knowrob.owl', OWLManager, OWLOntology).+  owlapi_manager(OWLManager), 
 +  owlapi_datafactory(OWLManager, DataFactory),  
 +  owlapi_new_ontology('http://ias.cs.tum.edu/kb/knowrob.owl', OWLManager, OWLOntology).
        
   % copy class taxonomy to the OWLAPI ontology   % copy class taxonomy to the OWLAPI ontology
Line 27: Line 29:
   owl_parse('owl/knowrob_owlapi_test.owl', false, false, true), consult('prolog/owlapi.pl').   owl_parse('owl/knowrob_owlapi_test.owl', false, false, true), consult('prolog/owlapi.pl').
        
-  owlapi_manager(OWLManager), owlapi_datafactory(OWLManager, DataFactory), owlapi_new_ontology('http://ias.cs.tum.edu/kb/knowrob.owl', OWLManager, OWLOntology).+  owlapi_manager(OWLManager),  
 +  owlapi_datafactory(OWLManager, DataFactory),  
 +  owlapi_new_ontology('http://ias.cs.tum.edu/kb/knowrob.owl', OWLManager, OWLOntology).
      
   findall(Res, add_to_ontology($OWLManager, $DataFactory, $OWLOntology, Res), _ResS).   findall(Res, add_to_ontology($OWLManager, $DataFactory, $OWLOntology, Res), _ResS).