How to insert stardog rule in stardog studio?

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 .
}

found here

https://www.stardog.com/docs/#_user_defined_rule_reasoning

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

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