diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-17 14:30:50 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-17 14:30:50 +0100 |
| commit | 56a3cc7f1a2d1dc85a262f2648cf246197684caf (patch) | |
| tree | 1005649e7afab4a3bac9627a6d1d0194436d3e73 /examples/example1.owl | |
| parent | c782cacac113f3f0b7fe39add68382d82d2eca2c (diff) | |
| download | RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.tar.gz RSAComb-56a3cc7f1a2d1dc85a262f2648cf246197684caf.zip | |
Add simple examples
Diffstat (limited to 'examples/example1.owl')
| -rw-r--r-- | examples/example1.owl | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/examples/example1.owl b/examples/example1.owl new file mode 100644 index 0000000..88de981 --- /dev/null +++ b/examples/example1.owl | |||
| @@ -0,0 +1,80 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8" ?> | ||
| 2 | <rdf:RDF | ||
| 3 | xml:base = "http://example.com/rsa_example.owl#" | ||
| 4 | xmlns:rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#" | ||
| 5 | xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" | ||
| 6 | xmlns:owl="http://www.w3.org/2002/07/owl#" | ||
| 7 | > | ||
| 8 | |||
| 9 | <!-- | ||
| 10 | A ⊑ D | ||
| 11 | A ⊑ ∃ S⁻.C | ||
| 12 | ∃ S.A ⊑ D | ||
| 13 | D ⊑ ∃ R.B | ||
| 14 | B ⊑ ∃ S.D | ||
| 15 | R ⊑ T⁻ | ||
| 16 | S ⊑ T | ||
| 17 | --> | ||
| 18 | |||
| 19 | <owl:Class rdf:ID="A"> | ||
| 20 | <rdfs:subClassOf rdf:resource="#D" /> | ||
| 21 | </owl:Class> | ||
| 22 | |||
| 23 | <owl:Class rdf:ID="A"> | ||
| 24 | <rdfs:subClassOf> | ||
| 25 | <owl:Restriction> | ||
| 26 | <owl:onProperty> | ||
| 27 | <owl:ObjectProperty> | ||
| 28 | <owl:inverseOf rdf:resource="#S" /> | ||
| 29 | </owl:ObjectProperty> | ||
| 30 | </owl:onProperty> | ||
| 31 | <owl:someValuesFrom> | ||
| 32 | <owl:Class rdf:about="#C" /> | ||
| 33 | </owl:someValuesFrom> | ||
| 34 | </owl:Restriction> | ||
| 35 | </rdfs:subClassOf> | ||
| 36 | </owl:Class> | ||
| 37 | |||
| 38 | <owl:Restriction> | ||
| 39 | <owl:onProperty rdf:resource="#S"/> | ||
| 40 | <owl:someValuesFrom> | ||
| 41 | <owl:Class rdf:about="#A" /> | ||
| 42 | </owl:someValuesFrom> | ||
| 43 | <rdfs:subClassOf rdf:resource="#D" /> | ||
| 44 | </owl:Restriction> | ||
| 45 | |||
| 46 | <owl:Class rdf:ID="D"> | ||
| 47 | <rdfs:subClassOf> | ||
| 48 | <owl:Restriction> | ||
| 49 | <owl:onProperty rdf:resource="#R"/> | ||
| 50 | <owl:someValuesFrom> | ||
| 51 | <owl:Class rdf:about="#B" /> | ||
| 52 | </owl:someValuesFrom> | ||
| 53 | </owl:Restriction> | ||
| 54 | </rdfs:subClassOf> | ||
| 55 | </owl:Class> | ||
| 56 | |||
| 57 | <owl:Class rdf:ID="B"> | ||
| 58 | <rdfs:subClassOf> | ||
| 59 | <owl:Restriction> | ||
| 60 | <owl:onProperty rdf:resource="#S"/> | ||
| 61 | <owl:someValuesFrom> | ||
| 62 | <owl:Class rdf:about="#D" /> | ||
| 63 | </owl:someValuesFrom> | ||
| 64 | </owl:Restriction> | ||
| 65 | </rdfs:subClassOf> | ||
| 66 | </owl:Class> | ||
| 67 | |||
| 68 | <owl:ObjectProperty rdf:ID="R"> | ||
| 69 | <rdfs:subPropertyOf> | ||
| 70 | <owl:ObjectProperty> | ||
| 71 | <owl:inverseOf rdf:resource="#T" /> | ||
| 72 | </owl:ObjectProperty> | ||
| 73 | </rdfs:subPropertyOf> | ||
| 74 | </owl:ObjectProperty> | ||
| 75 | |||
| 76 | <owl:ObjectProperty rdf:ID="S"> | ||
| 77 | <rdfs:subPropertyOf rdf:resource="#T" /> | ||
| 78 | </owl:ObjectProperty> | ||
| 79 | |||
| 80 | </rdf:RDF> \ No newline at end of file | ||