diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 19:21:22 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-10-28 19:21:22 +0100 |
| commit | 101ba17e3b39a9b11888219705cde9a150a3bf02 (patch) | |
| tree | 8f935f8357f6aded9ecb7a4193bfb98a495e6fb7 /examples/example2.owl | |
| parent | 974f10616c5f3b9e2251f0d3350e705adbc32f72 (diff) | |
| download | RSAComb-101ba17e3b39a9b11888219705cde9a150a3bf02.tar.gz RSAComb-101ba17e3b39a9b11888219705cde9a150a3bf02.zip | |
Add unit tests for example2.owl for the canonical model computation
Diffstat (limited to 'examples/example2.owl')
| -rw-r--r-- | examples/example2.owl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/example2.owl b/examples/example2.owl index f42f6c9..5c83fa6 100644 --- a/examples/example2.owl +++ b/examples/example2.owl | |||
| @@ -109,4 +109,4 @@ | |||
| 109 | <rdfs:subClassOf rdf:resource="#Y" /> | 109 | <rdfs:subClassOf rdf:resource="#Y" /> |
| 110 | </owl:Restriction> | 110 | </owl:Restriction> |
| 111 | 111 | ||
| 112 | </rdf:RDF> \ No newline at end of file | 112 | </rdf:RDF> |