Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
owl_reasoners_via_owlapi [2013/02/04 12:20] – tenorthowl_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_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 25: Line 27:
  
  
- +  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_manager(OWLManager), owlapi_datafactory(OWLManager, DataFactory), owlapi_new_ontology('http://ias.cs.tum.edu/kb/knowrob.owl', OWLManager, OWLOntology). +  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). 
-  +   
- owlapi_reasoner_hermit($OWLOntology, Reasoner). +  owlapi_reasoner_hermit($OWLOntology, Reasoner). 
-  +   
- owlapi_subClassOf(Sub, 'http://ias.cs.tum.edu/kb/knowrob_owlapi_test.owl#CreateLiquid').+  owlapi_subClassOf(Sub, 'http://ias.cs.tum.edu/kb/knowrob_owlapi_test.owl#CreateLiquid').