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/example1.owl | |
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/example1.owl')
-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> |