Skip to content

Commit a57d2af

Browse files
authored
More accurate wording in supported_formats.md (#243)
1 parent 24f8491 commit a57d2af

1 file changed

Lines changed: 12 additions & 18 deletions

File tree

docs/usage/ontologies/supported_formats.md

Lines changed: 12 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -20,34 +20,28 @@ supports:
2020

2121
## Limitations
2222

23-
At the moment, there are a few limitations on the supported features of OWL 2
24-
ontologies.
23+
At the moment, there are significant limitations on the supported features of
24+
OWL 2 ontologies.
2525

2626
### OWL 2 ontologies
2727

28-
Not all predicates of OWL ontologies are taken into
29-
consideration. Among the used ones are:
28+
Not all features of OWL ontologies are taken into consideration. Among the used
29+
ones are:
3030

3131
- `RDF.type` to determine the type of the entities.
32-
- `RDFS.label` to get the entities by label.
33-
- `RDFS.isDefinedBy` to get a descriptions for the entities.
34-
- `RDFS.subClassOf` / `RDFS.subPropertyOf` for subclasses.
32+
- `RDFS.label` and `SKOS.prefLabel` to get the entities by label.
33+
- `RDFS.subClassOf` / `RDFS.subPropertyOf` for subclasses and subproperties.
3534
- `OWL.inverseOf` for inverse relationships.
36-
- `RDFS.range` to determine the datatype of `DataProperties`. These are the supported
37-
datatypes:
38-
- `XSD.boolean`
39-
- `XSD.integer`
40-
- `XSD.float`
41-
- `XSD.string`
35+
- `RDFS.range` to determine the datatype of `DataProperties`.
4236
- To get the attributes of an owl class, we use
4337
- The `RDFS.domain` of the `DatatypeProperties`, if it is a simple class.
4438
- Restrictions on the ontology classes.
45-
- Furthermore, all DataProperties are considered functional, see [this issue](https://github.com/simphony/osp-core/issues/416).
4639
- Restrictions and compositions are also supported. They can be consulted
47-
using the [`axioms` attribute of ontology classes](../ontology_interface.ipynb#Operations-specific-to-ontology-axioms).
40+
using the
41+
[`axioms` attribute of ontology classes](../terminological_knowledge.ipynb#Ontology-axioms).
42+
43+
We try to enlarge this list over time and support more of the OWL DL
44+
specification.
4845

4946
No reasoner is included. We plan to include a reasoner in the
5047
future.
51-
52-
We try to shrink this list over time and support more of the
53-
OWL DL specification.

0 commit comments

Comments
 (0)