Browse wiki

From OWL Test Cases

Jump to:navigation, search
TestCase:WebOnt-equivalentClass-008
Comment The version of this test approved by the W The version of this test approved by the WebOnt WG was incorrect. The premise ontology present in that version of the test was marked as an OWL Lite document, but was not OWL Lite 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., The version of this test approved by the W The version of this test approved by the WebOnt WG was incorrect. The conclusion ontology present in that version of the test was marked as an OWL Lite document, but was not OWL Lite 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:equivalentClass +, Owl:AnnotationProperty +, Owl:Class +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 14 July 2009 23:47:06  +
Nonconclusion 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#"
 xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#"
 xml:base="http://www.w3.org/2002/03owlt/equivalentClass/nonconclusions008" >
   <owl:Ontology/>
   <owl:Class rdf:about="premises008#c2">
     <first:annotate>description of c1</first:annotate>
   </owl:Class>
   <owl:AnnotationProperty rdf:about="premises008#annotate" />

</rdf:RDF>
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#"
  xmlns:first="http://www.w3.org/2002/03owlt/equivalentClass/premises008#" 
    xml:base="http://www.w3.org/2002/03owlt/equivalentClass/premises008" >

   <owl:Ontology/>
   <owl:Class rdf:ID="c1">
     <owl:equivalentClass>
       <owl:Class rdf:ID="c2"/>
     </owl:equivalentClass>
     <first:annotate>description of c1</first:annotate>
   </owl:Class>

   <owl:AnnotationProperty rdf:ID="annotate" />

</rdf:RDF>
Test case alternative semantics test TestCase:WebOnt-equivalentClass-008-Direct +
Test case author Jeremy J. Carroll  +
Test case description Annotation properties refer to a class instance. equivalentClass refers to the class extension.
Test case id WebOnt-equivalentClass-008  +
Test case profile Test:EL +, Test:QL +, Test:RL +
Test case semantics Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Proposed +
Test case syntax Test:RDFXML +
WebOnt test http://www.w3.org/2002/03owlt/equivalentClass/Manifest008#test  +
Categories EL profile test, QL profile test, RL profile test, NegativeEntailmentTest
hide properties that link here 
TestCase:WebOnt-equivalentClass-008-Direct + Test case alternative semantics test
 

 

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