annotate OPPL/test_new.owl @ 7:756f1f5798bf

Added (Properly) reasoner option (Pellet or HermiT)
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:57:22 +0200
parents 46b9d13a44fc
children
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 <rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
3 xml:base="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
4 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
5 xmlns:Ontology1314715036188="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
6 xmlns:owl="http://www.w3.org/2002/07/owl#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
7 xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
8 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
9 <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
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 <!--
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
14 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
15 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
16 // Object Properties
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
17 //
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
18 ///////////////////////////////////////////////////////////////////////////////////////
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
19 -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
20
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 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of -->
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 <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
27
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 // Classes
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 ///////////////////////////////////////////////////////////////////////////////////////
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
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 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part -->
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 <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part">
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
44 <rdfs:subClassOf>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
45 <owl:Restriction>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
46 <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
47 <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
48 </owl:Restriction>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
49 </rdfs:subClassOf>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
50 <rdfs:subClassOf>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
51 <owl:Restriction>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
52 <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/part_of"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
53 <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
54 </owl:Restriction>
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:Class>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
57
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
58
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
59
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
60 <!-- http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
61
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
62 <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2011/7/Ontology1314715036188.owl/whole"/>
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
63 </rdf:RDF>
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
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 <!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
68