@prefix : <http://introspector.sf.net/2003/08/arrowclass.owl#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .


# logic    
    this     log:forAll :id1,
                :id2 .
    {
        :id1     :has-subclass :id2 .
        
        }     log:implies {:id2     rdfs:subClassOf :id1 .
        } .

#data
    :ApplyToGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :Arrow     :has-subclass :ConcreteArrow,
                :EquationalArrow,
                :MonoidArrow;
         rdfs:subClassOf :ArrowStub .
    
    :ArrowFrame     rdfs:subClassOf :ArrowStub .
    
    :ArrowGraph     :has-subclass :ArrowGraphMain,
                :SetOpsGraph;
         rdfs:subClassOf :ArrowStub .
    
    :ArrowGraphMain     :has-subclass :ApplyToGraph,
                :BinaryOperatorGraph,
                :CategoryGraph,
                :EpsilonGraph,
                :FilteredObjectGraph,
                :FilteredOverGraph,
                :InductionGraph,
                :MetaFrameGraph,
                :MetaGraphGraph,
                :MetaObjectGraph,
                :MonoidGraph,
                :PluggableGraph,
                :RSTGraph,
                :SingletonGraph,
                :TopOrBottomGraph;
         rdfs:subClassOf :ArrowGraph .
    
    :ArrowInteractor     rdfs:subClassOf :Object .
    
    :ArrowStub     :has-subclass :Arrow,
                :ArrowFrame,
                :ArrowGraph;
         rdfs:subClassOf :Object .
    
    :AssertionGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :BinaryOperatorGraph     :has-subclass :GraphLeftConjugateGraph,
                :GraphLeftQuotientGraph,
                :GraphRightConjugateGraph,
                :GraphRightQuotientGraph,
                :RelDisjointSumGraph,
                :RelJoinGraph,
                :RelProductGraph,
                :RelSplitGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :CategoryGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :ClassInstanceGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :ClassSubclassGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :ClosureResultGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :CompositionGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :ConcreteArrow     rdfs:subClassOf :Arrow .
    
    :EmptyGraph     rdfs:subClassOf :TopOrBottomGraph .
    
    :EpsilonGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :EquationalArrow     rdfs:subClassOf :Arrow .
    
    :FilteredGraph     rdfs:subClassOf :MetaGraphGraph .
    
    :FilteredObjectGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :FilteredOverGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :GraphLeftConjugateGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :GraphLeftQuotientGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :GraphRightConjugateGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :GraphRightQuotientGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :HeadGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :IdentityGraph     rdfs:subClassOf :MetaGraphGraph .
    
    :InductionGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :IntersectionGraph     rdfs:subClassOf :SetOpsGraph .
    
    :InversionGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :InvertedGraph     rdfs:subClassOf :MetaGraphGraph .
    
    :MessageSend     :has-subclass :SafeMessageSend .
    
    :MetaFrameGraph     :has-subclass :AssertionGraph,
                :CompositionGraph,
                :HeadGraph,
                :InversionGraph,
                :SquareGraph,
                :TailGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :MetaGraphGraph     :has-subclass :FilteredGraph,
                :IdentityGraph,
                :InvertedGraph,
                :ProjectionGraph,
                :TransitiveClosureGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :MetaObjectGraph     :has-subclass :ClassInstanceGraph,
                :ClassSubclassGraph,
                :ClosureResultGraph,
                :ObjectInstVarGraph,
                :PartialClosureResultGraph,
                :PluggableObjectGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :MonoidArrow     :has-subclass :WrapperArrow;
         rdfs:subClassOf :Arrow .
    
    :MonoidGraph     :has-subclass :ObjectGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :Object     :has-subclass :ArrowInteractor,
                :ArrowStub,
                :Reference .
    
    :ObjectGraph     rdfs:subClassOf :MonoidGraph .
    
    :ObjectInstVarGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :PartialClosureResultGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :PluggableGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :PluggableObjectGraph     rdfs:subClassOf :MetaObjectGraph .
    
    :ProjectionGraph     rdfs:subClassOf :MetaGraphGraph .
    
    :RSTGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :Reference     :has-subclass :SuspendedReference,
                :ValueReference;
         rdfs:subClassOf :Object .
    
    :RelDisjointSumGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :RelJoinGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :RelProductGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :RelSplitGraph     rdfs:subClassOf :BinaryOperatorGraph .
    
    :SafeMessageSend     rdfs:subClassOf :MessageSend .
    
    :SetOpsGraph     :has-subclass :IntersectionGraph,
                :UnionGraph;
         rdfs:subClassOf :ArrowGraph .
    
    :SingletonGraph     rdfs:subClassOf :ArrowGraphMain .
    
    :SquareGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :SuspendedReference     rdfs:subClassOf :Reference .
    
    :TailGraph     rdfs:subClassOf :MetaFrameGraph .
    
    :TopGraph     rdfs:subClassOf :TopOrBottomGraph .
    
    :TopOrBottomGraph     :has-subclass :EmptyGraph,
                :TopGraph;
         rdfs:subClassOf :ArrowGraphMain .
    
    :TransitiveClosureGraph     rdfs:subClassOf :MetaGraphGraph .
    
    :UnionGraph     rdfs:subClassOf :SetOpsGraph .
    
    :ValueReference     rdfs:subClassOf :Reference .
    
    :WrapperArrow     rdfs:subClassOf :MonoidArrow .
    
#ENDS