Qualified-cardinality-restricted-int
From OWL Test Cases
| [Download OWL] | |
| Test Id | Qualified-cardinality-restricted-int |
|---|---|
| Description | The cardinality restriction states there are exactly 3 dp values where the allowed values should be greater than or equal to 1 and less then or equal to 3. Obviously there are only 3 such values so we can conclude that the individual a should have dp values 1, 2, and 3. |
| Status | Proposed (2009-05-13) |
| Author | Evren Sirin |
| Original syntax | Functional |
| Syntactic Species/Profile | OWL 2 DL (not EL, not QL, not RL) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| Premise ontology (download)
Convert syntax: RDF, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| Prefix( : = <http://example.org/test#>)
Prefix( xsd: = <http://www.w3.org/2001/XMLSchema#> ) Ontology(<http://owl.semanticweb.org/page/Special:GetOntology/Qualified-cardinality-restricted-int?m=p> Declaration(NamedIndividual(:a)) Declaration(Class(:A)) Declaration(DataProperty(:dp)) SubClassOf(:A DataExactCardinality(3 :dp DatatypeRestriction( xsd:integer xsd:minInclusive "1"^^xsd:integer xsd:maxInclusive "3"^^xsd:integer ) ) ) ClassAssertion(:A :a) ) | |
| Conclusion ontology (download)
Convert syntax: RDF, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| Prefix( : = <http://example.org/test#>)
Prefix( xsd: = <http://www.w3.org/2001/XMLSchema#> ) Ontology(<http://owl.semanticweb.org/page/Special:GetOntology/Qualified-cardinality-restricted-int?m=c> Declaration(DataProperty(:dp)) DataPropertyAssertion(:dp :a "1"^^xsd:integer) DataPropertyAssertion(:dp :a "2"^^xsd:integer) DataPropertyAssertion(:dp :a "3"^^xsd:integer) ) | |
| Imported ontologies | none |
