premises208.rdf
来自「jena2.5.4推理机系统的一种最基本实现 HP实验室出品」· RDF 代码 · 共 1,581 行 · 第 1/5 页
RDF
1,581 行
</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#C8"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V16461"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> </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#C40"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V16462"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V16462"> <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#C52"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> </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#C8"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V16463"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:complementOf> </owl:Class> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> </owl:allValuesFrom> </owl:Restriction> </rdf:type> <oiled:R1 rdf:resource="http://oiled.man.example.net/test#V16464"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V16464"> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> </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#C40"/> </owl:complementOf> </owl:Class> </rdf:type> <rdf:type> <owl:Restriction> ⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?