diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:32:26 +0200 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-09-22 19:46:48 +0200 |
| commit | 82b47e5601c063251e7388cdc71358bec81ce534 (patch) | |
| tree | 472ef46d8088a85fe27f591586cbc4f8ad8bc8dc /examples | |
| parent | 76287688a368174790e320ce4150f28939233216 (diff) | |
| download | RSAComb-82b47e5601c063251e7388cdc71358bec81ce534.tar.gz RSAComb-82b47e5601c063251e7388cdc71358bec81ce534.zip | |
Add method to compute the set of individuals in an input ontology
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/example1.owl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/example1.owl b/examples/example1.owl index 88de981..75a464e 100644 --- a/examples/example1.owl +++ b/examples/example1.owl | |||
| @@ -77,4 +77,4 @@ | |||
| 77 | <rdfs:subPropertyOf rdf:resource="#T" /> | 77 | <rdfs:subPropertyOf rdf:resource="#T" /> |
| 78 | </owl:ObjectProperty> | 78 | </owl:ObjectProperty> |
| 79 | 79 | ||
| 80 | </rdf:RDF> \ No newline at end of file | 80 | </rdf:RDF> |