Browse wiki

From OWL Test Cases

Jump to:navigation, search
Chain2trans
Conclusion ontology
<?xml version="1.0"?>
<rdf:RDF 
     xml:base="http://example.org/"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#">
    <owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Chain2trans?m=c"/>
    <owl:TransitiveProperty rdf:about="#p"/>
</rdf:RDF>
Features Owl:propertyChainAxiom +, Owl:ObjectProperty +, Owl:TransitiveProperty +
Has author Bijan Parsia +
Modification dateThis property is a special property in this wiki. 9 January 2010 17:41:02  +
Premise ontology
<rdf:RDF 
     xml:base="http://example.org/"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#">

    <owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Chain2trans?m=p"/>
    <owl:ObjectProperty rdf:about="#p"/>

    <rdf:Description rdf:about="#p">
        <owl:propertyChainAxiom rdf:parseType="Collection">
            <rdf:Description rdf:about="#p"/>
            <rdf:Description rdf:about="#p"/>
        </owl:propertyChainAxiom>
    </rdf:Description>
</rdf:RDF>
Test case author Bijan Parsia  +
Test case description A role chain can be a synonym for transitivity.
Test case id chain2trans1  +
Test case profile Test:EL +, 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 +
Categories EL profile test, No QL profile test, RL profile test, PositiveEntailmentTest, Entailment 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