premises206.rdf

来自「Jena推理机」· RDF 代码 · 共 1,528 行 · 第 1/5 页

                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C148"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C152">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C144"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C150"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C154">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C152"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C156">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C154"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C158">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C156"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C160">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C162">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C160"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C164">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C166">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C164"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C168">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C162"/>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C166"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C170">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C172">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C170"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C174">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C168"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C172"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C176">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C178">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/>
                <owl:someValuesFrom>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C176"/>
                </owl:someValuesFrom>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#C180">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C174"/>
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Class rdf:about="http://oiled.man.example.net/test#C178"/>
                        </owl:complementOf>
                    </owl:Class>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:about="http://oiled.man.example.net/test#TEST">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C158"/>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C180"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#R1"/>
    <owl:Thing rdf:about="http://oiled.man.example.net/test#V21026">
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#TEST"/>
        </rdf:type>
        <rdf:type>
            <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C178"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C98"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C54"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C28"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C172"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C166"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C162"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C150"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>
            <owl:Class>
                <owl:complementOf>
                    <owl:Class rdf:about="http://oiled.man.example.net/test#C144"/>
                </owl:complementOf>
            </owl:Class>
        </rdf:type>
        <rdf:type>