Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/test.owl @ 4:4f60202c58d9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 -->