Browse wiki

From OWL Test Cases

Jump to:navigation, search
Conclusion ontology
    xml:base="" >
  <owl:Restriction rdf:nodeID="n">
        <owl:ObjectProperty rdf:about="premises010#p" />
     <owl:minCardinality rdf:datatype=

Features Owl:ObjectProperty +, Owl:onProperty +, Owl:minCardinality +
Has author Jeremy J. Carroll +
Modification dateThis property is a special property in this wiki. 29 October 2010 11:47:01  +
Premise ontology
    xml:base="" >
   <owl:ObjectProperty rdf:ID="p" />

Test case author Jeremy J. Carroll  +
Test case description The abstract syntax form of the conclusions is: EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p ) This is trivially true given that first:p is an <code>individualvaluedPropertyID</code>.
Test case id WebOnt-I5.26-010  +
Test case semantics Test:RDF-BASED +, Test:DIRECT +
Test case species Test:FULL +
Test case status Test:Approved +
Test case syntax Test:RDFXML +
WebOnt test  +
Categories No EL profile test, No QL profile test, No RL profile test, PositiveEntailmentTest
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