tgccmebug.owl

来自「Jena推理机」· OWL 代码 · 共 2,191 行 · 第 1/5 页

OWL
2,191 行
字号
12345
<?xml version="1.0"?>
<!-- Test case which provoked a CME with the transitive reasoner -->
<rdf:RDF
    xmlns:rss="http://purl.org/rss/1.0/"
    xmlns:jms="http://jena.hpl.hp.com/2003/08/jms#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="http://swpatho.ag-nbi.de/context/dmoz_classes.owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:vcard="http://www.w3.org/2001/vcard-rdf/3.0#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xml:base="http://swpatho.ag-nbi.de/context/dmoz_classes.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="Top"/>

  <owl:Class rdf:about="#Mental_Health">
    <rdfs:subClassOf rdf:resource="#Support_Groups"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Health"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Racewalking">
    <rdfs:subClassOf rdf:resource="#Walking"/>
  </owl:Class>
  <owl:Class rdf:ID="Alternative_Medicine">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Animal"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Bolivia">
    <rdfs:subClassOf rdf:resource="#South_America"/>
  </owl:Class>
  <owl:Class rdf:ID="Bridges_and_Tunnels">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Roads_and_Highways"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Crop_Circles">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Paranormal"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Pride_Celebrations">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Gay_Lesbian_and_Bisexual"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Unclaimed_Money">
    <rdfs:subClassOf rdf:resource="#Personal_Finance"/>
  </owl:Class>
  <owl:Class rdf:ID="Information_and_Advice">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Child_Health"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Fathers_Day">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Holidays"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Programmable_Logic">
    <rdfs:subClassOf rdf:resource="#Hardware"/>
  </owl:Class>
  <owl:Class rdf:ID="Urban_Transport">
    <rdfs:subClassOf rdf:resource="#Transportation_and_Logistics"/>
  </owl:Class>
  <owl:Class rdf:ID="Personal_Watercraft_Racing">
    <rdfs:subClassOf rdf:resource="#Motorsports"/>
  </owl:Class>
  <owl:Class rdf:ID="Workweek_Reduction">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Work"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Histology">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Biology"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="BBS_Doors">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Online"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Tajikistan">
    <rdfs:subClassOf rdf:resource="#Asia"/>
  </owl:Class>
  <owl:Class rdf:ID="Cybernetics">
    <rdfs:subClassOf rdf:resource="#Technology"/>
  </owl:Class>
  <owl:Class rdf:ID="Configuration_Management">
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="Mazes">
    <rdfs:subClassOf rdf:resource="#Puzzles"/>
  </owl:Class>
  <owl:Class rdf:ID="Shows_and_Events">
    <rdfs:subClassOf rdf:resource="#Antiques"/>
  </owl:Class>
  <owl:Class rdf:ID="Field_Crops">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Agriculture"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Sexually_Transmitted_Diseases">
    <rdfs:subClassOf rdf:resource="#Reproductive_Health"/>
  </owl:Class>
  <owl:Class rdf:ID="Pizza">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Cooking"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Transportation">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Toys_and_Games"/>
    </rdfs:subClassOf>
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Issues"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Caribbean"/>
    <rdfs:subClassOf rdf:resource="#Technology"/>
    <rdfs:subClassOf rdf:resource="#Europe"/>
    <rdfs:subClassOf rdf:resource="#South_America"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Africa"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Asia"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Museums"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#North_America"/>
    <rdfs:subClassOf rdf:resource="#Central_America"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Oceania"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Middle_East"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Travel"/>
  </owl:Class>
  <owl:Class rdf:ID="Marching">
    <rdfs:subClassOf rdf:resource="#Music"/>
  </owl:Class>
  <owl:Class rdf:ID="Petitions">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Activism"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Estate_Planning">
    <rdfs:subClassOf rdf:resource="#Personal_Finance"/>
  </owl:Class>
  <owl:Class rdf:ID="Cigars">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Tobacco"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Genderqueer">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Transgendered"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Construction_and_Planning">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Roads_and_Highways"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Crafts">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Shopping"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Arts"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Equatorial_Guinea">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Africa"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Libraries">
    <rdfs:subClassOf rdf:resource="#Ask_an_Expert"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Programming"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Reference"/>
    </rdfs:subClassOf>
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Maps"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Martinique">
    <rdfs:subClassOf rdf:resource="#Caribbean"/>
  </owl:Class>
  <owl:Class rdf:ID="Guides_and_Outfitters">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Outdoors"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Psychedelics">
    <rdfs:subClassOf rdf:resource="#Drugs"/>
  </owl:Class>
  <owl:Class rdf:ID="Prescription_Services">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Pharmacy"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Busking_and_Street_Performing">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Performing_Arts"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Recipe_Collections">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Cooking"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Buddhism">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Religion_and_Spirituality"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Drugs_and_Alcohol">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Teen_Health"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Water_Parks">
    <rdfs:subClassOf rdf:resource="#Theme_Parks"/>
  </owl:Class>
  <owl:Class rdf:ID="Valuation_Services">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Opportunities"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="UV_Index">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Weather"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Backup">
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="IWCC">
    <rdfs:subClassOf rdf:resource="#Cricket"/>
  </owl:Class>
  <owl:Class rdf:ID="Broomball">
    <rdfs:subClassOf rdf:resource="#Hockey"/>
  </owl:Class>
  <owl:Class rdf:ID="Cellular_Automata">
    <rdfs:subClassOf rdf:resource="#Artificial_Life"/>
  </owl:Class>
  <owl:Class rdf:ID="Maintenance">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Motorcycles"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Construction_and_Maintenance"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Jai_Alai">
    <rdfs:subClassOf rdf:resource="#Sports"/>
  </owl:Class>
  <owl:Class rdf:ID="Assessment">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Educational_Resources"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Ten-Pin">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Bowling"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Computers_and_Internet">
    <rdfs:subClassOf rdf:resource="#Consumer_Information"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Gay_Lesbian_and_Bisexual"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Luggage_and_Bags">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Consumer_Goods_and_Services"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Extrasolar_Planets">
    <rdfs:subClassOf rdf:resource="#Astronomy"/>
  </owl:Class>
  <owl:Class rdf:ID="Particle">
    <rdfs:subClassOf rdf:resource="#Physics"/>
  </owl:Class>
  <owl:Class rdf:ID="Polymer_Clay">
    <rdfs:subClassOf rdf:resource="#Crafts"/>
  </owl:Class>
  <owl:Class rdf:ID="Philosophy_of_Mind">
    <rdfs:subClassOf rdf:resource="#Philosophy"/>
  </owl:Class>
  <owl:Class rdf:ID="Market_Guides">
    <rdfs:subClassOf rdf:resource="#Directories"/>
  </owl:Class>
  <owl:Class rdf:about="#Gambling">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Issues"/>
    </rdfs:subClassOf>
    
    <rdfs:subClassOf rdf:resource="#Games"/>
  </owl:Class>
  <owl:Class rdf:ID="Programming_Languages">
    <rdfs:subClassOf rdf:resource="#Artificial_Intelligence"/>
  </owl:Class>
  <owl:Class rdf:ID="Olympics">
    <rdfs:subClassOf rdf:resource="#Events"/>
  </owl:Class>
  <owl:Class rdf:ID="Ghosts">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Paranormal"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Research_Centers">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Agriculture"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Future"/>
  </owl:Class>
  <owl:Class rdf:ID="EDSAC">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Emulators"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Skirmish_Sites">
    <rdfs:subClassOf rdf:resource="#Airsoft"/>
  </owl:Class>
  <owl:Class rdf:ID="Property_Management">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Real_Estate"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Tattoo">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Bodyart"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Compensation_and_Benefits">
    <rdfs:subClassOf rdf:resource="#Human_Resources"/>
  </owl:Class>
  <owl:Class rdf:ID="Team_Building">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Education_and_Training"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Licenses">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Open_Source"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Boats">
    <rdfs:subClassOf rdf:resource="#Auctions"/>
  </owl:Class>
  <owl:Class rdf:ID="Female_to_Male">
    
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Transgendered"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="Information_Retrieval">
    <rdfs:subClassOf rdf:resource="#Software"/>
  </owl:Class>
  <owl:Class rdf:ID="Hand_Clapping">
    <rdfs:subClassOf rdf:resource="#Hand_Games"/>
  </owl:Class>
  <owl:Class rdf:about="#Security">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Business_Services"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Computers"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Photography"/>
    
  </owl:Class>
  <owl:Class rdf:ID="Georgia">
    <rdfs:subClassOf rdf:resource="#Asia"/>
  </owl:Class>
  <owl:Class rdf:ID="Isle_of_Man">
    <rdfs:subClassOf rdf:resource="#Europe"/>
  </owl:Class>
  <owl:Class rdf:ID="Counseling_Services">
    <rdfs:subClassOf rdf:resource="#Mental_Health"/>
  </owl:Class>
  <owl:Class rdf:ID="Labor_Movement">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Work"/>
    </rdfs:subClassOf>
    
  </owl:Class>
  <owl:Class rdf:ID="Professional_Associations">
    <rdfs:subClassOf rdf:resource="#Consultants"/>
  </owl:Class>
  <owl:Class rdf:ID="Modern_Movements">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Religion_and_Spirituality"/>
    </rdfs:subClassOf>
12345

tgccmebug.owl - 源码说明

本页面展示了「Jena推理机」中的 tgccmebug.owl 源码文件，采用 OWL 编程语言编写，共 2,191 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与Jena相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

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