previous next top contents index

OWL Web Ontology Language Test Cases7.3.4. Extended Cardinality Testing

7.3.4. Extended Cardinality Testing

Positive Entailment Test: 901 DL Full Description: (informative) `` This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. N3 format is informative. DL Premises: `` ``` ``` ```first:r rdf:type owl:ObjectProperty . first:p rdf:type owl:ObjectProperty . first:p rdfs:subPropertyOf first:r . first:A rdf:type owl:Class . first:p rdfs:range first:A . first:q rdf:type owl:ObjectProperty . first:q rdfs:subPropertyOf first:r . first:B rdf:type owl:Class . first:q rdfs:range first:B . first:A rdf:type owl:Class . first:A owl:disjointWith first:B . ``` DL Conclusions: `` ``` 2 3 5 ``` ```_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:e owl:onProperty first:q . _:e owl:minCardinality "3"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Restriction . first:r rdf:type owl:ObjectProperty . _:k owl:onProperty first:r . _:k owl:minCardinality "5"^^xsd:nonNegativeInteger . _:a rdfs:subClassOf _:k . ```

Negative Entailment Test: 902 DL Full Description: (informative) `` This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6. N3 format is informative. DL Premises: `` ``` ``` ```first:r rdf:type owl:ObjectProperty . first:p rdf:type owl:ObjectProperty . first:p rdfs:subPropertyOf first:r . first:A rdf:type owl:Class . first:p rdfs:range first:A . first:q rdf:type owl:ObjectProperty . first:q rdfs:subPropertyOf first:r . first:B rdf:type owl:Class . first:q rdfs:range first:B . first:A rdf:type owl:Class . first:A owl:disjointWith first:B . ``` DL Conclusions: `` ``` 2 3 6 ``` ```_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:minCardinality "2"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:e owl:onProperty first:q . _:e owl:minCardinality "3"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Restriction . first:r rdf:type owl:ObjectProperty . _:k owl:onProperty first:r . _:k owl:minCardinality "6"^^xsd:nonNegativeInteger . _:a rdfs:subClassOf _:k . ```

Positive Entailment Test: 903 DL Full Description: (informative) `` This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. N3 format is informative. DL Premises: `` ``` ``` ```first:r rdf:type owl:ObjectProperty . first:p rdf:type owl:ObjectProperty . first:p rdfs:subPropertyOf first:r . first:A rdf:type owl:Class . first:p rdfs:range first:A . first:q rdf:type owl:ObjectProperty . first:q rdfs:subPropertyOf first:r . first:B rdf:type owl:Class . first:q rdfs:range first:B . first:A rdf:type owl:Class . first:A owl:disjointWith first:B . ``` DL Conclusions: `` ``` 200 300 500 ``` ```_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:minCardinality "200"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:e owl:onProperty first:q . _:e owl:minCardinality "300"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Restriction . first:r rdf:type owl:ObjectProperty . _:k owl:onProperty first:r . _:k owl:minCardinality "500"^^xsd:nonNegativeInteger . _:a rdfs:subClassOf _:k . ```

Negative Entailment Test: 904 DL Full Description: (informative) `` This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600. N3 format is informative. DL Premises: `` ``` ``` ```first:r rdf:type owl:ObjectProperty . first:p rdf:type owl:ObjectProperty . first:p rdfs:subPropertyOf first:r . first:A rdf:type owl:Class . first:p rdfs:range first:A . first:q rdf:type owl:ObjectProperty . first:q rdfs:subPropertyOf first:r . first:B rdf:type owl:Class . first:q rdfs:range first:B . first:A rdf:type owl:Class . first:A owl:disjointWith first:B . ``` DL Conclusions: `` ``` 200 300 600 ``` ```_:a rdf:type owl:Class . _:c rdf:type owl:Restriction . first:p rdf:type owl:ObjectProperty . _:c owl:onProperty first:p . _:c owl:minCardinality "200"^^xsd:nonNegativeInteger . _:e rdf:type owl:Restriction . first:q rdf:type owl:ObjectProperty . _:e owl:onProperty first:q . _:e owl:minCardinality "300"^^xsd:nonNegativeInteger . _:g rdf:first _:e . _:g rdf:rest rdf:nil . _:i rdf:first _:c . _:i rdf:rest _:g . _:a owl:intersectionOf _:i . _:k rdf:type owl:Restriction . first:r rdf:type owl:ObjectProperty . _:k owl:onProperty first:r . _:k owl:minCardinality "600"^^xsd:nonNegativeInteger . _:a rdfs:subClassOf _:k . ```

previous next top contents index