以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  下面的owl在protege中查询Discount的实例没有，请大家解释一下。  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=123689)

--  作者：yswang168
--  发布时间：3/1/2012 2:12:00 PM

--  下面的owl在protege中查询Discount的实例没有，请大家解释一下。
下面的owl在protege中查询Discount的实例没有，请大家解释一下。
环境是protege 4.1, 推理机是HermiT 1.2.4.


<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE rdf:RDF []>
<rdf:RDF
  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#"
  xmlns="file://shop#"
  xml:base="file://shop">

  <owl:Ontology rdf:ID="shop"/>

  <owl:Class rdf:ID="Shop"/>
  <owl:Class rdf:ID="Part"/>

  <owl:Class rdf:ID="Discount">
    <owl:equivalentClass>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#Supplier"/>
        <owl:minCardinality rdf:datatype="xsd:nonNegativeInteger">2</owl:minCardinality>
      </owl:Restriction>
    </owl:equivalentClass>
  </owl:Class>
  
  <owl:ObjectProperty rdf:ID="Provides">
    <rdfs:domain rdf:resource="#Shop" />
    <rdfs:range rdf:resource="#Part" />
  </owl:ObjectProperty>
  
  <owl:ObjectProperty rdf:ID="Supplier">
    <rdfs:domain rdf:resource="#Shop" />
    <rdfs:range rdf:resource="#Part" />
  </owl:ObjectProperty>

  <Shop rdf:about="#s1">
    <Provides rdf:resource="#case" />
    <Provides rdf:resource="#cpu" />
  </Shop>

  <Shop rdf:about="#s3">
    <Provides rdf:resource="#case" />
    <Provides rdf:resource="#harddisk" />
 <Supplier rdf:resource="#harddisk"/>
 <Supplier rdf:resource="#cpu"/>
 <Supplier rdf:resource="#case"/>  
  </Shop>

  <Part rdf:ID="cpu" />
  <Part rdf:ID="case" />
  <Part rdf:ID="harddisk" />  
  <Shop rdf:ID="s1" />
  <Shop rdf:ID="s3" />  

</rdf:RDF>

[此贴子已经被作者于2012-3-1 16:30:40编辑过]
--  作者：yswang168
--  发布时间：5/25/2012 8:34:00 PM

--  
问题已经解决，是因为UNA。加上UNA就好了。

以下是引用yswang168在2012-3-1 14:12:00的发言：
下面的owl在protege中查询Discount的实例没有，请大家解释一下。
环境是protege 4.1, 推理机是HermiT 1.2.4.


<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE rdf:RDF []>
<rdf:RDF
   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#"
   xmlns="file://shop#"
   xml:base="file://shop">

   <owl:Ontology rdf:ID="shop"/>

   <owl:Class rdf:ID="Shop"/>
   <owl:Class rdf:ID="Part"/>

   <owl:Class rdf:ID="Discount">
     <owl:equivalentClass>
       <owl:Restriction>
         <owl:onProperty rdf:resource="#Supplier"/>
         <owl:minCardinality rdf:datatype="xsd:nonNegativeInteger">2</owl:minCardinality>
       </owl:Restriction>
     </owl:equivalentClass>
   </owl:Class>
   
   <owl:ObjectProperty rdf:ID="Provides">
     <rdfs:domain rdf:resource="#Shop" />
     <rdfs:range rdf:resource="#Part" />
   </owl:ObjectProperty>
   
   <owl:ObjectProperty rdf:ID="Supplier">
     <rdfs:domain rdf:resource="#Shop" />
     <rdfs:range rdf:resource="#Part" />
   </owl:ObjectProperty>

   <Shop rdf:about="#s1">
     <Provides rdf:resource="#case" />
     <Provides rdf:resource="#cpu" />
   </Shop>

   <Shop rdf:about="#s3">
     <Provides rdf:resource="#case" />
     <Provides rdf:resource="#harddisk" />
  <Supplier rdf:resource="#harddisk"/>
  <Supplier rdf:resource="#cpu"/>
  <Supplier rdf:resource="#case"/>  
   </Shop>

   <Part rdf:ID="cpu" />
   <Part rdf:ID="case" />
   <Part rdf:ID="harddisk" />  
   <Shop rdf:ID="s1" />
   <Shop rdf:ID="s3" />  

</rdf:RDF>

[此贴子已经被作者于2012-3-1 16:30:40编辑过]


--  作者：dongying_owl
--  发布时间：6/6/2012 10:55:00 AM

--  
您好，请问一下怎么使用protege对本体进行查询啊
--  作者：yswang168
--  发布时间：6/6/2012 11:09:00 AM

--  
里面有dl-query嘛。
--  作者：dongying_owl
--  发布时间：6/6/2012 4:59:00 PM

--  
具体的查询语句怎么写呢，是什么形式的？
--  作者：yswang168
--  发布时间：6/6/2012 5:12:00 PM

--  
Manchester OWL syntax
see
http://protegewiki.stanford.edu/wiki/DLQueryTab
--  作者：dongying_owl
--  发布时间：6/6/2012 5:19:00 PM

--  
谢谢
--  作者：dongying_owl
--  发布时间：6/6/2012 7:43:00 PM

--  
我在DL query中输入：person and hasAge some int[>= 1, <= 30]
出现的错误：Encountered hasAge at line column 12.Expected one of:Class name  Object property name  Data property name......
--  作者：dongying_owl
--  发布时间：6/7/2012 11:15:00 AM

--  
您好，我想问一下，我用LUBM生成大学本体。然后使用Jena查询其中某个类的所有个体，为什么没有结果。如果查询某个类的所有子类，就会有结果。好像只有TBOX查询才有结果，ABOX就没有 。这是怎么回事啊？麻烦您帮忙~
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 70.313ms