@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://copia.ogbuji.net/files/FuXi/test/>.

<> <http://purl.org/dc/elements/1.1/title>
 "FuXi Reasoning Example".

:DaPonteOperaOfMozart a owl:Class;
    owl:oneOf (
        :Nozze_di_Figaro
        :Don_Giovanni
        :Cosi_fan_tutte
    ).
    
:LivingBeing a owl:Class;
    owl:unionOf (
        :Plant 
        :Animal
    ).

:Lion a :Animal.
#The following inference should be triggered by the above statement:
#{:Lion a :Animal.} => {:Lion a :LivingBeing}