Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <!-- =============== conclusion.xml =========== -->
- <?xml version="1.0" encoding="utf-8"?>
- <rdf:RDF
- xmlns:ex="http://www.example.org/"
- xmlns:owl="http://www.w3.org/2002/07/owl#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
- xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
- >
- <rdf:Description rdf:about="http://www.example.org/Naoko">
- <ex:mutuallyLoves rdf:resource="http://www.example.org/Sato"/>
- </rdf:Description>
- </rdf:RDF>
- <!-- =============== premise.xml ============== -->
- <?xml version="1.0" encoding="utf-8"?>
- <rdf:RDF
- xmlns:ex="http://www.example.org/"
- xmlns:owl="http://www.w3.org/2002/07/owl#"
- xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
- xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
- xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
- >
- <rdf:Description rdf:about="http://www.example.org/MutuallyLoved">
- <owl:equivalentClass>
- <rdf:Description>
- <owl:onProperty>
- <rdf:Description rdf:about="http://www.example.org/lovesLovedBy">
- <owl:propertyChainAxiom rdf:parseType="Collection">
- <owl:FunctionalProperty rdf:about="http://www.example.org/loves"/>
- <rdf:Description rdf:about="http://www.example.org/lovedBy">
- <owl:inverseOf rdf:resource="http://www.example.org/loves"/>
- </rdf:Description>
- </owl:propertyChainAxiom>
- </rdf:Description>
- </owl:onProperty>
- <owl:hasSelf rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:hasSelf>
- </rdf:Description>
- </owl:equivalentClass>
- <owl:equivalentClass>
- <owl:Restriction>
- <owl:onProperty>
- <rdf:Description rdf:about="http://www.example.org/mutuallyLoves">
- <rdfs:subPropertyOf rdf:resource="http://www.example.org/loves"/>
- </rdf:Description>
- </owl:onProperty>
- <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minCardinality>
- </owl:Restriction>
- </owl:equivalentClass>
- </rdf:Description>
- <rdf:Description rdf:about="http://www.example.org/Sato">
- <ex:loves>
- <rdf:Description rdf:about="http://www.example.org/Naoko">
- <ex:loves rdf:resource="http://www.example.org/Sato"/>
- </rdf:Description>
- </ex:loves>
- </rdf:Description>
- </rdf:RDF>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement