Mercurial > repos > mikel-egana-aranguren > oppl
comparison OPPL/test.owl @ 4:4f60202c58d9
Added option to push inferred subsumption axioms into output ontology
author | Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu> |
---|---|
date | Wed, 14 Sep 2011 19:52:06 +0200 |
parents | 46b9d13a44fc |
children |
comparison
equal
deleted
inserted
replaced
3:5255f1333cc4 | 4:4f60202c58d9 |
---|---|
36 | 36 |
37 <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/> | 37 <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/> |
38 | 38 |
39 | 39 |
40 | 40 |
41 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/prop --> | |
42 | |
43 <owl:ObjectProperty rdf:about="&Ontology1314715036188;prop"/> | |
44 | |
45 | |
46 | |
41 <!-- | 47 <!-- |
42 /////////////////////////////////////////////////////////////////////////////////////// | 48 /////////////////////////////////////////////////////////////////////////////////////// |
43 // | 49 // |
44 // Classes | 50 // Classes |
45 // | 51 // |
47 --> | 53 --> |
48 | 54 |
49 | 55 |
50 | 56 |
51 | 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 | |
52 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part --> | 106 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part --> |
53 | 107 |
54 <owl:Class rdf:about="&Ontology1314715036188;part"> | 108 <owl:Class rdf:about="&Ontology1314715036188;part"> |
109 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/> | |
55 <rdfs:subClassOf> | 110 <rdfs:subClassOf> |
56 <owl:Restriction> | 111 <owl:Restriction> |
57 <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/> | 112 <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/> |
58 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/> | 113 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/> |
59 </owl:Restriction> | 114 </owl:Restriction> |
62 | 117 |
63 | 118 |
64 | 119 |
65 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole --> | 120 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole --> |
66 | 121 |
67 <owl:Class rdf:about="&Ontology1314715036188;whole"/> | 122 <owl:Class rdf:about="&Ontology1314715036188;whole"> |
123 <rdfs:subClassOf rdf:resource="&Ontology1314715036188;OPPL_test"/> | |
124 </owl:Class> | |
68 </rdf:RDF> | 125 </rdf:RDF> |
69 | 126 |
70 | 127 |
71 | 128 |
72 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net --> | 129 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net --> |