⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 inconsistent3.rdf

📁 Jena推理机
💻 RDF
字号:
<?xml version='1.0' encoding='ISO-8859-1'?>

<!DOCTYPE rdf:RDF [
    <!ENTITY xsd  'http://www.w3.org/2001/XMLSchema#'>
]>

<!--
    A p value on a class with max(p,0).
    Three dp values on a class with max(dp,2).
  -->

<rdf:RDF
  xmlns:rdf ="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:dc  ="http://purl.org/dc/elements/1.1/"
  xmlns:owl ="http://www.w3.org/2002/07/owl#"
  xmlns     ="http://jena.hpl.hp.com/testing/reasoners/owl#"
  xml:base  ="http://jena.hpl.hp.com/testing/reasoners/owl"
>
   
   	<owl:Thing rdf:ID="it1" />
   	<owl:Thing rdf:ID="it2" />
   	
    <A rdf:ID="ia">
    	<dp rdf:datatype="&xsd;int">1</dp>
    	<dp rdf:datatype="&xsd;int">2</dp>
    	<dp rdf:datatype="&xsd;int">3</dp>
    </A>
    
    <B rdf:ID="ib">
        <p rdf:resource="#it1" />
    </B>
    
</rdf:RDF>

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -