data.conformance.owl2rl.rdfbased-xtr-reflection-subclasses.rdfbased-xtr-reflection-subclasses.premisegraph.ttl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sansa-inference-tests_2.12 Show documentation

Contains common data and utils for inference API testing

The newest version!

@prefix :         .
@prefix rdfs:     .
@prefix ex:       .
@prefix owl:      .
@prefix xsd:      .
@prefix rdf:      .

ex:PersonGroupsWithAtMostOneAdult
      owl:maxQualifiedCardinality
              "1"^^xsd:nonNegativeInteger ;
      owl:onClass ex:AdultPerson ;
      owl:onProperty
              [ owl:inverseOf rdf:type
              ] .

ex:bob
      rdf:type ex:grp , ex:AdultPerson .

ex:robert
      rdf:type ex:grp , ex:AdultPerson .

ex:grp
      rdf:type ex:MalePersonGroupsWithAtMostOneAdult .

ex:MalePersonGroups
      owl:hasValue ex:MalePerson ;
      owl:onProperty rdfs:subClassOf .

ex:MalePersonGroupsWithAtMostOneAdult
      owl:intersectionOf (ex:MalePersonGroups ex:PersonGroupsWithAtMostOneAdult) .