Mercurial > repos > mikel-egana-aranguren > oppl

comparison OPPL/test-data/ontology/single/inference_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
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 inference_test "http://www.oeg-upm.net/inference_test.owl/" >
9 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
10 ]>
11
12
13 <rdf:RDF xmlns="http://www.oeg-upm.net/inference_test.owl#"
14 xml:base="http://www.oeg-upm.net/inference_test.owl"
15 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
16 xmlns:owl="http://www.w3.org/2002/07/owl#"
17 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
18 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
19 xmlns:inference_test="http://www.oeg-upm.net/inference_test.owl/">
20 <owl:Ontology rdf:about="http://www.oeg-upm.net/inference_test.owl"/>
21
22
23
24 <!--
25 ///////////////////////////////////////////////////////////////////////////////////////
26 //
27 // Annotation properties
28 //
29 ///////////////////////////////////////////////////////////////////////////////////////
30 -->
31
32
33
34
35 <!--
36 ///////////////////////////////////////////////////////////////////////////////////////
37 //
38 // Datatypes
39 //
40 ///////////////////////////////////////////////////////////////////////////////////////
41 -->
42
43
44
45
46 <!--
47 ///////////////////////////////////////////////////////////////////////////////////////
48 //
49 // Object Properties
50 //
51 ///////////////////////////////////////////////////////////////////////////////////////
52 -->
53
54
55
56
57 <!-- http://www.oeg-upm.net/inference_test.owl/p -->
58
59 <owl:ObjectProperty rdf:about="&inference_test;p"/>
60
61
62
63 <!-- http://www.oeg-upm.net/inference_test.owl/q -->
64
65 <owl:ObjectProperty rdf:about="&inference_test;q"/>
66
67
68
69 <!--
70 ///////////////////////////////////////////////////////////////////////////////////////
71 //
72 // Classes
73 //
74 ///////////////////////////////////////////////////////////////////////////////////////
75 -->
76
77
78
79
80 <!-- http://www.oeg-upm.net/inference_test.owl/a -->
81
82 <owl:Class rdf:about="&inference_test;a">
83 <owl:equivalentClass>
84 <owl:Restriction>
85 <owl:onProperty rdf:resource="&inference_test;p"/>
86 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
87 </owl:Restriction>
88 </owl:equivalentClass>
89 </owl:Class>
90
91
92
93 <!-- http://www.oeg-upm.net/inference_test.owl/b -->
94
95 <owl:Class rdf:about="&inference_test;b"/>
96
97
98
99 <!-- http://www.oeg-upm.net/inference_test.owl/c -->
100
101 <owl:Class rdf:about="&inference_test;c">
102 <rdfs:subClassOf>
103 <owl:Restriction>
104 <owl:onProperty rdf:resource="&inference_test;p"/>
105 <owl:someValuesFrom rdf:resource="&inference_test;b"/>
106 </owl:Restriction>
107 </rdfs:subClassOf>
108 </owl:Class>
109
110
111
112 <!-- http://www.w3.org/2002/07/owl#Thing -->
113
114 <rdf:Description rdf:about="&owl;Thing">
115 <rdfs:comment>Expected inferences:
116
117 aa memberOf a
118
119 c subClassOf a</rdfs:comment>
120 </rdf:Description>
121
122
123
124 <!--
125 ///////////////////////////////////////////////////////////////////////////////////////
126 //
127 // Individuals
128 //
129 ///////////////////////////////////////////////////////////////////////////////////////
130 -->
131
132
133
134
135 <!-- http://www.oeg-upm.net/inference_test.owl/aa -->
136
137 <owl:Thing rdf:about="&inference_test;aa">
138 <rdf:type rdf:resource="&owl;NamedIndividual"/>
139 <inference_test:p rdf:resource="&inference_test;bb"/>
140 </owl:Thing>
141
142
143
144 <!-- http://www.oeg-upm.net/inference_test.owl/bb -->
145
146 <owl:NamedIndividual rdf:about="&inference_test;bb">
147 <rdf:type rdf:resource="&inference_test;b"/>
148 </owl:NamedIndividual>
149
150
151
152 <!-- http://www.oeg-upm.net/inference_test.owl/cc -->
153
154 <owl:Thing rdf:about="&inference_test;cc">
155 <rdf:type rdf:resource="&owl;NamedIndividual"/>
156 </owl:Thing>
157 </rdf:RDF>
158
159
160
161 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
162