Browse wiki

From OWL Test Cases

Jump to:navigation, search
Owl2-rl-invalid-leftside-allvaluesfrom
Features Owl:onProperty +, Owl:allValuesFrom +, Rdfs:subClassOf +, Owl:ObjectProperty +, Owl:Class +
Has author Zhe Wu +
Modification dateThis property is a special property in this wiki. 15 July 2009 00:11:22  +
Premise ontology
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <owl:Ontology />
  <owl:Class rdf:about="http://owl2.test/rules#C"/>
  <owl:Class rdf:about="http://owl2.test/rules#C1"/>
  <owl:ObjectProperty rdf:about="http://owl2.test/rules#op"/>
  <owl:Restriction>
    <owl:allValuesFrom rdf:resource="http://owl2.test/rules#C1"/>
    <owl:onProperty rdf:resource="http://owl2.test/rules#op"/>
    <rdfs:subClassOf rdf:resource="http://owl2.test/rules#C"/>
  </owl:Restriction>
</rdf:RDF>
Test case author Zhe Wu  +
Test case description OWL 2 RL does not allow left side allValuesFrom in a subClassOf axiom.
Test case id owl2-rl-invalid-leftside-allvaluesfrom  +
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 +
Categories No EL profile test, No QL profile test, No RL profile test, ConsistencyTest, Consistency 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