# How to insert stardog rule in stardog studio?

**URL:** <https://community.stardog.com/t/how-to-insert-stardog-rule-in-stardog-studio/2639>\
**Category:** Support\
**Created:** [August 10, 2020, 7:03am UTC](https://community.stardog.com/t/how-to-insert-stardog-rule-in-stardog-studio/2639 "2020-08-10T07:03:12Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![crapthings](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/crapthings/32/686_2.png) [@crapthings](https://community.stardog.com/u/crapthings)\
**Post date:** [August 10, 2020, 7:03am UTC](https://community.stardog.com/t/how-to-insert-stardog-rule-in-stardog-studio/2639/1 "2020-08-10T07:03:13Z")

</div>

![image](https://canada1.discourse-cdn.com/flex030/uploads/stardog/original/1X/6a9025fc99670c75e97c4b33c6b2d7f069efdbbc.png)

```auto
INSERT DATA {
:需要 a owl:ObjectProperty .

:有限责任公司 a owl:Class .

:设立有限责任公司 a owl:NamedIndividual ;
  :需要 :股东符合法定人数 .

:股东符合法定人数 a owl:Class .
:股东人数 a owl:DatatypeProperty .

:公司性质 a owl:ObjectProperty .

[
  rdf:type owl:Restriction ;
  owl:onProperty :股东人数 ;
  owl:someValuesFrom [
    rdf:type rdfs:Datatype ;
    owl:onDatatype xsd:integer ;
    owl:withRestrictions (
      [xsd:maxInclusive "49"^^xsd:integer]
    )
  ] ;
] rdfs:subClassOf :股东符合法定人数 .

IF {
  ?concept a :股东符合法定人数 .
} THEN {
  ?concept :公司性质 :有限责任公司 .
}

:律方科技 :股东人数 3 .
}

```

---

<div class="post-metadata">

**Author:** ![crapthings](https://yyz2.discourse-cdn.com/flex030/user_avatar/community.stardog.com/crapthings/32/686_2.png) [@crapthings](https://community.stardog.com/u/crapthings)\
**Post date:** [August 10, 2020, 7:10am UTC](https://community.stardog.com/t/how-to-insert-stardog-rule-in-stardog-studio/2639/2 "2020-08-10T07:10:26Z")

</div>

found here

> **[Home](https://docs.stardog.com/)**
>
> Documentation for Stardog, the world’s leading Knowledge Graph Platform for the Enterprise

```auto
[] a rule:SPARQLRule ;
   rule:content """
    IF {
        ?concept a :股东符合法定人数 .
    } THEN {
    ?concept :公司性质 :有限责任公司 .
    }
   """ .

```

```auto
prefix rule: <tag:stardog:api:rule:>

INSERT DATA {
:需要 a owl:ObjectProperty .

:有限责任公司 a owl:Class .

:设立有限责任公司 a owl:NamedIndividual ;
  :需要 :股东符合法定人数 .

:股东符合法定人数 a owl:Class .
:股东人数 a owl:DatatypeProperty .

:公司性质 a owl:ObjectProperty .

[
  rdf:type owl:Restriction ;
  owl:onProperty :股东人数 ;
  owl:someValuesFrom [
    rdf:type rdfs:Datatype ;
    owl:onDatatype xsd:integer ;
    owl:withRestrictions (
      [xsd:maxInclusive "49"^^xsd:integer]
    )
  ] ;
] rdfs:subClassOf :股东符合法定人数 .

[] a rule:SPARQLRule ;
   rule:content """
    IF {
        ?concept a :股东符合法定人数 .
    } THEN {
    ?concept :公司性质 :有限责任公司 .
    }
   """ .

:律方科技 :股东人数 3 .
}

```

---

<div class="post-metadata">

**Author:** ![system](https://canada1.discourse-cdn.com/flex030/uploads/stardog/original/2X/e/ed66b48a616f505106a4acde3c9cee7e6da9bc67.svg) [@system](https://community.stardog.com/u/system)\
**Post date:** [August 24, 2020, 7:10am UTC](https://community.stardog.com/t/how-to-insert-stardog-rule-in-stardog-studio/2639/3 "2020-08-24T07:10:26Z")

</div>

This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.