consistent021.rdf
来自「jena2.5.4推理机系统的一种最基本实现 HP实验室出品」· RDF 代码 · 共 184 行
RDF
184 行
<!--++ description-logic/consistent021.rdf ** generated by SKB ++--><!--++ Created Tue Feb 25 15:57:04 2003 ++--><!-- Copyright World Wide Web Consortium, (Massachusetts Institute of Technology, European Research Consortium for Informatics and Mathematics, Keio University). All Rights Reserved. Please see the full Copyright clause at <http://www.w3.org/Consortium/Legal/copyright-software.html> $Id: consistent021.rdf,v 1.4 2003/05/14 22:32:01 jcarroll Exp $--><!--DL Test: t3a.2There are 7,770 possible partitions in the unsatisfiable case--><!-- Author: Sean Bechhofer --><rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/consistent021" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Satisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">5</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Satisfiable"/> </rdf:Description></rdf:RDF>⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?