Qualified-cardinality-boolean
From OWL Test Cases
[Download OWL] | |
Test Id | Qualified-cardinality-boolean |
---|---|
Description | According to qualified cardinality restriction individual a should have two boolean values. Since there are only two boolean values, the data property assertions can be entailed. |
Status | Approved (2009-09-10, when passed by 2 implementations) (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-boolean?m=p> Declaration(NamedIndividual(:a)) Declaration(Class(:A)) Declaration(DataProperty(:dp)) SubClassOf(:A DataExactCardinality(2 :dp xsd:boolean)) 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-boolean?m=c> Declaration(DataProperty(:dp)) DataPropertyAssertion(:dp :a "true"^^xsd:boolean) DataPropertyAssertion(:dp :a "false"^^xsd:boolean) ) | |
Imported ontologies | none |