Mercurial > repos > mikel-egana-aranguren > oppl

annotate OPPL/test.owl @ 1:036c6ec459b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Deleted selected files
author mikel-egana-aranguren
date Tue, 06 Sep 2011 14:55:27 -0400
parents 46b9d13a44fc
children 4f60202c58d9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
1 <?xml version="1.0"?>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
2
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
3
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
4 <!DOCTYPE rdf:RDF [
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
5 <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
6 <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
7 <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
8 <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
9 <!ENTITY Ontology1314715036188 "http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/" >
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
10 ]>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
11
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
12
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
13 <rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
14 xml:base="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
15 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
16 xmlns:Ontology1314715036188="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
17 xmlns:owl="http://www.w3.org/2002/07/owl#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
18 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
19 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
20 <owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
21
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
22
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
23
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
24 <!--
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
25 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
26 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
27 // Object Properties
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
28 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
29 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
30 -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
31
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
32
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
33
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
34
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
35 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
36
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
37 <owl:ObjectProperty rdf:about="&Ontology1314715036188;part_of"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
38
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
39
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
40
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
41 <!--
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
42 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
43 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
44 // Classes
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
45 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
46 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
47 -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
48
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
49
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
50
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
51
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
52 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
53
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
54 <owl:Class rdf:about="&Ontology1314715036188;part">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
55 <rdfs:subClassOf>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
56 <owl:Restriction>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
57 <owl:onProperty rdf:resource="&Ontology1314715036188;part_of"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
58 <owl:someValuesFrom rdf:resource="&Ontology1314715036188;whole"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
59 </owl:Restriction>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
60 </rdfs:subClassOf>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
61 </owl:Class>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
62
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
63
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
64
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
65 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
66
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
67 <owl:Class rdf:about="&Ontology1314715036188;whole"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
68 </rdf:RDF>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
69
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
70
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
71
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
72 <!-- Generated by the OWL API (version 3.2.2.1782) http://owlapi.sourceforge.net -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
73