Browse wiki

From OWL Test Cases

Jump to:navigation, search
TestCase:WebOnt-I5.8-003
Comment The version of this test approved by the W The version of this test approved by the WebOnt WG was incorrect. The input ontology present in that version of the test was marked as an OWL DL document, but was not OWL DL because it did not contain a triple of the form O rdf:type owl:Ontology. The ontology has been revised to contain the necessary triple. n revised to contain the necessary triple.
Features Owl:onProperty +, Owl:cardinality +, Rdfs:range +, Owl:DatatypeProperty +
Has author Peter F. Patel-Schneider +
Modification dateThis property is a special property in this wiki. 22 July 2009 23:49:58  +
Premise ontology
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xml:base="http://www.w3.org/2002/03owlt/I5.8/inconsistent003" >
   <owl:Ontology/>
   <rdf:Description rdf:ID="john">
       <rdf:type>
          <owl:Restriction>
             <owl:onProperty>
               <owl:DatatypeProperty rdf:ID="p">
                 <rdfs:range rdf:resource=
  "http://www.w3.org/2001/XMLSchema#byte" />
                 <rdfs:range rdf:resource=
  "http://www.w3.org/2001/XMLSchema#unsignedInt" />
               </owl:DatatypeProperty>
              </owl:onProperty>
              <owl:cardinality
  rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger"
               >129</owl:cardinality>
           </owl:Restriction>
       </rdf:type>
   </rdf:Description>

</rdf:RDF>
Test case author Peter F. Patel-Schneider  +
Test case description There are only 128 different values of <code>xsd:byte</code> that are also <code>xsd:unsignedInt</code>.
Test case id WebOnt-I5.8-003  +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Extracredit +
Test case syntax Test:RDFXML +
WebOnt test http://www.w3.org/2002/03owlt/I5.8/Manifest003#test  +
Categories No EL profile test, No QL profile test, No RL profile test, InconsistencyTest
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