API tools faq
paste
Guest User

Untitled

a guest
Mar 25th, 2010
276
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
XML 9.50 KB | None | 0 0
raw download clone embed print report
  1. <?xml version="1.0"?>
  2.  
  3.  
  4. <!DOCTYPE rdf:RDF [
  5.    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
  6.     <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
  7.     <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
  8.     <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
  9.     <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
  10.     <!ENTITY geometry "http://nav.semprom.dfki.de/ontologies/geometry/" >
  11.     <!ENTITY geometry2 "http://nav.semprom.dfki.de/ontologies/geometry/#" >
  12. ]>
  13.  
  14.  
  15. <rdf:RDF xmlns="http://nav.semprom.dfki.de/ontologies/geometry/"
  16.     xml:base="http://nav.semprom.dfki.de/ontologies/geometry/"
  17.     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  18.     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
  19.     xmlns:owl="http://www.w3.org/2002/07/owl#"
  20.     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
  21.     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  22.     xmlns:geometry2="&geometry;#"
  23.     xmlns:geometry="http://nav.semprom.dfki.de/ontologies/geometry/">
  24.     <owl:Ontology rdf:about=""/>
  25.    
  26.  
  27.  
  28.     <!--
  29.    ///////////////////////////////////////////////////////////////////////////////////////
  30.    //
  31.    // Object Properties
  32.    //
  33.    ///////////////////////////////////////////////////////////////////////////////////////
  34.     -->
  35.  
  36.    
  37.  
  38.  
  39.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasFaces -->
  40.  
  41.     <owl:ObjectProperty rdf:about="#hasFaces">
  42.         <rdfs:domain rdf:resource="#Box"/>
  43.         <rdfs:range>
  44.             <owl:Restriction>
  45.                 <owl:onProperty rdf:resource="#hasFaces"/>
  46.                 <owl:onClass rdf:resource="#Box"/>
  47.                 <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:minQualifiedCardinality>
  48.             </owl:Restriction>
  49.         </rdfs:range>
  50.         <rdfs:range>
  51.             <owl:Restriction>
  52.                 <owl:onProperty rdf:resource="#hasFaces"/>
  53.                 <owl:onClass rdf:resource="#Box"/>
  54.                 <owl:maxQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">6</owl:maxQualifiedCardinality>
  55.             </owl:Restriction>
  56.         </rdfs:range>
  57.     </owl:ObjectProperty>
  58.    
  59.  
  60.  
  61.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasVector -->
  62.  
  63.     <owl:ObjectProperty rdf:about="#hasVector">
  64.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  65.         <rdfs:domain rdf:resource="#RectangularShape"/>
  66.         <rdfs:range rdf:resource="#Vector"/>
  67.         <rdfs:range>
  68.             <owl:Restriction>
  69.                 <owl:onProperty rdf:resource="#hasVector"/>
  70.                 <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:cardinality>
  71.             </owl:Restriction>
  72.         </rdfs:range>
  73.     </owl:ObjectProperty>
  74.    
  75.  
  76.  
  77.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/hasCog -->
  78.  
  79.     <owl:ObjectProperty rdf:about="hasCog">
  80.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  81.         <rdfs:range rdf:resource="#Point"/>
  82.         <rdfs:domain rdf:resource="#RectangularShape"/>
  83.     </owl:ObjectProperty>
  84.    
  85.  
  86.  
  87.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isAbove -->
  88.  
  89.     <owl:ObjectProperty rdf:about="isAbove">
  90.         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
  91.         <rdfs:domain rdf:resource="#RectangularShape"/>
  92.         <rdfs:range rdf:resource="#RectangularShape"/>
  93.     </owl:ObjectProperty>
  94.    
  95.  
  96.  
  97.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isBelow -->
  98.  
  99.     <owl:ObjectProperty rdf:about="isBelow">
  100.         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
  101.         <rdfs:domain rdf:resource="#RectangularShape"/>
  102.         <rdfs:range rdf:resource="#RectangularShape"/>
  103.         <owl:inverseOf rdf:resource="isAbove"/>
  104.     </owl:ObjectProperty>
  105.    
  106.  
  107.  
  108.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isNear -->
  109.  
  110.     <owl:ObjectProperty rdf:about="isNear">
  111.         <rdf:type rdf:resource="&owl;ReflexiveProperty"/>
  112.         <rdf:type rdf:resource="&owl;SymmetricProperty"/>
  113.         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
  114.         <rdfs:range rdf:resource="#RectangularShape"/>
  115.         <rdfs:domain rdf:resource="#RectangularShape"/>
  116.     </owl:ObjectProperty>
  117.    
  118.  
  119.  
  120.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isOnTopOf -->
  121.  
  122.     <owl:ObjectProperty rdf:about="isOnTopOf">
  123.         <rdfs:range rdf:resource="#RectangularShape"/>
  124.         <rdfs:domain rdf:resource="#RectangularShape"/>
  125.     </owl:ObjectProperty>
  126.    
  127.  
  128.  
  129.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isOrthogonalTo -->
  130.  
  131.     <owl:ObjectProperty rdf:about="isOrthogonalTo">
  132.         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
  133.         <rdf:type rdf:resource="&owl;SymmetricProperty"/>
  134.         <rdfs:domain rdf:resource="#RectangularShape"/>
  135.         <rdfs:range rdf:resource="#RectangularShape"/>
  136.         <owl:propertyDisjointWith rdf:resource="isParallelTo"/>
  137.     </owl:ObjectProperty>
  138.    
  139.  
  140.  
  141.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/isParallelTo -->
  142.  
  143.     <owl:ObjectProperty rdf:about="isParallelTo">
  144.         <rdf:type rdf:resource="&owl;ReflexiveProperty"/>
  145.         <rdf:type rdf:resource="&owl;SymmetricProperty"/>
  146.         <rdf:type rdf:resource="&owl;TransitiveProperty"/>
  147.         <rdfs:domain rdf:resource="#RectangularShape"/>
  148.         <rdfs:range rdf:resource="#RectangularShape"/>
  149.     </owl:ObjectProperty>
  150.    
  151.  
  152.  
  153.     <!--
  154.    ///////////////////////////////////////////////////////////////////////////////////////
  155.    //
  156.    // Data properties
  157.    //
  158.    ///////////////////////////////////////////////////////////////////////////////////////
  159.     -->
  160.  
  161.    
  162.  
  163.  
  164.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasArea -->
  165.  
  166.     <owl:DatatypeProperty rdf:about="#hasArea">
  167.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  168.         <rdfs:domain rdf:resource="#RectangularShape"/>
  169.         <rdfs:range rdf:resource="&xsd;float"/>
  170.     </owl:DatatypeProperty>
  171.    
  172.  
  173.  
  174.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasRectangularness -->
  175.  
  176.     <owl:DatatypeProperty rdf:about="#hasRectangularness">
  177.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  178.         <rdfs:domain rdf:resource="#RectangularShape"/>
  179.         <rdfs:range rdf:resource="&xsd;float"/>
  180.     </owl:DatatypeProperty>
  181.    
  182.  
  183.  
  184.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasXCoordinate -->
  185.  
  186.     <owl:DatatypeProperty rdf:about="#hasXCoordinate">
  187.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  188.         <rdfs:range rdf:resource="&xsd;float"/>
  189.     </owl:DatatypeProperty>
  190.    
  191.  
  192.  
  193.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasYCoordinate -->
  194.  
  195.     <owl:DatatypeProperty rdf:about="#hasYCoordinate">
  196.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  197.         <rdfs:range rdf:resource="&xsd;float"/>
  198.     </owl:DatatypeProperty>
  199.    
  200.  
  201.  
  202.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#hasZCoordinate -->
  203.  
  204.     <owl:DatatypeProperty rdf:about="#hasZCoordinate">
  205.         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
  206.         <rdfs:range rdf:resource="&xsd;float"/>
  207.     </owl:DatatypeProperty>
  208.    
  209.  
  210.  
  211.     <!--
  212.    ///////////////////////////////////////////////////////////////////////////////////////
  213.    //
  214.    // Classes
  215.    //
  216.    ///////////////////////////////////////////////////////////////////////////////////////
  217.     -->
  218.  
  219.    
  220.  
  221.  
  222.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Box -->
  223.  
  224.     <owl:Class rdf:about="#Box"/>
  225.    
  226.  
  227.  
  228.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Ceiling -->
  229.  
  230.     <owl:Class rdf:about="#Ceiling">
  231.         <rdfs:subClassOf rdf:resource="#RectangularShape"/>
  232.         <owl:disjointWith rdf:resource="#Floor"/>
  233.         <owl:disjointWith rdf:resource="TableCandidate"/>
  234.     </owl:Class>
  235.    
  236.  
  237.  
  238.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Computer -->
  239.  
  240.     <owl:Class rdf:about="#Computer">
  241.         <rdfs:subClassOf rdf:resource="#Box"/>
  242.     </owl:Class>
  243.    
  244.  
  245.  
  246.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Floor -->
  247.  
  248.     <owl:Class rdf:about="#Floor">
  249.         <rdfs:subClassOf rdf:resource="#RectangularShape"/>
  250.         <owl:disjointWith rdf:resource="TableCandidate"/>
  251.     </owl:Class>
  252.    
  253.  
  254.  
  255.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Point -->
  256.  
  257.     <owl:Class rdf:about="#Point"/>
  258.    
  259.  
  260.  
  261.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#RectangularShape -->
  262.  
  263.     <owl:Class rdf:about="#RectangularShape"/>
  264.    
  265.  
  266.  
  267.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Table -->
  268.  
  269.     <owl:Class rdf:about="#Table">
  270.         <rdfs:subClassOf rdf:resource="#Box"/>
  271.     </owl:Class>
  272.    
  273.  
  274.  
  275.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/#Vector -->
  276.  
  277.     <owl:Class rdf:about="#Vector"/>
  278.    
  279.  
  280.  
  281.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/Table -->
  282.  
  283.     <owl:Class rdf:about="Table">
  284.         <rdfs:subClassOf rdf:resource="TableCandidate"/>
  285.         <rdfs:subClassOf>
  286.             <owl:Restriction>
  287.                 <owl:onProperty rdf:resource="isParallelTo"/>
  288.                 <owl:someValuesFrom rdf:resource="#Floor"/>
  289.             </owl:Restriction>
  290.         </rdfs:subClassOf>
  291.     </owl:Class>
  292.    
  293.  
  294.  
  295.     <!-- http://nav.semprom.dfki.de/ontologies/geometry/TableCandidate -->
  296.  
  297.     <owl:Class rdf:about="TableCandidate">
  298.         <rdfs:subClassOf rdf:resource="#RectangularShape"/>
  299.     </owl:Class>
  300.    
  301.  
  302.  
  303.     <!-- http://www.w3.org/2002/07/owl#Thing -->
  304.  
  305.     <owl:Class rdf:about="&owl;Thing"/>
  306. </rdf:RDF>
  307.  
  308.  
  309.  
  310. <!-- Generated by the OWL API (version 2.2.1.1138) http://owlapi.sourceforge.net -->
Advertisement
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!