public DatalogProgram createDatalog ( OWLOntology onto ) { for ( OWLAxiom axiom : onto . getAxioms ( ) ) { if ( axiom . getAxiomType ( ) . equals ( AxiomType . SWRL_RULE ) ) { SWRLRule rule = ( SWRLRule ) axiom ; rule . accept ( this ) ; if ( notSupported ) { log . warn ( "Not Supported Translation of: " + errors ) ; errors . clear ( ) ; } } } DatalogProgram dp = datalogFactory . getDatalogProgram ( ) ; dp . appendRule ( facts ) ; return dp ; }
Translate the swrl_rules contained in the ontology Return a datalog program containing the supported datalog facts