owl - Protege：对象属性限制1

回答你的第一个问题：你正在寻找房产链。在Protege中，你可以说works-in o is-part-of是一个subPropertyOf（Chain）works-in，这将给你预期的推论

编辑：我做了以下实验：

a）根据您的描述创建一般本体（在曼彻斯特语法中）： Ontology: <http://www.semanticweb.org/o> ObjectProperty: <http://www.semanticweb.org/o#works-in> SubPropertyChain: <http://www.semanticweb.org/o#works-in> o <http://www.semanticweb.org/o#is-part-of> ObjectProperty: <http://www.semanticweb.org/o#is-part-of> Domain: <http://www.semanticweb.org/o#Department> or <http://www.semanticweb.org/o#Shop> Range: <http://www.semanticweb.org/o#Mall> or <http://www.semanticweb.org/o#Shop> Class: <http://www.semanticweb.org/o#Shop> Class: <http://www.semanticweb.org/o#Mall> Class: <http://www.semanticweb.org/o#Department> Class: <http://www.semanticweb.org/o#Person>

b）在该本体中添加一些个体来检查推理。使用FaCT ++分类后，Protege显示person1通过work-in与mall1相关。附加公理如下：

Individual: <http://www.semanticweb.org/o#shop1>
        Types:
            <http://www.semanticweb.org/o#Shop>
        Facts:
         <http://www.semanticweb.org/o#is-part-of>  <http://www.semanticweb.org/o#mall1>
    Individual: <http://www.semanticweb.org/o#mall1>
        Types:
            <http://www.semanticweb.org/o#Mall>
    Individual: <http://www.semanticweb.org/o#person1>
        Types:
            <http://www.semanticweb.org/o#Person>
        Facts:
         <http://www.semanticweb.org/o#works-in>  <http://www.semanticweb.org/o#shop1>

c）添加公理，说人在Shop工作，Shop是a）的本体的一部分。在这种情况下，Person是WorksInMall类的一部分，它表明考虑了属性链公理。其他公理是：

Class: <http://www.semanticweb.org/o#WorksInMall>
    EquivalentTo:
        <http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Mall>
Class: <http://www.semanticweb.org/o#Person>
    SubClassOf:
        <http://www.semanticweb.org/o#works-in> some <http://www.semanticweb.org/o#Shop>
Class: <http://www.semanticweb.org/o#Shop>
    SubClassOf:
        <http://www.semanticweb.org/o#is-part-of> some <http://www.semanticweb.org/o#Mall>

Protege：对象属性限制1

1 个答案: