Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/test-data/ontology/single/test.owl @ 11:6ca67b155e32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Imports simplified, new tool for inference added
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Fri, 09 Mar 2012 16:15:27 +0100
parents
children 622cde484f4c
comparison
equal deleted inserted replaced
10:3f31c0eb7539 11:6ca67b155e32
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 rdfs "http://www.w3.org/2000/01/rdf-schema#" >
8 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
9 <!ENTITY Ontology1314715036188 "http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/" >
10 ]>
11
12
13 <rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#"
14 xml:base="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"
15 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
16 xmlns:Ontology1314715036188="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/"
17 xmlns:owl="http://www.w3.org/2002/07/owl#"
18 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
19 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
20 <owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"/>
21
22
23
24 <!--
25 ///////////////////////////////////////////////////////////////////////////////////////
26 //
27 // Object Properties
28 //
29 ///////////////////////////////////////////////////////////////////////////////////////
30 -->
31
32
33
34
35 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of -->
36
37 <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/>
38
39
40
41 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/prop -->
42
43 <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/>
44
45
46
47 <!--
48 ///////////////////////////////////////////////////////////////////////////////////////
49 //
50 // Classes
51 //
52 ///////////////////////////////////////////////////////////////////////////////////////
53 -->
54
55
56
57
58 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/OPPL_test -->
59
60 <owl:Class rdf:about="&Ontology1314715036188;OPPL_test"/>
61
62
63
64 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/Taxonomy_test -->
65
66 <owl:Class rdf:about="&Ontology1314715036188;Taxonomy_test"/>
67
68
69
70 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/child_class -->
71
72 <owl:Class rdf:about="&Ontology1314715036188;child_class">
73 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
74 <rdfs:subClassOf>
75 <owl:Restriction>
76 <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
77 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
78 </owl:Restriction>
79 </rdfs:subClassOf>
80 </owl:Class>
81
82
83
84 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/filler -->
85
86 <owl:Class rdf:about="&Ontology1314715036188;filler">
87 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
88 </owl:Class>
89
90
91
92 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/parent_class -->
93
94 <owl:Class rdf:about="&Ontology1314715036188;parent_class">
95 <owl:equivalentClass>
96 <owl:Restriction>
97 <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/>
98 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/>
99 </owl:Restriction>
100 </owl:equivalentClass>
101 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/>
102 </owl:Class>
103
104
105
106 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part -->
107
108 <owl:Class rdf:about="&Ontology1314715036188;part">
109 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
110 <rdfs:subClassOf>
111 <owl:Restriction>
112 <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/>
113 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/>
114 </owl:Restriction>
115 </rdfs:subClassOf>
116 </owl:Class>
117
118
119
120 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole -->
121
122 <owl:Class rdf:about="&Ontology1314715036188;whole">
123 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/>
124 </owl:Class>
125 </rdf:RDF>
126
127
128
129 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
130