<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY c "http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#" >
]>


<rdf:RDF xmlns="http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#"
     xml:base="http://www.semanticweb.org/yzhao30/ontologies/2015/7/c"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:c="http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/yzhao30/ontologies/2015/7/c">
        <rdfs:comment>ISO/IEC 9899:2011
Information technology -- Programming languages -- C

http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=57853</rdfs:comment>
        <owl:versionIRI rdf:resource="http://www.semanticweb.org/yzhao30/ontologies/2015/7/c/1.0.0"/>
    </owl:Ontology>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#access -->

    <owl:ObjectProperty rdf:about="&c;access">
        <rdfs:comment>function relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#accessedBy -->

    <owl:ObjectProperty rdf:about="&c;accessedBy">
        <rdfs:comment>variable relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#after -->

    <owl:ObjectProperty rdf:about="&c;after">
        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#allocate -->

    <owl:ObjectProperty rdf:about="&c;allocate">
        <owl:inverseOf rdf:resource="&c;allocatedBy"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#allocatedBy -->

    <owl:ObjectProperty rdf:about="&c;allocatedBy">
        <rdfs:comment>array relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#before -->

    <owl:ObjectProperty rdf:about="&c;before">
        <rdf:type rdf:resource="&owl;TransitiveProperty"/>
        <owl:inverseOf rdf:resource="&c;after"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#call -->

    <owl:ObjectProperty rdf:about="&c;call"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#calledBy -->

    <owl:ObjectProperty rdf:about="&c;calledBy">
        <owl:inverseOf rdf:resource="&c;call"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#consistsOf -->

    <owl:ObjectProperty rdf:about="&c;consistsOf"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#deallocatedBy -->

    <owl:ObjectProperty rdf:about="&c;deallocatedBy">
        <rdfs:comment>array relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#declaredBy -->

    <owl:ObjectProperty rdf:about="&c;declaredBy">
        <rdfs:comment>variable relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#definedBy -->

    <owl:ObjectProperty rdf:about="&c;definedBy">
        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasAlignment -->

    <owl:ObjectProperty rdf:about="&c;hasAlignment"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasArgumentExpr -->

    <owl:ObjectProperty rdf:about="&c;hasArgumentExpr"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasArgumentList -->

    <owl:ObjectProperty rdf:about="&c;hasArgumentList"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasArrayBaseType -->

    <owl:ObjectProperty rdf:about="&c;hasArrayBaseType">
        <rdfs:range rdf:resource="&c;Type"/>
        <rdfs:subPropertyOf rdf:resource="&c;hasType"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasArrayRank -->

    <owl:ObjectProperty rdf:about="&c;hasArrayRank">
        <rdfs:comment>?</rdfs:comment>
        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasBaseType -->

    <owl:ObjectProperty rdf:about="&c;hasBaseType">
        <rdfs:subPropertyOf rdf:resource="&c;hasType"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasBody -->

    <owl:ObjectProperty rdf:about="&c;hasBody"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasChild -->

    <owl:ObjectProperty rdf:about="&c;hasChild"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasCondition -->

    <owl:ObjectProperty rdf:about="&c;hasCondition"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasDeclaration -->

    <owl:ObjectProperty rdf:about="&c;hasDeclaration">
        <rdfs:comment>Domain: definition</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasDefinition -->

    <owl:ObjectProperty rdf:about="&c;hasDefinition"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasElseBody -->

    <owl:ObjectProperty rdf:about="&c;hasElseBody"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasExpression -->

    <owl:ObjectProperty rdf:about="&c;hasExpression">
        <rdfs:domain rdf:resource="&c;ExpressionStatement"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasFalseBody -->

    <owl:ObjectProperty rdf:about="&c;hasFalseBody"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasForIncr -->

    <owl:ObjectProperty rdf:about="&c;hasForIncr"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasForInit -->

    <owl:ObjectProperty rdf:about="&c;hasForInit"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasForTest -->

    <owl:ObjectProperty rdf:about="&c;hasForTest"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasHiddenType -->

    <owl:ObjectProperty rdf:about="&c;hasHiddenType">
        <rdfs:subPropertyOf rdf:resource="&c;hasType"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasIndexExp -->

    <owl:ObjectProperty rdf:about="&c;hasIndexExp"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasInitStatement -->

    <owl:ObjectProperty rdf:about="&c;hasInitStatement"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasInitialValue -->

    <owl:ObjectProperty rdf:about="&c;hasInitialValue"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasInitializer -->

    <owl:ObjectProperty rdf:about="&c;hasInitializer"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasKey -->

    <owl:ObjectProperty rdf:about="&c;hasKey">
        <rdfs:comment>case key:</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasLabelRef -->

    <owl:ObjectProperty rdf:about="&c;hasLabelRef"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasLeftOperand -->

    <owl:ObjectProperty rdf:about="&c;hasLeftOperand">
        <rdfs:domain rdf:resource="&c;BinaryOp"/>
        <rdfs:subPropertyOf rdf:resource="&c;hasChild"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasName -->

    <owl:ObjectProperty rdf:about="&c;hasName"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasOperand -->

    <owl:ObjectProperty rdf:about="&c;hasOperand">
        <rdfs:subPropertyOf rdf:resource="&c;hasChild"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasOperator -->

    <owl:ObjectProperty rdf:about="&c;hasOperator">
        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasParameter -->

    <owl:ObjectProperty rdf:about="&c;hasParameter"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasParameterDeclList -->

    <owl:ObjectProperty rdf:about="&c;hasParameterDeclList">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:comment>function relation</rdfs:comment>
        <rdfs:domain rdf:resource="&c;FunctionType"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasParameterList -->

    <owl:ObjectProperty rdf:about="&c;hasParameterList"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasParent -->

    <owl:ObjectProperty rdf:about="&c;hasParent">
        <owl:inverseOf rdf:resource="&c;hasChild"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasReturnType -->

    <owl:ObjectProperty rdf:about="&c;hasReturnType">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:comment>function relation</rdfs:comment>
        <rdfs:domain rdf:resource="&c;FunctionType"/>
        <rdfs:range rdf:resource="&c;Type"/>
        <rdfs:subPropertyOf rdf:resource="&c;hasType"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasRightOperand -->

    <owl:ObjectProperty rdf:about="&c;hasRightOperand">
        <rdfs:domain rdf:resource="&c;BinaryOp"/>
        <rdfs:subPropertyOf rdf:resource="&c;hasChild"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasScope -->

    <owl:ObjectProperty rdf:about="&c;hasScope"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasSelector -->

    <owl:ObjectProperty rdf:about="&c;hasSelector"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasSize -->

    <owl:ObjectProperty rdf:about="&c;hasSize"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasStatement -->

    <owl:ObjectProperty rdf:about="&c;hasStatement"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasStorageClass -->

    <owl:ObjectProperty rdf:about="&c;hasStorageClass">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:comment>variable relation</rdfs:comment>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasTarget -->

    <owl:ObjectProperty rdf:about="&c;hasTarget"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasTrueBody -->

    <owl:ObjectProperty rdf:about="&c;hasTrueBody"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasType -->

    <owl:ObjectProperty rdf:about="&c;hasType">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:comment>variable relation</rdfs:comment>
        <rdfs:range rdf:resource="&c;Type"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasValue -->

    <owl:ObjectProperty rdf:about="&c;hasValue"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#next -->

    <owl:ObjectProperty rdf:about="&c;next">
        <rdfs:subPropertyOf rdf:resource="&c;after"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#prev -->

    <owl:ObjectProperty rdf:about="&c;prev">
        <rdfs:subPropertyOf rdf:resource="&c;before"/>
        <owl:inverseOf rdf:resource="&c;next"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#read -->

    <owl:ObjectProperty rdf:about="&c;read">
        <rdfs:subPropertyOf rdf:resource="&c;access"/>
        <owl:inverseOf rdf:resource="&c;readBy"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#readBy -->

    <owl:ObjectProperty rdf:about="&c;readBy">
        <rdfs:subPropertyOf rdf:resource="&c;accessedBy"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#referTo -->

    <owl:ObjectProperty rdf:about="&c;referTo">
        <owl:inverseOf rdf:resource="&c;referredBy"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#referredBy -->

    <owl:ObjectProperty rdf:about="&c;referredBy"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#write -->

    <owl:ObjectProperty rdf:about="&c;write">
        <rdfs:subPropertyOf rdf:resource="&c;access"/>
        <owl:inverseOf rdf:resource="&c;writtenBy"/>
    </owl:ObjectProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#writtenBy -->

    <owl:ObjectProperty rdf:about="&c;writtenBy">
        <rdfs:subPropertyOf rdf:resource="&c;accessedBy"/>
    </owl:ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Nth -->

    <owl:DatatypeProperty rdf:about="&c;Nth"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NthArg -->

    <owl:DatatypeProperty rdf:about="&c;NthArg">
        <rdfs:subPropertyOf rdf:resource="&c;Nth"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NthPara -->

    <owl:DatatypeProperty rdf:about="&c;NthPara">
        <rdfs:subPropertyOf rdf:resource="&c;Nth"/>
    </owl:DatatypeProperty>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasName -->

    <owl:DatatypeProperty rdf:about="&c;hasName"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#hasValue -->

    <owl:DatatypeProperty rdf:about="&c;hasValue"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AddAssignOp -->

    <owl:Class rdf:about="&c;AddAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AddOp -->

    <owl:Class rdf:about="&c;AddOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AdditiveOp -->

    <owl:Class rdf:about="&c;AdditiveOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AddressOp -->

    <owl:Class rdf:about="&c;AddressOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
        <rdfs:comment>&amp;</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AndAssignOp -->

    <owl:Class rdf:about="&c;AndAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AndOp -->

    <owl:Class rdf:about="&c;AndOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ArrayDecl -->

    <owl:Class rdf:about="&c;ArrayDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ArraySub -->

    <owl:Class rdf:about="&c;ArraySub">
        <rdfs:subClassOf rdf:resource="&c;PostfixOp"/>
        <rdfs:comment>[]</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ArrayType -->

    <owl:Class rdf:about="&c;ArrayType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ArrowExp -->

    <owl:Class rdf:about="&c;ArrowExp">
        <rdfs:subClassOf rdf:resource="&c;MemberRef"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AssignInitializer -->

    <owl:Class rdf:about="&c;AssignInitializer">
        <rdfs:subClassOf rdf:resource="&c;Initializer"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasInitialValue"/>
                <owl:someValuesFrom rdf:resource="&c;Expression"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AssignOp -->

    <owl:Class rdf:about="&c;AssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AssignStatement -->

    <owl:Class rdf:about="&c;AssignStatement">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#AssignmentOp -->

    <owl:Class rdf:about="&c;AssignmentOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Auto -->

    <owl:Class rdf:about="&c;Auto">
        <owl:equivalentClass>
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="&c;auto"/>
                </owl:oneOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&c;StorageClass"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BasicBlock -->

    <owl:Class rdf:about="&c;BasicBlock">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BasicType -->

    <owl:Class rdf:about="&c;BasicType">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
        <rdfs:comment>Because objects of these types can be interpreted as numbers, they will be referred to as arithmetic types.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BinaryOp -->

    <owl:Class rdf:about="&c;BinaryOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
        <rdfs:comment>overlap</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BitwiseANDOp -->

    <owl:Class rdf:about="&c;BitwiseANDOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BitwiseOROp -->

    <owl:Class rdf:about="&c;BitwiseOROp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BitwiseShiftOp -->

    <owl:Class rdf:about="&c;BitwiseShiftOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BitwiseXOROp -->

    <owl:Class rdf:about="&c;BitwiseXOROp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Block -->

    <owl:Class rdf:about="&c;Block">
        <rdfs:subClassOf rdf:resource="&c;Scope"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BoolType -->

    <owl:Class rdf:about="&c;BoolType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#BreakStatement -->

    <owl:Class rdf:about="&c;BreakStatement">
        <rdfs:subClassOf rdf:resource="&c;JumpStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CProgram -->

    <owl:Class rdf:about="&c;CProgram"/>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CaseOptionStatement -->

    <owl:Class rdf:about="&c;CaseOptionStatement">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CastOp -->

    <owl:Class rdf:about="&c;CastOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CharConst -->

    <owl:Class rdf:about="&c;CharConst">
        <rdfs:subClassOf rdf:resource="&c;Constant"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CharIntConv -->

    <owl:Class rdf:about="&c;CharIntConv">
        <rdfs:subClassOf rdf:resource="&c;Conversion"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CharType -->

    <owl:Class rdf:about="&c;CharType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ClassDeclaration -->

    <owl:Class rdf:about="&c;ClassDeclaration">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CommaOp -->

    <owl:Class rdf:about="&c;CommaOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ComplexType -->

    <owl:Class rdf:about="&c;ComplexType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#CompoundStatement -->

    <owl:Class rdf:about="&c;CompoundStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;consistsOf"/>
                <owl:someValuesFrom rdf:resource="&c;Statement"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment>The body of a function definition is a compound statement.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ConditionalOp -->

    <owl:Class rdf:about="&c;ConditionalOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Const -->

    <owl:Class rdf:about="&c;Const">
        <rdfs:subClassOf rdf:resource="&c;TypeQualifier"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Constant -->

    <owl:Class rdf:about="&c;Constant">
        <rdfs:subClassOf rdf:resource="&c;PrimaryExpr"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ContinueStatement -->

    <owl:Class rdf:about="&c;ContinueStatement">
        <rdfs:subClassOf rdf:resource="&c;JumpStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Conversion -->

    <owl:Class rdf:about="&c;Conversion">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
        <rdfs:comment>change to properties? e.g., convertableTo</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Declaration -->

    <owl:Class rdf:about="&c;Declaration">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
        <rdfs:comment>Declarations specify the interpretation given to each identifier; they do not necessarily reserve storage associated with the identifier. Declarations that reserve storage are called definitions.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DefualtOptionStatement -->

    <owl:Class rdf:about="&c;DefualtOptionStatement">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DerivedType -->

    <owl:Class rdf:about="&c;DerivedType">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DivAssignOp -->

    <owl:Class rdf:about="&c;DivAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DivOp -->

    <owl:Class rdf:about="&c;DivOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DoWhileStatement -->

    <owl:Class rdf:about="&c;DoWhileStatement">
        <rdfs:subClassOf rdf:resource="&c;IterationStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DotExp -->

    <owl:Class rdf:about="&c;DotExp">
        <rdfs:subClassOf rdf:resource="&c;MemberRef"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#DoubleType -->

    <owl:Class rdf:about="&c;DoubleType">
        <rdfs:subClassOf rdf:resource="&c;FloatType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#EnumDecl -->

    <owl:Class rdf:about="&c;EnumDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#EnumType -->

    <owl:Class rdf:about="&c;EnumType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#EnumerationConst -->

    <owl:Class rdf:about="&c;EnumerationConst">
        <rdfs:subClassOf rdf:resource="&c;Constant"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#EqualOp -->

    <owl:Class rdf:about="&c;EqualOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;EqualityOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#EqualityOp -->

    <owl:Class rdf:about="&c;EqualityOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Expression -->

    <owl:Class rdf:about="&c;Expression">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ExpressionList -->

    <owl:Class rdf:about="&c;ExpressionList">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ExpressionStatement -->

    <owl:Class rdf:about="&c;ExpressionStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Extern -->

    <owl:Class rdf:about="&c;Extern">
        <owl:equivalentClass>
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="&c;extern"/>
                </owl:oneOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&c;StorageClass"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ExternalDataDefinition -->

    <owl:Class rdf:about="&c;ExternalDataDefinition">
        <rdfs:subClassOf rdf:resource="&c;ExternalDefinition"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ExternalDefinition -->

    <owl:Class rdf:about="&c;ExternalDefinition">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ExternalFunctionDefinition -->

    <owl:Class rdf:about="&c;ExternalFunctionDefinition">
        <rdfs:subClassOf rdf:resource="&c;ExternalDefinition"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasReturnType"/>
                <owl:onClass rdf:resource="&c;Type"/>
                <owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FloatDoubleCharIntConv -->

    <owl:Class rdf:about="&c;FloatDoubleCharIntConv">
        <rdfs:subClassOf rdf:resource="&c;Conversion"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FloatDoubleConv -->

    <owl:Class rdf:about="&c;FloatDoubleConv">
        <rdfs:subClassOf rdf:resource="&c;Conversion"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FloatType -->

    <owl:Class rdf:about="&c;FloatType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FloatingConst -->

    <owl:Class rdf:about="&c;FloatingConst">
        <rdfs:subClassOf rdf:resource="&c;Constant"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ForInitStatement -->

    <owl:Class rdf:about="&c;ForInitStatement">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ForStatement -->

    <owl:Class rdf:about="&c;ForStatement">
        <rdfs:subClassOf rdf:resource="&c;IterationStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionCall -->

    <owl:Class rdf:about="&c;FunctionCall">
        <rdfs:subClassOf rdf:resource="&c;PostfixOp"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;call"/>
                <owl:someValuesFrom rdf:resource="&c;Expression"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasArgumentExpr"/>
                <owl:someValuesFrom rdf:resource="&c;Expression"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionDecl -->

    <owl:Class rdf:about="&c;FunctionDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasParameter"/>
                <owl:someValuesFrom rdf:resource="&c;Variable"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasScope"/>
                <owl:someValuesFrom rdf:resource="&c;Scope"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasDefinition"/>
                <owl:someValuesFrom rdf:resource="&c;FunctionDefinition"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasType"/>
                <owl:someValuesFrom rdf:resource="&c;Type"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionDefinition -->

    <owl:Class rdf:about="&c;FunctionDefinition">
        <rdfs:subClassOf rdf:resource="&c;CompoundStatement"/>
        <rdfs:subClassOf rdf:resource="&c;Scope"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionParameterList -->

    <owl:Class rdf:about="&c;FunctionParameterList">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionRef -->

    <owl:Class rdf:about="&c;FunctionRef">
        <rdfs:subClassOf rdf:resource="&c;PrimaryExpr"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;referTo"/>
                <owl:someValuesFrom rdf:resource="&c;FunctionDecl"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#FunctionType -->

    <owl:Class rdf:about="&c;FunctionType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#GeqOp -->

    <owl:Class rdf:about="&c;GeqOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;RelationalOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Global -->

    <owl:Class rdf:about="&c;Global">
        <rdfs:subClassOf rdf:resource="&c;ScopeStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#GotoStatement -->

    <owl:Class rdf:about="&c;GotoStatement">
        <rdfs:subClassOf rdf:resource="&c;JumpStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#GreaterOp -->

    <owl:Class rdf:about="&c;GreaterOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;RelationalOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IOStatement -->

    <owl:Class rdf:about="&c;IOStatement">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IfElseStatement -->

    <owl:Class rdf:about="&c;IfElseStatement">
        <rdfs:subClassOf rdf:resource="&c;SelectionStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IfStatement -->

    <owl:Class rdf:about="&c;IfStatement">
        <rdfs:subClassOf rdf:resource="&c;SelectionStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IndirectionOp -->

    <owl:Class rdf:about="&c;IndirectionOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
        <rdfs:comment>*</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Initializer -->

    <owl:Class rdf:about="&c;Initializer">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IntConst -->

    <owl:Class rdf:about="&c;IntConst">
        <rdfs:subClassOf rdf:resource="&c;Constant"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IntType -->

    <owl:Class rdf:about="&c;IntType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#IterationStatement -->

    <owl:Class rdf:about="&c;IterationStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#JumpStatement -->

    <owl:Class rdf:about="&c;JumpStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LabeledStatement -->

    <owl:Class rdf:about="&c;LabeledStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LeqOp -->

    <owl:Class rdf:about="&c;LeqOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;RelationalOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LessOp -->

    <owl:Class rdf:about="&c;LessOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;RelationalOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Library -->

    <owl:Class rdf:about="&c;Library">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ListExp -->

    <owl:Class rdf:about="&c;ListExp">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
        <rdfs:comment>?</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Literal -->

    <owl:Class rdf:about="&c;Literal">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LogicalANDOp -->

    <owl:Class rdf:about="&c;LogicalANDOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LogicalAndOp -->

    <owl:Class rdf:about="&c;LogicalAndOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LogicalNegOp -->

    <owl:Class rdf:about="&c;LogicalNegOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LogicalOROp -->

    <owl:Class rdf:about="&c;LogicalOROp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LogicalOrOp -->

    <owl:Class rdf:about="&c;LogicalOrOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#LongType -->

    <owl:Class rdf:about="&c;LongType">
        <rdfs:subClassOf rdf:resource="&c;IntType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Lvalue -->

    <owl:Class rdf:about="&c;Lvalue">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;referTo"/>
                <owl:someValuesFrom rdf:resource="&c;Variable"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment>An Object is a named region of storage; an lvalue is an expression referring to an object.</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#MemberRef -->

    <owl:Class rdf:about="&c;MemberRef">
        <rdfs:subClassOf rdf:resource="&c;PostfixOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ModAssignOp -->

    <owl:Class rdf:about="&c;ModAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ModOp -->

    <owl:Class rdf:about="&c;ModOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#MulAssignOp -->

    <owl:Class rdf:about="&c;MulAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#MulOp -->

    <owl:Class rdf:about="&c;MulOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#MultiplicativeOp -->

    <owl:Class rdf:about="&c;MultiplicativeOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NeqOp -->

    <owl:Class rdf:about="&c;NeqOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
        <rdfs:subClassOf rdf:resource="&c;EqualityOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NullExpr -->

    <owl:Class rdf:about="&c;NullExpr">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NullPointerType -->

    <owl:Class rdf:about="&c;NullPointerType">
        <rdfs:subClassOf rdf:resource="&c;PointerType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#NullStatement -->

    <owl:Class rdf:about="&c;NullStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#OnesComplementOp -->

    <owl:Class rdf:about="&c;OnesComplementOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
        <rdfs:comment>?</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#OrAssignOp -->

    <owl:Class rdf:about="&c;OrAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#OrOp -->

    <owl:Class rdf:about="&c;OrOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Parameter -->

    <owl:Class rdf:about="&c;Parameter">
        <rdfs:subClassOf rdf:resource="&c;Variable"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PointerDecl -->

    <owl:Class rdf:about="&c;PointerDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PointerIntConv -->

    <owl:Class rdf:about="&c;PointerIntConv">
        <rdfs:subClassOf rdf:resource="&c;Conversion"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PointerType -->

    <owl:Class rdf:about="&c;PointerType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PostfixDecrementOp -->

    <owl:Class rdf:about="&c;PostfixDecrementOp">
        <rdfs:subClassOf rdf:resource="&c;PostfixOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PostfixIncrementOp -->

    <owl:Class rdf:about="&c;PostfixIncrementOp">
        <rdfs:subClassOf rdf:resource="&c;PostfixOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PostfixOp -->

    <owl:Class rdf:about="&c;PostfixOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PrefixDecrementOp -->

    <owl:Class rdf:about="&c;PrefixDecrementOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PrefixIncrementOp -->

    <owl:Class rdf:about="&c;PrefixIncrementOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PrefixMinusOp -->

    <owl:Class rdf:about="&c;PrefixMinusOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PrefixPlusOp -->

    <owl:Class rdf:about="&c;PrefixPlusOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#PrimaryExpr -->

    <owl:Class rdf:about="&c;PrimaryExpr">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
        <rdfs:comment>Primary expressions are identifiers, constants, strings, or expressions in parentheses.
primary-expression 
identifier 
constant
string 
(expression)</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ReferenceType -->

    <owl:Class rdf:about="&c;ReferenceType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Register -->

    <owl:Class rdf:about="&c;Register">
        <owl:equivalentClass>
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="&c;register"/>
                </owl:oneOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&c;StorageClass"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#RelationalOp -->

    <owl:Class rdf:about="&c;RelationalOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
        <rdfs:comment>? model as individual or subclass</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ReturnStatement -->

    <owl:Class rdf:about="&c;ReturnStatement">
        <rdfs:subClassOf rdf:resource="&c;JumpStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Scope -->

    <owl:Class rdf:about="&c;Scope">
        <owl:equivalentClass rdf:resource="&c;ScopeStatement"/>
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ScopeStatement -->

    <owl:Class rdf:about="&c;ScopeStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#SelectionStatement -->

    <owl:Class rdf:about="&c;SelectionStatement">
        <rdfs:subClassOf rdf:resource="&c;Statement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ShlAssignOp -->

    <owl:Class rdf:about="&c;ShlAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ShlOp -->

    <owl:Class rdf:about="&c;ShlOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ShortType -->

    <owl:Class rdf:about="&c;ShortType">
        <rdfs:subClassOf rdf:resource="&c;IntType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ShrAssignOp -->

    <owl:Class rdf:about="&c;ShrAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ShrOp -->

    <owl:Class rdf:about="&c;ShrOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Signed -->

    <owl:Class rdf:about="&c;Signed">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#SizeofOp -->

    <owl:Class rdf:about="&c;SizeofOp">
        <rdfs:subClassOf rdf:resource="&c;UnaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Statement -->

    <owl:Class rdf:about="&c;Statement">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Static -->

    <owl:Class rdf:about="&c;Static">
        <owl:equivalentClass>
            <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="&c;static"/>
                </owl:oneOf>
            </owl:Class>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&c;StorageClass"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#StorageClass -->

    <owl:Class rdf:about="&c;StorageClass">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#String -->

    <owl:Class rdf:about="&c;String">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#StringLiteral -->

    <owl:Class rdf:about="&c;StringLiteral">
        <rdfs:subClassOf rdf:resource="&c;PrimaryExpr"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#StructureType -->

    <owl:Class rdf:about="&c;StructureType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#StructureUnionDecl -->

    <owl:Class rdf:about="&c;StructureUnionDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#SubAssignOp -->

    <owl:Class rdf:about="&c;SubAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#SubOp -->

    <owl:Class rdf:about="&c;SubOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#SwitchStatement -->

    <owl:Class rdf:about="&c;SwitchStatement">
        <rdfs:subClassOf rdf:resource="&c;SelectionStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateClassDeclaration -->

    <owl:Class rdf:about="&c;TemplateClassDeclaration">
        <rdfs:subClassOf rdf:resource="&c;ClassDeclaration"/>
        <rdfs:subClassOf rdf:resource="&c;TemplateDeclaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateClassInstantiationDeclaration -->

    <owl:Class rdf:about="&c;TemplateClassInstantiationDeclaration">
        <rdfs:subClassOf rdf:resource="&c;ClassDeclaration"/>
        <rdfs:subClassOf rdf:resource="&c;TemplateInstantiation"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateDeclaration -->

    <owl:Class rdf:about="&c;TemplateDeclaration">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateFunctionDeclaration -->

    <owl:Class rdf:about="&c;TemplateFunctionDeclaration">
        <rdfs:subClassOf rdf:resource="&c;FunctionDecl"/>
        <rdfs:subClassOf rdf:resource="&c;TemplateDeclaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateFunctionInstantiationDeclaration -->

    <owl:Class rdf:about="&c;TemplateFunctionInstantiationDeclaration">
        <rdfs:subClassOf rdf:resource="&c;FunctionDecl"/>
        <rdfs:subClassOf rdf:resource="&c;TemplateInstantiation"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TemplateInstantiation -->

    <owl:Class rdf:about="&c;TemplateInstantiation">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Type -->

    <owl:Class rdf:about="&c;Type">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TypeQualifier -->

    <owl:Class rdf:about="&c;TypeQualifier">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#TypedefDecl -->

    <owl:Class rdf:about="&c;TypedefDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#UnaryOp -->

    <owl:Class rdf:about="&c;UnaryOp">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#UnionType -->

    <owl:Class rdf:about="&c;UnionType">
        <rdfs:subClassOf rdf:resource="&c;DerivedType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#UnknownClass -->

    <owl:Class rdf:about="&c;UnknownClass">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#UnknownType -->

    <owl:Class rdf:about="&c;UnknownType">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Unsigned -->

    <owl:Class rdf:about="&c;Unsigned">
        <rdfs:subClassOf rdf:resource="&c;Type"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Unsorted -->

    <owl:Class rdf:about="&c;Unsorted">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Value -->

    <owl:Class rdf:about="&c;Value">
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
        <rdfs:comment>SgXXXVal = constant?</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Variable -->

    <owl:Class rdf:about="&c;Variable">
        <rdfs:subClassOf rdf:resource="&c;CProgram"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasType"/>
                <owl:someValuesFrom rdf:resource="&c;Type"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasStorageClass"/>
                <owl:someValuesFrom rdf:resource="&c;StorageClass"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasScope"/>
                <owl:someValuesFrom rdf:resource="&c;Scope"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;definedBy"/>
                <owl:someValuesFrom rdf:resource="&c;Declaration"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;declaredBy"/>
                <owl:someValuesFrom rdf:resource="&c;Declaration"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasInitializer"/>
                <owl:someValuesFrom rdf:resource="&c;Initializer"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasSize"/>
                <owl:someValuesFrom rdf:resource="&c;Literal"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;hasName"/>
                <owl:someValuesFrom rdf:resource="&c;Literal"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:comment>synonyms: object
named location of storage</rdfs:comment>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#VariableDecl -->

    <owl:Class rdf:about="&c;VariableDecl">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#VariableDefinition -->

    <owl:Class rdf:about="&c;VariableDefinition">
        <rdfs:subClassOf rdf:resource="&c;Declaration"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#VariableRef -->

    <owl:Class rdf:about="&c;VariableRef">
        <rdfs:subClassOf rdf:resource="&c;PrimaryExpr"/>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="&c;referTo"/>
                <owl:someValuesFrom rdf:resource="&c;Variable"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#VoidType -->

    <owl:Class rdf:about="&c;VoidType">
        <rdfs:subClassOf rdf:resource="&c;BasicType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#Volatile -->

    <owl:Class rdf:about="&c;Volatile">
        <rdfs:subClassOf rdf:resource="&c;TypeQualifier"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#WCharType -->

    <owl:Class rdf:about="&c;WCharType">
        <rdfs:subClassOf rdf:resource="&c;CharType"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#WhileStatement -->

    <owl:Class rdf:about="&c;WhileStatement">
        <rdfs:subClassOf rdf:resource="&c;IterationStatement"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#XorAssignOp -->

    <owl:Class rdf:about="&c;XorAssignOp">
        <rdfs:subClassOf rdf:resource="&c;AssignmentOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#XorOp -->

    <owl:Class rdf:about="&c;XorOp">
        <rdfs:subClassOf rdf:resource="&c;BinaryOp"/>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#isAssignedTo -->

    <owl:Class rdf:about="&c;isAssignedTo">
        <rdfs:subClassOf rdf:resource="&c;Expression"/>
        <rdfs:subClassOf rdf:resource="&c;Unsorted"/>
    </owl:Class>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#array_type -->

    <owl:NamedIndividual rdf:about="&c;array_type">
        <rdf:type rdf:resource="&c;ArrayType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#auto -->

    <owl:NamedIndividual rdf:about="&c;auto">
        <rdf:type rdf:resource="&c;Auto"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#bool -->

    <owl:NamedIndividual rdf:about="&c;bool">
        <rdf:type rdf:resource="&c;BoolType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#char -->

    <owl:NamedIndividual rdf:about="&c;char">
        <rdf:type rdf:resource="&c;CharType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#complex -->

    <owl:NamedIndividual rdf:about="&c;complex">
        <rdf:type rdf:resource="&c;ComplexType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#double -->

    <owl:NamedIndividual rdf:about="&c;double">
        <rdf:type rdf:resource="&c;DoubleType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#enum_type -->

    <owl:NamedIndividual rdf:about="&c;enum_type">
        <rdf:type rdf:resource="&c;EnumType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#extern -->

    <owl:NamedIndividual rdf:about="&c;extern">
        <rdf:type rdf:resource="&c;Extern"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#float -->

    <owl:NamedIndividual rdf:about="&c;float">
        <rdf:type rdf:resource="&c;FloatType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#function_type -->

    <owl:NamedIndividual rdf:about="&c;function_type">
        <rdf:type rdf:resource="&c;FunctionType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#int -->

    <owl:NamedIndividual rdf:about="&c;int">
        <rdf:type rdf:resource="&c;IntType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#long -->

    <owl:NamedIndividual rdf:about="&c;long">
        <rdf:type rdf:resource="&c;LongType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#long_double -->

    <owl:NamedIndividual rdf:about="&c;long_double">
        <rdf:type rdf:resource="&c;DoubleType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#long_long -->

    <owl:NamedIndividual rdf:about="&c;long_long">
        <rdf:type rdf:resource="&c;LongType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#null_pointer -->

    <owl:NamedIndividual rdf:about="&c;null_pointer">
        <rdf:type rdf:resource="&c;NullPointerType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#pointer_type -->

    <owl:NamedIndividual rdf:about="&c;pointer_type">
        <rdf:type rdf:resource="&c;PointerType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#ref_type -->

    <owl:NamedIndividual rdf:about="&c;ref_type">
        <rdf:type rdf:resource="&c;ReferenceType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#register -->

    <owl:NamedIndividual rdf:about="&c;register">
        <rdf:type rdf:resource="&c;Register"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#short -->

    <owl:NamedIndividual rdf:about="&c;short">
        <rdf:type rdf:resource="&c;ShortType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#signed_char -->

    <owl:NamedIndividual rdf:about="&c;signed_char">
        <rdf:type rdf:resource="&c;CharType"/>
        <rdf:type rdf:resource="&c;Signed"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#signed_int -->

    <owl:NamedIndividual rdf:about="&c;signed_int">
        <rdf:type rdf:resource="&c;Signed"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#signed_long -->

    <owl:NamedIndividual rdf:about="&c;signed_long">
        <rdf:type rdf:resource="&c;Signed"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#signed_long_long -->

    <owl:NamedIndividual rdf:about="&c;signed_long_long">
        <rdf:type rdf:resource="&c;Signed"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#signed_short -->

    <owl:NamedIndividual rdf:about="&c;signed_short">
        <rdf:type rdf:resource="&c;Signed"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#static -->

    <owl:NamedIndividual rdf:about="&c;static">
        <rdf:type rdf:resource="&c;Static"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#string -->

    <owl:NamedIndividual rdf:about="&c;string">
        <rdf:type rdf:resource="&c;String"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unknown_modifier -->

    <owl:NamedIndividual rdf:about="&c;unknown_modifier">
        <rdf:type rdf:resource="&c;Unsorted"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unknown_type -->

    <owl:NamedIndividual rdf:about="&c;unknown_type">
        <rdf:type rdf:resource="&c;UnknownType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unsigned_char -->

    <owl:NamedIndividual rdf:about="&c;unsigned_char">
        <rdf:type rdf:resource="&c;Unsigned"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unsigned_int -->

    <owl:NamedIndividual rdf:about="&c;unsigned_int">
        <rdf:type rdf:resource="&c;Unsigned"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unsigned_long -->

    <owl:NamedIndividual rdf:about="&c;unsigned_long">
        <rdf:type rdf:resource="&c;Unsigned"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unsigned_long_long -->

    <owl:NamedIndividual rdf:about="&c;unsigned_long_long">
        <rdf:type rdf:resource="&c;Unsigned"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unsigned_short -->

    <owl:NamedIndividual rdf:about="&c;unsigned_short">
        <rdf:type rdf:resource="&c;Unsigned"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#unspecified -->

    <owl:NamedIndividual rdf:about="&c;unspecified">
        <rdf:type rdf:resource="&c;StorageClass"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#void_type -->

    <owl:NamedIndividual rdf:about="&c;void_type">
        <rdf:type rdf:resource="&c;VoidType"/>
    </owl:NamedIndividual>
    


    <!-- http://www.semanticweb.org/yzhao30/ontologies/2015/7/c#wchar -->

    <owl:NamedIndividual rdf:about="&c;wchar">
        <rdf:type rdf:resource="&c;WCharType"/>
    </owl:NamedIndividual>
    <rdf:Description>
        <rdfs:comment>function relation</rdfs:comment>
    </rdf:Description>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotations
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description rdf:about="http://www.semanticweb.org/yue/ontologies/test1.c#i_decl">
        <rdfs:label>i &apos;int&apos;</rdfs:label>
    </rdf:Description>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // General axioms
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="&c;AddressOp"/>
            <rdf:Description rdf:about="&c;IndirectionOp"/>
            <rdf:Description rdf:about="&c;LogicalNegOp"/>
            <rdf:Description rdf:about="&c;OnesComplementOp"/>
            <rdf:Description rdf:about="&c;PostfixDecrementOp"/>
            <rdf:Description rdf:about="&c;PostfixIncrementOp"/>
            <rdf:Description rdf:about="&c;PrefixDecrementOp"/>
            <rdf:Description rdf:about="&c;PrefixIncrementOp"/>
            <rdf:Description rdf:about="&c;PrefixMinusOp"/>
            <rdf:Description rdf:about="&c;PrefixPlusOp"/>
        </owl:members>
    </rdf:Description>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net -->

