Mercurial > repos > mikel-egana-aranguren > oppl
annotate OPPL/test.owl @ 6:3740505b579c
Added reasoner option: Pellet or HermiT
author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Sun, 18 Sep 2011 12:35:18 +0200 |
parents | 4f60202c58d9 |
children |
rev | line source |
---|---|
0 | 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 | |
4
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
41 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/prop --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
42 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
43 <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
44 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
45 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
46 |
0 | 47 <!-- |
48 /////////////////////////////////////////////////////////////////////////////////////// | |
49 // | |
50 // Classes | |
51 // | |
52 /////////////////////////////////////////////////////////////////////////////////////// | |
53 --> | |
54 | |
55 | |
56 | |
57 | |
4
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
58 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/OPPL_test --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
59 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
60 <owl:Class rdf:about="&Ontology1314715036188;OPPL_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
61 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
62 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
63 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
64 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/Taxonomy_test --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
65 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
66 <owl:Class rdf:about="&Ontology1314715036188;Taxonomy_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
67 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
68 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
69 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
70 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/child_class --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
71 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
72 <owl:Class rdf:about="&Ontology1314715036188;child_class"> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
73 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
74 <rdfs:subClassOf> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
75 <owl:Restriction> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
76 <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
77 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
78 </owl:Restriction> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
79 </rdfs:subClassOf> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
80 </owl:Class> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
81 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
82 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
83 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
84 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/filler --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
85 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
86 <owl:Class rdf:about="&Ontology1314715036188;filler"> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
87 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
88 </owl:Class> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
89 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
90 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
91 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
92 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/parent_class --> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
93 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
94 <owl:Class rdf:about="&Ontology1314715036188;parent_class"> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
95 <owl:equivalentClass> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
96 <owl:Restriction> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
97 <owl:onProperty rdf:resource="&Ontology1314715036188;prop"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
98 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;filler"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
99 </owl:Restriction> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
100 </owl:equivalentClass> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
101 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;Taxonomy_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
102 </owl:Class> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
103 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
104 |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
105 |
0 | 106 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part --> |
107 | |
108 <owl:Class rdf:about="&Ontology1314715036188;part"> | |
4
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
109 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/> |
0 | 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 | |
4
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
122 <owl:Class rdf:about="&Ontology1314715036188;whole"> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
123 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/> |
4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
parents:
0
diff
changeset
|
124 </owl:Class> |
0 | 125 </rdf:RDF> |
126 | |
127 | |
128 | |
129 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net --> | |
130 |