Browse wiki

From OWL Test Cases

Jump to:navigation, search
Qualified-cardinality-boolean
Conclusion ontology
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)
)
Features DataExactCardinality +, SubClassOf +, ClassAssertion +, Declaration +, DataPropertyAssertion +
Has author Evren Sirin +
Modification dateThis property is a special property in this wiki. 9 January 2010 17:47:01  +
Premise ontology
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)
)
Test case author Evren Sirin  +
Test case 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.
Test case id Qualified-cardinality-boolean  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Approved +
Test case syntax Test:FUNCTIONAL +
Categories No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest, Entailment form
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox