Browse wiki

From OWL Test Cases

Jump to:navigation, search
Features Owl:intersectionOf +, Owl:equivalentClass +, Owl:disjointWith +, Owl:Class +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 5 May 2009 21:53:16  +
Premise ontology
    xml:base="" >
   <owl:Class rdf:nodeID="B">
      <owl:intersectionOf rdf:parseType="Collection">
        <owl:Class rdf:ID="B"/>
         <owl:Class rdf:ID="C"/>
         <owl:Class rdf:ID="D"/>

Test case author Jeremy J. Carroll  +
Test case description Structure sharing was not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple, but is permitted in OWL 2 DL.
Test case id WebOnt-I5.26-005  +
Test case profile Test:EL +, Test:QL +, Test:RL +
Test case semantics Test:DIRECT +, Test:RDF-BASED +
Test case species Test:DL +, Test:FULL +
Test case status Test:Approved +
Test case syntax Test:RDFXML +
WebOnt test  +
Categories EL profile test, QL profile test, RL profile test, ConsistencyTest
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