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
[] 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.