Browse wiki

From OWL Test Cases

Jump to:navigation, search
Conclusion ontology
Prefix( : = <>)
Prefix( xsd: = <> )


  DataPropertyAssertion(:dp :a "1"^^xsd:integer)
  DataPropertyAssertion(:dp :a "2"^^xsd:integer)
  DataPropertyAssertion(:dp :a "3"^^xsd:integer)
Features DataExactCardinality +, SubClassOf +, DatatypeRestriction +, ClassAssertion +, Declaration +, DataPropertyAssertion +
Has author Evren Sirin +
Modification dateThis property is a special property in this wiki. 9 January 2010 17:43:13  +
Premise ontology
Prefix( : = <>)
Prefix( xsd: = <> )

    DataExactCardinality(3 :dp 
      DatatypeRestriction( xsd:integer
        xsd:minInclusive "1"^^xsd:integer
        xsd:maxInclusive "3"^^xsd:integer

  ClassAssertion(:A :a)
Test case author Evren Sirin  +
Test case description The cardinality restriction states there a 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. idual a should have dp values 1, 2, and 3.
Test case id Qualified-cardinality-restricted-int  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Proposed +
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.
OWL 2 Informative
OWL 2 Normative